≡

• Effekt Library
• exception
• Exception
• raise
• raise
• MissingValue
• missingValue
• OutOfBounds
• RuntimeError
• raise
• WrongFormat
• wrongFormat
• wrongFormat
• panic
• panicOn
• report
• ignore
• default
• finalize
• on
• ignore
• default
• panic
• report
• finalize

• exception
Jump to source: libraries/common/exception.effekt
Example usage: examples/stdlib/exception
• Exception [E]
• raise (exception: E, msg: String): Nothing / {}
• raise [A, E] (exception: E, msg: String): A / {Exception[E]}
• MissingValue
• missingValue : Nothing / {Exception[MissingValue]}
• OutOfBounds
• RuntimeError
• raise [A] (msg: String): A / {Exception[RuntimeError]}
• WrongFormat
• wrongFormat : Nothing / {Exception[WrongFormat]}
• wrongFormat (msg: String): Nothing / {Exception[WrongFormat]}
• panic (msg: String): Nothing / {}
• panicOn [E, T] { prog: => T / {Exception[E]} }: T / {}
• report [E] { prog: => Unit / {Exception[E]} }: Unit / {}
• ignore [E] { prog: => Unit / {Exception[E]} }: Unit / {}
• default [E, T] { default: => T } { prog: => T / {Exception[E]} }: T / {}
• finalize [E, T] { finalizer: => Unit } { prog: => T / {Exception[E]} }: T / {Exception[E]}
• on [E]
• ignore [E] (proxy: on[E]) { prog: => Unit / {Exception[E]} }: Unit / {}
• default [E, T] (proxy: on[E]) { d: => T } { prog: => T / {Exception[E]} }: T / {}
• panic [E, T] (proxy: on[E]) { prog: => T / {Exception[E]} }: T / {}
• report [E] (proxy: on[E]) { prog: => Unit / {Exception[E]} }: Unit / {}
• finalize [E, T] (proxy: on[E]) { finalizer: => Unit } { prog: => T / {Exception[E]} }: T / {Exception[E]}