Control.Effect.Class.Except

Documentation

class Throw e (f :: Type -> Type) where

Methods

throw :: e -> f a

Instances

SendIns (ThrowI e) f => Throw e (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Except

Methods

throw :: e -> EffectsVia EffectDataHandler f a

class Catch e f where

Methods

catch :: f a -> (e -> f a) -> f a

Instances

SendSig (CatchS e) f => Catch e (EffectsVia EffectDataHandler f :: Type -> TYPE LiftedRep)

Defined in Control.Effect.Class.Except

Methods

catch :: forall (a :: k). EffectsVia EffectDataHandler f a -> (e -> EffectsVia EffectDataHandler f a) -> EffectsVia EffectDataHandler f a

data ThrowI (e :: Type) (a :: Type) where

Constructors

Throw :: forall e a. e -> ThrowI e a

type ThrowS e = LiftIns (ThrowI e)

data CatchS (e :: Type) f (a :: Type) where

Constructors

Catch :: forall e f a. (f a) -> (e -> f a) -> CatchS e f a

Instances

HFunctor (CatchS e)

Defined in Control.Effect.Class.Except

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> CatchS e f :-> CatchS e g

class (Throw e f, Catch e f) => Except e (f :: Type -> Type)

Instances

(Throw e (EffectsVia EffectDataHandler f), Catch e (EffectsVia EffectDataHandler f)) => Except e (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Except

type ExceptD e = (:+:) (CatchS e) (LiftIns (ThrowI e))

pattern ThrowS :: () => a_6989586621679055770 ~ a => e -> LiftIns (ThrowI e) f a_6989586621679055770