Data.Effect.Except

Documentation

data Throw e (a :: Type) where

Constructors

Throw :: e -> Throw e a

data Catch e f (a :: Type) where

Constructors

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

Instances

() => HFunctor (Catch e)

Defined in Data.Effect.Except

Methods

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

type LThrow e = LiftIns (Throw e)

catch'' :: forall key (a :: Type) (e :: Type) f. SendSigBy key (Catch e) f => f a -> (e -> f a) -> f a

catch' :: forall tag (a :: Type) (e :: Type) f. SendSig (TagH (Catch e) tag) f => f a -> (e -> f a) -> f a

catch :: forall (a :: Type) (e :: Type) f. SendSig (Catch e) f => f a -> (e -> f a) -> f a

pattern LThrow :: () => (a ~ a, ()) => e -> LiftIns (Throw e) f a

throw'' :: forall key (e :: Type) (a :: Type) f. SendInsBy key (Throw e) f => e -> f a

throw' :: forall tag (e :: Type) (a :: Type) f. SendIns (Tag (Throw e) tag) f => e -> f a

throw :: forall (e :: Type) (a :: Type) f. SendIns (Throw e) f => e -> f a

liftEither :: (Throw e <: f, Applicative f) => Either e a -> f a

joinEither :: (Throw e <: m, Monad m) => m (Either e a) -> m a

joinExcept :: Monad m => Either (m a) a -> m a

exc :: Monad m => m (Either (m a) a) -> m a

withExcept :: (Catch e <<: f, Throw e <: f, Applicative f) => f a -> (e -> f ()) -> f a

onExcept :: forall e f a. (Catch e <<: f, Throw e <: f, Applicative f) => f a -> f () -> f a