| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Effectful.Zoo.Core.Error.Dynamic
Synopsis
- data Error e (a :: Type -> Type) b
- catch :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (e -> Eff es a) -> Eff es a
- catch_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> Eff es a -> Eff es a
- throw :: forall e es a. HasCallStack => es <: Error e => Show e => e -> Eff es a
- trap :: forall e es a. HasCallStack => es <: Error e => (e -> Eff es a) -> Eff es a -> Eff es a
- trap_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> Eff es a -> Eff es a
- catchWithCallStack :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (CallStack -> e -> Eff es a) -> Eff es a
- catchWithCallStack_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (CallStack -> Eff es a) -> Eff es a
- trapWithCallStack :: forall e es a. HasCallStack => es <: Error e => (CallStack -> e -> Eff es a) -> Eff es a -> Eff es a
- trapWithCallStack_ :: forall e es a. HasCallStack => es <: Error e => (CallStack -> Eff es a) -> Eff es a -> Eff es a
Documentation
data Error e (a :: Type -> Type) b #
Provide the ability to handle errors of type e.
Instances
| type DispatchOf (Error e) | |
Defined in Effectful.Error.Dynamic | |
catch :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (e -> Eff es a) -> Eff es a Source #
trap :: forall e es a. HasCallStack => es <: Error e => (e -> Eff es a) -> Eff es a -> Eff es a Source #
catchWithCallStack :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (CallStack -> e -> Eff es a) -> Eff es a Source #
catchWithCallStack_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (CallStack -> Eff es a) -> Eff es a Source #
trapWithCallStack :: forall e es a. HasCallStack => es <: Error e => (CallStack -> e -> Eff es a) -> Eff es a -> Eff es a Source #
trapWithCallStack_ :: forall e es a. HasCallStack => es <: Error e => (CallStack -> Eff es a) -> Eff es a -> Eff es a Source #