Effectful.Zoo.Core.Error.Static

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.Static

type DispatchOf (Error e) = 'Static 'NoSideEffects

newtype StaticRep (Error e)

Defined in Effectful.Error.Static

newtype StaticRep (Error e) = Error ErrorId

throw :: forall e r a. HasCallStack => r <: Error e => Show e => e -> Eff r a

catch :: forall e r a. Eff (Error e : r) a -> (e -> Eff r a) -> Eff r a

catch_ :: forall e r a. Eff (Error e : r) a -> Eff r a -> Eff r a

trap :: forall e r a. (e -> Eff r a) -> Eff (Error e : r) a -> Eff r a

trap_ :: forall e r a. Eff r a -> Eff (Error e : r) a -> Eff r a

catchWithCallStack :: forall e r a. HasCallStack => Eff (Error e : r) a -> (CallStack -> e -> Eff r a) -> Eff r a

catchWithCallStack_ :: forall e r a. HasCallStack => Eff (Error e : r) a -> (CallStack -> Eff r a) -> Eff r a

trapWithCallStack :: forall e r a. HasCallStack => (CallStack -> e -> Eff r a) -> Eff (Error e : r) a -> Eff r a

trapWithCallStack_ :: forall e r a. HasCallStack => (CallStack -> Eff r a) -> Eff (Error e : r) a -> Eff r a

catchIn :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (e -> Eff es a) -> Eff es a

catchIn_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> Eff es a -> Eff es a

trapIn :: forall e es a. HasCallStack => es <: Error e => (e -> Eff es a) -> Eff es a -> Eff es a

trapIn_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> Eff es a -> Eff es a

catchWithCallStackIn :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (CallStack -> e -> Eff es a) -> Eff es a

catchWithCallStackIn_ :: forall e es a. HasCallStack => es <: Error e => Eff es a -> (CallStack -> Eff es a) -> Eff es a

trapWithCallStackIn :: forall e es a. HasCallStack => es <: Error e => (CallStack -> e -> Eff es a) -> Eff es a -> Eff es a

trapWithCallStackIn_ :: forall e es a. HasCallStack => es <: Error e => (CallStack -> Eff es a) -> Eff es a -> Eff es a