Data.Effect.Except

Documentation

data Throw e a where

Constructors

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

data Catch e (f :: Type -> Type) a where

Constructors

Catch :: forall (f :: Type -> Type) a e. 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 = LiftFOE (Throw e)

pattern LThrow :: forall a e f a1. () => forall. (a ~ a1, ()) => e -> LiftFOE (Throw e) f a

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

throw' :: forall {k} (tag :: k) e a f. SendFOE (Tag (Throw e) tag) f => e -> f a

throw'' :: forall {k} (key :: k) e a f. SendFOEBy key (Throw e) f => e -> f a

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

catch' :: forall {k} (tag :: k) a e f. SendHOE (TagH (Catch e) tag) f => f a -> (e -> f a) -> f a

catch'' :: forall {k} (key :: k) a e f. SendHOEBy key (Catch e) f => f a -> (e -> f a) -> 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 :: (Catch e <<: f, Throw e <: f, Applicative f) => f a -> f () -> f a