Copyright | (c) 2023 Yamada Ryo |
---|---|
License | MPL-2.0 (see the file LICENSE) |
Maintainer | ymdfield@outlook.jp |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Documentation
class Throw e (f :: Type -> Type) where Source #
Instances
SendIns (ThrowI e) f => Throw e (EffectsVia EffectDataHandler f) Source # | |
Defined in Control.Effect.Class.Except throw :: e -> EffectsVia EffectDataHandler f a Source # |
class Catch e f where Source #
Instances
SendSig (CatchS e) f => Catch e (EffectsVia EffectDataHandler f :: Type -> TYPE LiftedRep) Source # | |
Defined in Control.Effect.Class.Except catch :: forall (a :: k). EffectsVia EffectDataHandler f a -> (e -> EffectsVia EffectDataHandler f a) -> EffectsVia EffectDataHandler f a Source # |
class (Throw e f, Catch e f) => Except e (f :: Type -> Type) Source #
Instances
(Throw e (EffectsVia EffectDataHandler f), Catch e (EffectsVia EffectDataHandler f)) => Except e (EffectsVia EffectDataHandler f) Source # | |
Defined in Control.Effect.Class.Except |