Control.Effect.Error

Effects

newtype Throw e (m :: * -> *) (a :: *) where

An effect for throwing exceptions of type e.

Constructors

Throw :: e -> Throw e m a

Instances

(Eff ErrorIO m, Exception e) => Handler ErrorToErrorIOAsExcH (Throw e) m

Defined in Control.Effect.Internal.Error

Methods

effHandler :: EffHandler (Throw e) m

data Catch e :: Effect where

An effect for catching exceptions of type e.

Constructors

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

Instances

(Eff ErrorIO m, Exception e) => Handler ErrorToErrorIOAsExcH (Catch e) m

Defined in Control.Effect.Internal.Error

Methods

effHandler :: EffHandler (Catch e) m

type Error e = Bundle '[Throw e, Catch e]

A pseudo-effect for connected Throw e and Catch e effects.

Error e should only ever be used inside of Eff and Effs constraints. It is not a real effect! See Bundle.

Actions

throw :: Eff (Throw e) m => e -> m a

catch :: Eff (Catch e) m => m a -> (e -> m a) -> m a

try :: Eff (Catch e) m => m a -> m (Either e a)

catchJust :: forall smallExc bigExc m a. Eff (Error bigExc) m => (bigExc -> Maybe smallExc) -> m a -> (smallExc -> m a) -> m a

tryJust :: forall smallExc bigExc m a. Eff (Error bigExc) m => (bigExc -> Maybe smallExc) -> m a -> m (Either smallExc a)

note :: Eff (Throw e) m => e -> Maybe a -> m a

fromEither :: Eff (Throw e) m => Either e a -> m a

Main Interpreters

runThrow :: forall e m a p. (Carrier m, Threaders '[ErrorThreads] m p) => ThrowC e m a -> m (Either e a)

Run a Throw effect purely.

Unlike runError, this does not provide the ability to catch exceptions. However, it also doesn't impose any primitive effects, meaning runThrow doesn't restrict what interpreters are run before it.

Derivs (ThrowC e m) = Throw e ': Derivs m

Prims  (ThrowC e m) = Prims m

runError :: forall e m a p. (Carrier m, Threaders '[ErrorThreads] m p) => ErrorC e m a -> m (Either e a)

Runs connected Throw and Catch effects -- i.e. Error -- purely.

Derivs (ErrorC e m) = Catch e ': Throw e ': Derivs m

Prims  (ErrorC e m) = Optional ((->) e) ': Prims m

errorToIO :: forall e m a. (MonadCatch m, Eff (Embed IO) m) => ErrorToIOC e m a -> m (Either e a)

Runs connected Throw and Catch effects -- i.e. Error -- by making use of IO exceptions.

Derivs (ErrorToIOC e m) = Catch e ': Throw e ': Derivs m

Prims  (ErrorToIOC e m) = Optional ((->) SomeException) ': Prims m

This has a higher-rank type, as it makes use of ErrorToIOC. This makes errorToIO very difficult to use partially applied. In particular, it can't be composed using ..

If performance is secondary, consider using the slower errorToIOSimple, which doesn't have a higher-rank type.

errorToIOAsExc :: (Exception e, MonadCatch m, Carrier m) => ErrorToIOAsExcC e m a -> m a

Runs connected Throw and Catch effects -- i.e. Error -- by treating values of e as IO exceptions.

Unlike errorToIO, values of e are thrown and caught directly as IO exceptions. This means that, for example, catchIO is able to catch exceptions of e that you throw with throw, and catch is able to catch exceptions of type e that are thrown with throwIO, or by embedded IO actions.

Derivs (ErrorToIOAsExcC e m) = Catch e ': Throw e ': Derivs m

Prims (ErrorToIOAsExcC e m) = Optional ((->) SomeException) ': Prims m

Since: 0.2.0.0

Other interpreters

errorToErrorIO :: forall e m a. Effs '[ErrorIO, Embed IO] m => InterpretErrorC e m a -> m (Either e a)

Runs connected Throw and Catch effects -- i.e. Error -- by transforming them into ErrorIO and Embed IO

This has a higher-rank type, as it makes use of InterpretErrorC. This makes errorToErrorIO very difficult to use partially applied. In particular, it can't be composed using ..

If performance is secondary, consider using the slower errorToErrorIOSimple, which doesn't have a higher-rank type.

errorToErrorIOAsExc :: (Exception e, Eff ErrorIO m) => ErrorToErrorIOAsExcC e m a -> m a

Runs connected Throw and Catch effects -- i.e. Error -- by transforming them into ErrorIO.

Unlike errorToErrorIO, values of e are thrown and caught directly as IO exceptions. This means that, for example, catchIO is able to catch exceptions of e that you throw with throw, and catch is able to catch exceptions of type e that are thrown with throwIO, or by embedded IO actions.

Derivs (ErrorToErrorIOAsExcC e m) = Catch e ': Throw e ': Derivs m

Prims (ErrorToErrorIOAsExcC e m) = Prims m

Since: 0.2.0.0

throwToThrow :: forall smallExc bigExc m a. Eff (Throw bigExc) m => (smallExc -> bigExc) -> InterpretReifiedC (Throw smallExc) m a -> m a

Transforms a Throw smallExc effect into a Throw bigExc effect, by providing a function to convert exceptions of the smaller exception type smallExc to the larger exception type bigExc.

This has a higher-rank type, as it makes use of InterpretReifiedC. This makes throwToThrow very difficult to use partially applied. In particular, it can't be composed using ..

If performance is secondary, consider using the slower throwToThrowSimple, which doesn't have a higher-rank type.

catchToError :: forall smallExc bigExc m a. Eff (Error bigExc) m => (bigExc -> Maybe smallExc) -> InterpretReifiedC (Catch smallExc) m a -> m a

Transforms a Catch smallExc effect into an Error bigExc effect, by providing a function that identifies when exceptions of the larger exception type bigExc correspond to exceptions of the smaller exception type smallExc.

This has a higher-rank type, as it makes use of InterpretReifiedC. This makes catchToError very difficult to use partially applied. In particular, it can't be composed using ..

If performance is secondary, consider using the slower catchToErrorSimple, which doesn't have a higher-rank type.

errorToError :: forall smallExc bigExc m a. Eff (Error bigExc) m => (smallExc -> bigExc) -> (bigExc -> Maybe smallExc) -> InterpretErrorC smallExc m a -> m a

Transforms connected Throw and Catch effects -- i.e. Error -- into another Error effect by providing functions to convert between the two types of exceptions.

This has a higher-rank type, as it makes use of InterpretErrorC. This makes errorToError very difficult to use partially applied. In particular, it can't be composed using ..

If performance is secondary, consider using the slower errorToErrorSimple, which doesn't have a higher-rank type.

Simple variants

errorToIOSimple :: forall e m a p. (Eff (Embed IO) m, MonadCatch m, Threaders '[ReaderThreads] m p) => ErrorToIOSimpleC e m a -> m (Either e a)

Runs connected Throw and Catch effects -- i.e. Error -- by making use of IO exceptions.

Derivs (ErrorToIOSimpleC e m) = Catch e ': Throw e ': Derivs m

Prims  (ErrorToIOSimpleC e m) = Optional ((->) SomeException) ': Prims m

This is a less performant version of errorToIO that doesn't have a higher-rank type, making it much easier to use partially applied.

errorToErrorIOSimple :: forall e m a p. (Effs '[ErrorIO, Embed IO] m, Threaders '[ReaderThreads] m p) => InterpretErrorSimpleC e m a -> m (Either e a)

Runs connected Throw and Catch effects -- i.e. Error -- by transforming them into ErrorIO and Embed IO

This is a less performant version of errorToErrorIO that doesn't have a higher-rank type, making it much easier to use partially applied.

throwToThrowSimple :: forall smallExc bigExc m a p. (Eff (Throw bigExc) m, Threaders '[ReaderThreads] m p) => (smallExc -> bigExc) -> InterpretSimpleC (Throw smallExc) m a -> m a

Transforms a Throw smallExc effect into a Throw bigExc effect, by providing a function to convert exceptions of the smaller exception type smallExc to the larger exception type bigExc.

This is a less performant version of throwToThrow that doesn't have a higher-rank type, making it much easier to use partially applied.

catchToErrorSimple :: forall smallExc bigExc m a p. (Eff (Error bigExc) m, Threaders '[ReaderThreads] m p) => (bigExc -> Maybe smallExc) -> InterpretSimpleC (Catch smallExc) m a -> m a

Transforms a Catch smallExc effect into an Error bigExc effect, by providing a function that identifies when exceptions of the larger exception type bigExc correspond to exceptions of the smaller exception type smallExc.

This is a less performant version of catchToError that doesn't have a higher-rank type, making it much easier to use partially applied.

errorToErrorSimple :: forall smallExc bigExc m a p. (Eff (Error bigExc) m, Threaders '[ReaderThreads] m p) => (smallExc -> bigExc) -> (bigExc -> Maybe smallExc) -> InterpretErrorSimpleC smallExc m a -> m a

Transforms connected Throw and Catch effects -- i.e. Error -- into another Error effect by providing functions to convert between the two types of exceptions.

This is a less performant version of errorToError that doesn't have a higher-rank type, making it much easier to use partially applied.

Threading constraints

class (forall e. Threads (ExceptT e) p) => ErrorThreads p

ErrorThreads accepts the following primitive effects:

• Regional s
• Optional s (when s is a functor)
• BaseControl b
• Unravel p
• ListenPrim o (when o is a Monoid)
• WriterPrim o (when o is a Monoid)
• ReaderPrim i
• Mask
• Bracket
• Fix

Instances

(forall e. Threads (ExceptT e) p) => ErrorThreads p

Defined in Control.Effect.Internal.Error

MonadCatch

class MonadThrow m => MonadCatch (m :: Type -> Type)

A class for monads which allow exceptions to be caught, in particular exceptions which were thrown by throwM.

Instances should obey the following law:

catch (throwM e) f = f e

Note that the ability to catch an exception does not guarantee that we can deal with all possible exit points from a computation. Some monads, such as continuation-based stacks, allow for more than just a success/failure strategy, and therefore catch cannot be used by those monads to properly implement a function such as finally. For more information, see MonadMask.

Minimal complete definition

catch

Instances

MonadCatch IO

Defined in Control.Monad.Catch

Methods

catch :: Exception e => IO a -> (e -> IO a) -> IO a

MonadCatch STM

Defined in Control.Monad.Catch

Methods

catch :: Exception e => STM a -> (e -> STM a) -> STM a

e ~ SomeException => MonadCatch (Either e)

Since: exceptions-0.8.3

Defined in Control.Monad.Catch

Methods

catch :: Exception e0 => Either e a -> (e0 -> Either e a) -> Either e a

MonadCatch m => MonadCatch (MaybeT m)

Catches exceptions from the base monad.

Defined in Control.Monad.Catch

Methods

catch :: Exception e => MaybeT m a -> (e -> MaybeT m a) -> MaybeT m a

MonadCatch m => MonadCatch (ListT m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => ListT m a -> (e -> ListT m a) -> ListT m a

MonadCatch m => MonadCatch (ErrorIOToIOC m)

Defined in Control.Effect.Internal.ErrorIO

Methods

catch :: Exception e => ErrorIOToIOC m a -> (e -> ErrorIOToIOC m a) -> ErrorIOToIOC m a

MonadCatch m => MonadCatch (ConcToIOC m)

Defined in Control.Effect.Internal.Conc

Methods

catch :: Exception e => ConcToIOC m a -> (e -> ConcToIOC m a) -> ConcToIOC m a

MonadCatch m => MonadCatch (TraceListC m)

Defined in Control.Effect.Trace

Methods

catch :: Exception e => TraceListC m a -> (e -> TraceListC m a) -> TraceListC m a

MonadCatch m => MonadCatch (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

catch :: Exception e => ListT m a -> (e -> ListT m a) -> ListT m a

MonadCatch m => MonadCatch (NonDetC m)

Defined in Control.Effect.Internal.NonDet

Methods

catch :: Exception e => NonDetC m a -> (e -> NonDetC m a) -> NonDetC m a

MonadCatch m => MonadCatch (CullCutC m)

Defined in Control.Effect.Internal.NonDet

Methods

catch :: Exception e => CullCutC m a -> (e -> CullCutC m a) -> CullCutC m a

MonadCatch m => MonadCatch (LogicC m)

Defined in Control.Effect.Internal.NonDet

Methods

catch :: Exception e => LogicC m a -> (e -> LogicC m a) -> LogicC m a

MonadCatch m => MonadCatch (InterpretFailSimpleC m)

Defined in Control.Effect.Fail

Methods

catch :: Exception e => InterpretFailSimpleC m a -> (e -> InterpretFailSimpleC m a) -> InterpretFailSimpleC m a

MonadCatch m => MonadCatch (FailC m)

Defined in Control.Effect.Fail

Methods

catch :: Exception e => FailC m a -> (e -> FailC m a) -> FailC m a

MonadCatch m => MonadCatch (AltMaybeC m)

Defined in Control.Effect.Alt

Methods

catch :: Exception e => AltMaybeC m a -> (e -> AltMaybeC m a) -> AltMaybeC m a

MonadCatch m => MonadCatch (InterpretAltSimpleC m)

Defined in Control.Effect.Alt

Methods

catch :: Exception e => InterpretAltSimpleC m a -> (e -> InterpretAltSimpleC m a) -> InterpretAltSimpleC m a

MonadCatch m => MonadCatch (ExceptT e m)

Catches exceptions from the base monad.

Defined in Control.Monad.Catch

Methods

catch :: Exception e0 => ExceptT e m a -> (e0 -> ExceptT e m a) -> ExceptT e m a

(MonadCatch m, Monoid w) => MonadCatch (WriterT w m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a

MonadCatch m => MonadCatch (StateT s m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => StateT s m a -> (e -> StateT s m a) -> StateT s m a

MonadCatch m => MonadCatch (ReaderT r m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a

(Error e, MonadCatch m) => MonadCatch (ErrorT e m)

Catches exceptions from the base monad.

Defined in Control.Monad.Catch

Methods

catch :: Exception e0 => ErrorT e m a -> (e0 -> ErrorT e m a) -> ErrorT e m a

MonadCatch m => MonadCatch (IdentityT m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a

MonadCatch m => MonadCatch (StateT s m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => StateT s m a -> (e -> StateT s m a) -> StateT s m a

(MonadCatch m, Monoid w) => MonadCatch (WriterT w m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a

MonadCatch (CompositionBaseT ts m) => MonadCatch (CompositionC ts m)

Defined in Control.Effect.Carrier.Internal.Compose

Methods

catch :: Exception e => CompositionC ts m a -> (e -> CompositionC ts m a) -> CompositionC ts m a

Eff ErrorIO m => MonadCatch (Effly m)

Defined in Control.Effect.Internal.Effly

Methods

catch :: Exception e => Effly m a -> (e -> Effly m a) -> Effly m a

MonadCatch m => MonadCatch (InterpretPrimSimpleC e m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

catch :: Exception e0 => InterpretPrimSimpleC e m a -> (e0 -> InterpretPrimSimpleC e m a) -> InterpretPrimSimpleC e m a

MonadCatch m => MonadCatch (InterpretSimpleC e m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

catch :: Exception e0 => InterpretSimpleC e m a -> (e0 -> InterpretSimpleC e m a) -> InterpretSimpleC e m a

MonadCatch m => MonadCatch (EmbedC m)

Defined in Control.Effect.Embed

Methods

catch :: Exception e => EmbedC m a -> (e -> EmbedC m a) -> EmbedC m a

MonadCatch m => MonadCatch (RunMC m)

Defined in Control.Effect.Embed

Methods

catch :: Exception e => RunMC m a -> (e -> RunMC m a) -> RunMC m a

(Monoid o, MonadCatch m) => MonadCatch (WriterLazyC o m)

Defined in Control.Effect.Internal.Writer

Methods

catch :: Exception e => WriterLazyC o m a -> (e -> WriterLazyC o m a) -> WriterLazyC o m a

(Monoid o, MonadCatch m) => MonadCatch (ListenLazyC o m)

Defined in Control.Effect.Internal.Writer

Methods

catch :: Exception e => ListenLazyC o m a -> (e -> ListenLazyC o m a) -> ListenLazyC o m a

(Monoid o, MonadCatch m) => MonadCatch (TellLazyC o m)

Defined in Control.Effect.Internal.Writer

Methods

catch :: Exception e => TellLazyC o m a -> (e -> TellLazyC o m a) -> TellLazyC o m a

(Monoid o, MonadCatch m) => MonadCatch (WriterC o m)

Defined in Control.Effect.Internal.Writer

Methods

catch :: Exception e => WriterC o m a -> (e -> WriterC o m a) -> WriterC o m a

(Monoid o, MonadCatch m) => MonadCatch (ListenC o m)

Defined in Control.Effect.Internal.Writer

Methods

catch :: Exception e => ListenC o m a -> (e -> ListenC o m a) -> ListenC o m a

(Monoid o, MonadCatch m) => MonadCatch (TellC o m)

Defined in Control.Effect.Internal.Writer

Methods

catch :: Exception e => TellC o m a -> (e -> TellC o m a) -> TellC o m a

MonadCatch m => MonadCatch (UnliftC m)

Defined in Control.Effect.Internal.Unlift

Methods

catch :: Exception e => UnliftC m a -> (e -> UnliftC m a) -> UnliftC m a

MonadCatch m => MonadCatch (StateLazyC s m)

Defined in Control.Effect.Internal.State

Methods

catch :: Exception e => StateLazyC s m a -> (e -> StateLazyC s m a) -> StateLazyC s m a

MonadCatch m => MonadCatch (StateC s m)

Defined in Control.Effect.Internal.State

Methods

catch :: Exception e => StateC s m a -> (e -> StateC s m a) -> StateC s m a

MonadCatch m => MonadCatch (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

catch :: Exception e => HoistC m a -> (e -> HoistC m a) -> HoistC m a

MonadCatch m => MonadCatch (ReaderC i m)

Defined in Control.Effect.Internal.Reader

Methods

catch :: Exception e => ReaderC i m a -> (e -> ReaderC i m a) -> ReaderC i m a

MonadCatch m => MonadCatch (HoistOptionC m)

Defined in Control.Effect.Internal.Optional

Methods

catch :: Exception e => HoistOptionC m a -> (e -> HoistOptionC m a) -> HoistOptionC m a

MonadCatch m => MonadCatch (UnwrapTopC e m)

Defined in Control.Effect.Internal.Newtype

Methods

catch :: Exception e0 => UnwrapTopC e m a -> (e0 -> UnwrapTopC e m a) -> UnwrapTopC e m a

MonadCatch m => MonadCatch (UnwrapC e m)

Defined in Control.Effect.Internal.Newtype

Methods

catch :: Exception e0 => UnwrapC e m a -> (e0 -> UnwrapC e m a) -> UnwrapC e m a

MonadCatch m => MonadCatch (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorToIOSimpleC e m a -> (e0 -> ErrorToIOSimpleC e m a) -> ErrorToIOSimpleC e m a

MonadCatch m => MonadCatch (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => InterpretErrorSimpleC e m a -> (e0 -> InterpretErrorSimpleC e m a) -> InterpretErrorSimpleC e m a

MonadCatch m => MonadCatch (ErrorToIOAsExcC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorToIOAsExcC e m a -> (e0 -> ErrorToIOAsExcC e m a) -> ErrorToIOAsExcC e m a

MonadCatch m => MonadCatch (ErrorToErrorIOAsExcC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorToErrorIOAsExcC e m a -> (e0 -> ErrorToErrorIOAsExcC e m a) -> ErrorToErrorIOAsExcC e m a

MonadCatch m => MonadCatch (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorC e m a -> (e0 -> ErrorC e m a) -> ErrorC e m a

MonadCatch m => MonadCatch (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ThrowC e m a -> (e0 -> ThrowC e m a) -> ThrowC e m a

MonadCatch m => MonadCatch (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

catch :: Exception e => SafeErrorToErrorIOSimpleC exc m a -> (e -> SafeErrorToErrorIOSimpleC exc m a) -> SafeErrorToErrorIOSimpleC exc m a

MonadCatch m => MonadCatch (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

catch :: Exception e => SafeErrorToIOSimpleC exc m a -> (e -> SafeErrorToIOSimpleC exc m a) -> SafeErrorToIOSimpleC exc m a

MonadCatch m => MonadCatch (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

catch :: Exception e => SafeErrorC exc m a -> (e -> SafeErrorC exc m a) -> SafeErrorC exc m a

MonadCatch m => MonadCatch (BaseControlC m)

Defined in Control.Effect.Internal.BaseControl

Methods

catch :: Exception e => BaseControlC m a -> (e -> BaseControlC m a) -> BaseControlC m a

MonadCatch m => MonadCatch (FreshEnumC uniq m)

Defined in Control.Effect.Fresh

Methods

catch :: Exception e => FreshEnumC uniq m a -> (e -> FreshEnumC uniq m a) -> FreshEnumC uniq m a

MonadCatch m => MonadCatch (WriterTVarC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => WriterTVarC o m a -> (e -> WriterTVarC o m a) -> WriterTVarC o m a

MonadCatch m => MonadCatch (ListenTVarC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => ListenTVarC o m a -> (e -> ListenTVarC o m a) -> ListenTVarC o m a

MonadCatch m => MonadCatch (WriterToBracketC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => WriterToBracketC o m a -> (e -> WriterToBracketC o m a) -> WriterToBracketC o m a

MonadCatch m => MonadCatch (WriterIntoEndoWriterC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => WriterIntoEndoWriterC o m a -> (e -> WriterIntoEndoWriterC o m a) -> WriterIntoEndoWriterC o m a

MonadCatch m => MonadCatch (ListenIntoEndoListenC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => ListenIntoEndoListenC o m a -> (e -> ListenIntoEndoListenC o m a) -> ListenIntoEndoListenC o m a

MonadCatch m => MonadCatch (TellListLazyC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => TellListLazyC o m a -> (e -> TellListLazyC o m a) -> TellListLazyC o m a

MonadCatch m => MonadCatch (TellListC o m)

Defined in Control.Effect.Writer

Methods

catch :: Exception e => TellListC o m a -> (e -> TellListC o m a) -> TellListC o m a

MonadCatch m => MonadCatch (FreeT f m)

Defined in Control.Monad.Trans.Free.Church.Alternate

Methods

catch :: Exception e => FreeT f m a -> (e -> FreeT f m a) -> FreeT f m a

MonadCatch m => MonadCatch (ShiftC r m)

Defined in Control.Effect.Internal.Cont

Methods

catch :: Exception e => ShiftC r m a -> (e -> ShiftC r m a) -> ShiftC r m a

MonadCatch m => MonadCatch (ContC r m)

Defined in Control.Effect.Internal.Cont

Methods

catch :: Exception e => ContC r m a -> (e -> ContC r m a) -> ContC r m a

MonadCatch m => MonadCatch (SteppedC e m)

Defined in Control.Effect.Carrier.Internal.Stepped

Methods

catch :: Exception e0 => SteppedC e m a -> (e0 -> SteppedC e m a) -> SteppedC e m a

MonadCatch m => MonadCatch (InterceptRC e m)

Defined in Control.Effect.Internal.Intercept

Methods

catch :: Exception e0 => InterceptRC e m a -> (e0 -> InterceptRC e m a) -> InterceptRC e m a

MonadCatch m => MonadCatch (ListenSteppedC w m)

Defined in Control.Effect.Internal.Intercept

Methods

catch :: Exception e => ListenSteppedC w m a -> (e -> ListenSteppedC w m a) -> ListenSteppedC w m a

MonadCatch m => MonadCatch (InterceptContC e m)

Defined in Control.Effect.Internal.Intercept

Methods

catch :: Exception e0 => InterceptContC e m a -> (e0 -> InterceptContC e m a) -> InterceptContC e m a

MonadCatch m => MonadCatch (InterpretFailC h m)

Defined in Control.Effect.Fail

Methods

catch :: Exception e => InterpretFailC h m a -> (e -> InterpretFailC h m a) -> InterpretFailC h m a

MonadCatch m => MonadCatch (InterpretAltC h m)

Defined in Control.Effect.Alt

Methods

catch :: Exception e => InterpretAltC h m a -> (e -> InterpretAltC h m a) -> InterpretAltC h m a

MonadCatch m => MonadCatch (SubsumeC e m)

Defined in Control.Effect.Internal

Methods

catch :: Exception e0 => SubsumeC e m a -> (e0 -> SubsumeC e m a) -> SubsumeC e m a

MonadCatch m => MonadCatch (IntroC top new m)

Defined in Control.Effect.Carrier.Internal.Intro

Methods

catch :: Exception e => IntroC top new m a -> (e -> IntroC top new m a) -> IntroC top new m a

MonadCatch m => MonadCatch (ReinterpretSimpleC e new m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

catch :: Exception e0 => ReinterpretSimpleC e new m a -> (e0 -> ReinterpretSimpleC e new m a) -> ReinterpretSimpleC e new m a

MonadCatch m => MonadCatch (InterpretC h e m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

catch :: Exception e0 => InterpretC h e m a -> (e0 -> InterpretC h e m a) -> InterpretC h e m a

MonadCatch m => MonadCatch (InterpretPrimC s e m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

catch :: Exception e0 => InterpretPrimC s e m a -> (e0 -> InterpretPrimC s e m a) -> InterpretPrimC s e m a

MonadCatch m => MonadCatch (UnionC l m)

Defined in Control.Effect.Union

Methods

catch :: Exception e => UnionC l m a -> (e -> UnionC l m a) -> UnionC l m a

MonadCatch m => MonadCatch (WrapC e e' m)

Defined in Control.Effect.Internal.Newtype

Methods

catch :: Exception e0 => WrapC e e' m a -> (e0 -> WrapC e e' m a) -> WrapC e e' m a

MonadCatch m => MonadCatch (SelectC s r m)

Defined in Control.Effect.Internal.Select

Methods

catch :: Exception e => SelectC s r m a -> (e -> SelectC s r m a) -> SelectC s r m a

(MonadCatch m, Monoid w) => MonadCatch (RWST r w s m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a

(MonadCatch m, Monoid w) => MonadCatch (RWST r w s m)

Defined in Control.Monad.Catch

Methods

catch :: Exception e => RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a

MonadCatch (t (u m)) => MonadCatch (ComposeT t u m)

Defined in Control.Effect.Carrier.Internal.Compose

Methods

catch :: Exception e => ComposeT t u m a -> (e -> ComposeT t u m a) -> ComposeT t u m a

Monad m => MonadCatch (ViaAlg s Bracket m)

Defined in Control.Effect.Type.Bracket

Methods

catch :: Exception e => ViaAlg s Bracket m a -> (e -> ViaAlg s Bracket m a) -> ViaAlg s Bracket m a

Monad m => MonadCatch (ViaAlg s Mask m)

Defined in Control.Effect.Type.Mask

Methods

catch :: Exception e => ViaAlg s Mask m a -> (e -> ViaAlg s Mask m a) -> ViaAlg s Mask m a

MonadCatch m => MonadCatch (ReinterpretC h e new m)

Defined in Control.Effect.Carrier.Internal.Interpret

Methods

catch :: Exception e0 => ReinterpretC h e new m a -> (e0 -> ReinterpretC h e new m a) -> ReinterpretC h e new m a

MonadCatch m => MonadCatch (UnionizeC b m)

Defined in Control.Effect.Union

Methods

catch :: Exception e => UnionizeC b m a -> (e -> UnionizeC b m a) -> UnionizeC b m a

MonadCatch m => MonadCatch (UnionizeHeadC b m)

Defined in Control.Effect.Union

Methods

catch :: Exception e => UnionizeHeadC b m a -> (e -> UnionizeHeadC b m a) -> UnionizeHeadC b m a

MonadCatch m => MonadCatch (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorToIOC' s s' e m a -> (e0 -> ErrorToIOC' s s' e m a) -> ErrorToIOC' s s' e m a

MonadCatch m => MonadCatch (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => InterpretErrorC' s s' e m a -> (e0 -> InterpretErrorC' s s' e m a) -> InterpretErrorC' s s' e m a

MonadCatch m => MonadCatch (SafeErrorToErrorIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

catch :: Exception e => SafeErrorToErrorIOC' s s' exc m a -> (e -> SafeErrorToErrorIOC' s s' exc m a) -> SafeErrorToErrorIOC' s s' exc m a

MonadCatch m => MonadCatch (SafeErrorToIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

catch :: Exception e => SafeErrorToIOC' s s' exc m a -> (e -> SafeErrorToIOC' s s' exc m a) -> SafeErrorToIOC' s s' exc m a

MonadCatch m => MonadCatch (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

catch :: Exception e => ExceptionallyC eff exc m a -> (e -> ExceptionallyC eff exc m a) -> ExceptionallyC eff exc m a

MonadCatch m => MonadCatch (GainBaseControlC b z m)

Defined in Control.Effect.BaseControl

Methods

catch :: Exception e => GainBaseControlC b z m a -> (e -> GainBaseControlC b z m a) -> GainBaseControlC b z m a

Carriers

data ThrowC e m a

Instances

MonadBase b m => MonadBase b (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

liftBase :: b α -> ThrowC e m α

MonadBaseControl b m => MonadBaseControl b (ThrowC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type StM (ThrowC e m) a

Methods

liftBaseWith :: (RunInBase (ThrowC e m) b -> b a) -> ThrowC e m a

restoreM :: StM (ThrowC e m) a -> ThrowC e m a

MonadTrans (ThrowC e)

Defined in Control.Effect.Internal.Error

Methods

lift :: Monad m => m a -> ThrowC e m a

MonadTransControl (ThrowC e)

Defined in Control.Effect.Internal.Error

Associated Types

type StT (ThrowC e) a

Methods

liftWith :: Monad m => (Run (ThrowC e) -> m a) -> ThrowC e m a

restoreT :: Monad m => m (StT (ThrowC e) a) -> ThrowC e m a

Monad m => Monad (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

(>>=) :: ThrowC e m a -> (a -> ThrowC e m b) -> ThrowC e m b

(>>) :: ThrowC e m a -> ThrowC e m b -> ThrowC e m b

return :: a -> ThrowC e m a

Functor m => Functor (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

fmap :: (a -> b) -> ThrowC e m a -> ThrowC e m b

(<$) :: a -> ThrowC e m b -> ThrowC e m a

MonadFix m => MonadFix (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

mfix :: (a -> ThrowC e m a) -> ThrowC e m a

MonadFail m => MonadFail (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

fail :: String -> ThrowC e m a

Monad m => Applicative (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

pure :: a -> ThrowC e m a

(<*>) :: ThrowC e m (a -> b) -> ThrowC e m a -> ThrowC e m b

liftA2 :: (a -> b -> c) -> ThrowC e m a -> ThrowC e m b -> ThrowC e m c

(*>) :: ThrowC e m a -> ThrowC e m b -> ThrowC e m b

(<*) :: ThrowC e m a -> ThrowC e m b -> ThrowC e m a

MonadIO m => MonadIO (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

liftIO :: IO a -> ThrowC e m a

(Monad m, Monoid e) => Alternative (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

empty :: ThrowC e m a

(<|>) :: ThrowC e m a -> ThrowC e m a -> ThrowC e m a

some :: ThrowC e m a -> ThrowC e m [a]

many :: ThrowC e m a -> ThrowC e m [a]

(Monad m, Monoid e) => MonadPlus (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

mzero :: ThrowC e m a

mplus :: ThrowC e m a -> ThrowC e m a -> ThrowC e m a

MonadThrow m => MonadThrow (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

throwM :: Exception e0 => e0 -> ThrowC e m a

MonadCatch m => MonadCatch (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ThrowC e m a -> (e0 -> ThrowC e m a) -> ThrowC e m a

MonadMask m => MonadMask (ThrowC e m)

Defined in Control.Effect.Internal.Error

Methods

mask :: ((forall a. ThrowC e m a -> ThrowC e m a) -> ThrowC e m b) -> ThrowC e m b

uninterruptibleMask :: ((forall a. ThrowC e m a -> ThrowC e m a) -> ThrowC e m b) -> ThrowC e m b

generalBracket :: ThrowC e m a -> (a -> ExitCase b -> ThrowC e m c) -> (a -> ThrowC e m b) -> ThrowC e m (b, c)

(Carrier m, Threads (ExceptT e) (Prims m)) => Carrier (ThrowC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type Derivs (ThrowC e m) :: [Effect]

type Prims (ThrowC e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (ThrowC e m)) (ThrowC e m) a

reformulate :: Monad z => Reformulation' (Derivs (ThrowC e m)) (Prims (ThrowC e m)) (ThrowC e m) z a

algDerivs :: Algebra' (Derivs (ThrowC e m)) (ThrowC e m) a

type StT (ThrowC e) a

Defined in Control.Effect.Internal.Error

type StT (ThrowC e) a = StT (ExceptT e) a

type Derivs (ThrowC e m)

Defined in Control.Effect.Internal.Error

type Derivs (ThrowC e m) = Throw e ': Derivs m

type Prims (ThrowC e m)

Defined in Control.Effect.Internal.Error

type Prims (ThrowC e m) = Prims m

type StM (ThrowC e m) a

Defined in Control.Effect.Internal.Error

type StM (ThrowC e m) a = StM (ExceptT e m) a

data ErrorC e m a

Instances

MonadBase b m => MonadBase b (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

liftBase :: b α -> ErrorC e m α

MonadBaseControl b m => MonadBaseControl b (ErrorC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type StM (ErrorC e m) a

Methods

liftBaseWith :: (RunInBase (ErrorC e m) b -> b a) -> ErrorC e m a

restoreM :: StM (ErrorC e m) a -> ErrorC e m a

MonadTrans (ErrorC e)

Defined in Control.Effect.Internal.Error

Methods

lift :: Monad m => m a -> ErrorC e m a

MonadTransControl (ErrorC e)

Defined in Control.Effect.Internal.Error

Associated Types

type StT (ErrorC e) a

Methods

liftWith :: Monad m => (Run (ErrorC e) -> m a) -> ErrorC e m a

restoreT :: Monad m => m (StT (ErrorC e) a) -> ErrorC e m a

Monad m => Monad (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

(>>=) :: ErrorC e m a -> (a -> ErrorC e m b) -> ErrorC e m b

(>>) :: ErrorC e m a -> ErrorC e m b -> ErrorC e m b

return :: a -> ErrorC e m a

Functor m => Functor (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

fmap :: (a -> b) -> ErrorC e m a -> ErrorC e m b

(<$) :: a -> ErrorC e m b -> ErrorC e m a

MonadFix m => MonadFix (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

mfix :: (a -> ErrorC e m a) -> ErrorC e m a

MonadFail m => MonadFail (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

fail :: String -> ErrorC e m a

Monad m => Applicative (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

pure :: a -> ErrorC e m a

(<*>) :: ErrorC e m (a -> b) -> ErrorC e m a -> ErrorC e m b

liftA2 :: (a -> b -> c) -> ErrorC e m a -> ErrorC e m b -> ErrorC e m c

(*>) :: ErrorC e m a -> ErrorC e m b -> ErrorC e m b

(<*) :: ErrorC e m a -> ErrorC e m b -> ErrorC e m a

MonadIO m => MonadIO (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

liftIO :: IO a -> ErrorC e m a

(Monad m, Monoid e) => Alternative (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

empty :: ErrorC e m a

(<|>) :: ErrorC e m a -> ErrorC e m a -> ErrorC e m a

some :: ErrorC e m a -> ErrorC e m [a]

many :: ErrorC e m a -> ErrorC e m [a]

(Monad m, Monoid e) => MonadPlus (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

mzero :: ErrorC e m a

mplus :: ErrorC e m a -> ErrorC e m a -> ErrorC e m a

MonadThrow m => MonadThrow (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

throwM :: Exception e0 => e0 -> ErrorC e m a

MonadCatch m => MonadCatch (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorC e m a -> (e0 -> ErrorC e m a) -> ErrorC e m a

MonadMask m => MonadMask (ErrorC e m)

Defined in Control.Effect.Internal.Error

Methods

mask :: ((forall a. ErrorC e m a -> ErrorC e m a) -> ErrorC e m b) -> ErrorC e m b

uninterruptibleMask :: ((forall a. ErrorC e m a -> ErrorC e m a) -> ErrorC e m b) -> ErrorC e m b

generalBracket :: ErrorC e m a -> (a -> ExitCase b -> ErrorC e m c) -> (a -> ErrorC e m b) -> ErrorC e m (b, c)

(Carrier m, Threads (ExceptT e) (Prims m)) => Carrier (ErrorC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type Derivs (ErrorC e m) :: [Effect]

type Prims (ErrorC e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (ErrorC e m)) (ErrorC e m) a

reformulate :: Monad z => Reformulation' (Derivs (ErrorC e m)) (Prims (ErrorC e m)) (ErrorC e m) z a

algDerivs :: Algebra' (Derivs (ErrorC e m)) (ErrorC e m) a

type StT (ErrorC e) a

Defined in Control.Effect.Internal.Error

type StT (ErrorC e) a = StT (ExceptT e) a

type Derivs (ErrorC e m)

Defined in Control.Effect.Internal.Error

type Derivs (ErrorC e m) = Catch e ': (Throw e ': Derivs m)

type Prims (ErrorC e m)

Defined in Control.Effect.Internal.Error

type Prims (ErrorC e m) = Optional ((->) e :: Type -> Type) ': Prims m

type StM (ErrorC e m) a

Defined in Control.Effect.Internal.Error

type StM (ErrorC e m) a = StM (ExceptT e m) a

type ErrorToIOC e m a = forall s s'. ReifiesErrorHandler s s' e (ErrorIOToIOC m) => ErrorToIOC' s s' e m a

data ErrorToIOC' s s' e m a

Instances

MonadBase b m => MonadBase b (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

liftBase :: b α -> ErrorToIOC' s s' e m α

MonadBaseControl b m => MonadBaseControl b (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Associated Types

type StM (ErrorToIOC' s s' e m) a

Methods

liftBaseWith :: (RunInBase (ErrorToIOC' s s' e m) b -> b a) -> ErrorToIOC' s s' e m a

restoreM :: StM (ErrorToIOC' s s' e m) a -> ErrorToIOC' s s' e m a

MonadTrans (ErrorToIOC' s s' e)

Defined in Control.Effect.Internal.Error

Methods

lift :: Monad m => m a -> ErrorToIOC' s s' e m a

MonadTransControl (ErrorToIOC' s s' e)

Defined in Control.Effect.Internal.Error

Associated Types

type StT (ErrorToIOC' s s' e) a

Methods

liftWith :: Monad m => (Run (ErrorToIOC' s s' e) -> m a) -> ErrorToIOC' s s' e m a

restoreT :: Monad m => m (StT (ErrorToIOC' s s' e) a) -> ErrorToIOC' s s' e m a

Monad m => Monad (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

(>>=) :: ErrorToIOC' s s' e m a -> (a -> ErrorToIOC' s s' e m b) -> ErrorToIOC' s s' e m b

(>>) :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m b -> ErrorToIOC' s s' e m b

return :: a -> ErrorToIOC' s s' e m a

Functor m => Functor (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

fmap :: (a -> b) -> ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m b

(<$) :: a -> ErrorToIOC' s s' e m b -> ErrorToIOC' s s' e m a

MonadFix m => MonadFix (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

mfix :: (a -> ErrorToIOC' s s' e m a) -> ErrorToIOC' s s' e m a

MonadFail m => MonadFail (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

fail :: String -> ErrorToIOC' s s' e m a

Applicative m => Applicative (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

pure :: a -> ErrorToIOC' s s' e m a

(<*>) :: ErrorToIOC' s s' e m (a -> b) -> ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m b

liftA2 :: (a -> b -> c) -> ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m b -> ErrorToIOC' s s' e m c

(*>) :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m b -> ErrorToIOC' s s' e m b

(<*) :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m b -> ErrorToIOC' s s' e m a

MonadIO m => MonadIO (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

liftIO :: IO a -> ErrorToIOC' s s' e m a

Alternative m => Alternative (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

empty :: ErrorToIOC' s s' e m a

(<|>) :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m a

some :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m [a]

many :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m [a]

MonadPlus m => MonadPlus (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

mzero :: ErrorToIOC' s s' e m a

mplus :: ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m a

MonadThrow m => MonadThrow (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

throwM :: Exception e0 => e0 -> ErrorToIOC' s s' e m a

MonadCatch m => MonadCatch (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorToIOC' s s' e m a -> (e0 -> ErrorToIOC' s s' e m a) -> ErrorToIOC' s s' e m a

MonadMask m => MonadMask (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

mask :: ((forall a. ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m a) -> ErrorToIOC' s s' e m b) -> ErrorToIOC' s s' e m b

uninterruptibleMask :: ((forall a. ErrorToIOC' s s' e m a -> ErrorToIOC' s s' e m a) -> ErrorToIOC' s s' e m b) -> ErrorToIOC' s s' e m b

generalBracket :: ErrorToIOC' s s' e m a -> (a -> ExitCase b -> ErrorToIOC' s s' e m c) -> (a -> ErrorToIOC' s s' e m b) -> ErrorToIOC' s s' e m (b, c)

(Carrier m, MonadCatch m, ReifiesErrorHandler s s' e (ErrorIOToIOC m)) => Carrier (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

Associated Types

type Derivs (ErrorToIOC' s s' e m) :: [Effect]

type Prims (ErrorToIOC' s s' e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (ErrorToIOC' s s' e m)) (ErrorToIOC' s s' e m) a

reformulate :: Monad z => Reformulation' (Derivs (ErrorToIOC' s s' e m)) (Prims (ErrorToIOC' s s' e m)) (ErrorToIOC' s s' e m) z a

algDerivs :: Algebra' (Derivs (ErrorToIOC' s s' e m)) (ErrorToIOC' s s' e m) a

type StT (ErrorToIOC' s s' e) a

Defined in Control.Effect.Internal.Error

type StT (ErrorToIOC' s s' e) a = StT (CompositionBaseT '[IntroC '[Catch e, Throw e] '[ErrorIO], InterpretErrorC' s s' e, ErrorIOToIOC]) a

type Derivs (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

type Derivs (ErrorToIOC' s s' e m) = Derivs (IntroC '[Catch e, Throw e] '[ErrorIO] (InterpretErrorC' s s' e (ErrorIOToIOC m)))

type Prims (ErrorToIOC' s s' e m)

Defined in Control.Effect.Internal.Error

type Prims (ErrorToIOC' s s' e m) = Prims (IntroC '[Catch e, Throw e] '[ErrorIO] (InterpretErrorC' s s' e (ErrorIOToIOC m)))

type StM (ErrorToIOC' s s' e m) a

Defined in Control.Effect.Internal.Error

type StM (ErrorToIOC' s s' e m) a = StM (IntroC '[Catch e, Throw e] '[ErrorIO] (InterpretErrorC' s s' e (ErrorIOToIOC m))) a

type ReifiesErrorHandler s s' e m = (ReifiesHandler s (Catch e) (InterpretC (ViaReifiedH s') (Throw e) m), ReifiesHandler s' (Throw e) m)

type InterpretErrorC e m a = forall s s'. ReifiesErrorHandler s s' e m => InterpretErrorC' s s' e m a

data InterpretErrorC' s s' e m a

Instances

MonadBase b m => MonadBase b (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

liftBase :: b α -> InterpretErrorC' s s' e m α

MonadBaseControl b m => MonadBaseControl b (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Associated Types

type StM (InterpretErrorC' s s' e m) a

Methods

liftBaseWith :: (RunInBase (InterpretErrorC' s s' e m) b -> b a) -> InterpretErrorC' s s' e m a

restoreM :: StM (InterpretErrorC' s s' e m) a -> InterpretErrorC' s s' e m a

MonadTrans (InterpretErrorC' s s' e)

Defined in Control.Effect.Internal.Error

Methods

lift :: Monad m => m a -> InterpretErrorC' s s' e m a

MonadTransControl (InterpretErrorC' s s' e)

Defined in Control.Effect.Internal.Error

Associated Types

type StT (InterpretErrorC' s s' e) a

Methods

liftWith :: Monad m => (Run (InterpretErrorC' s s' e) -> m a) -> InterpretErrorC' s s' e m a

restoreT :: Monad m => m (StT (InterpretErrorC' s s' e) a) -> InterpretErrorC' s s' e m a

Monad m => Monad (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

(>>=) :: InterpretErrorC' s s' e m a -> (a -> InterpretErrorC' s s' e m b) -> InterpretErrorC' s s' e m b

(>>) :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m b -> InterpretErrorC' s s' e m b

return :: a -> InterpretErrorC' s s' e m a

Functor m => Functor (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

fmap :: (a -> b) -> InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m b

(<$) :: a -> InterpretErrorC' s s' e m b -> InterpretErrorC' s s' e m a

MonadFix m => MonadFix (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

mfix :: (a -> InterpretErrorC' s s' e m a) -> InterpretErrorC' s s' e m a

MonadFail m => MonadFail (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

fail :: String -> InterpretErrorC' s s' e m a

Applicative m => Applicative (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

pure :: a -> InterpretErrorC' s s' e m a

(<*>) :: InterpretErrorC' s s' e m (a -> b) -> InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m b

liftA2 :: (a -> b -> c) -> InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m b -> InterpretErrorC' s s' e m c

(*>) :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m b -> InterpretErrorC' s s' e m b

(<*) :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m b -> InterpretErrorC' s s' e m a

MonadIO m => MonadIO (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

liftIO :: IO a -> InterpretErrorC' s s' e m a

Alternative m => Alternative (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

empty :: InterpretErrorC' s s' e m a

(<|>) :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m a

some :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m [a]

many :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m [a]

MonadPlus m => MonadPlus (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

mzero :: InterpretErrorC' s s' e m a

mplus :: InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m a

MonadThrow m => MonadThrow (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

throwM :: Exception e0 => e0 -> InterpretErrorC' s s' e m a

MonadCatch m => MonadCatch (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => InterpretErrorC' s s' e m a -> (e0 -> InterpretErrorC' s s' e m a) -> InterpretErrorC' s s' e m a

MonadMask m => MonadMask (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Methods

mask :: ((forall a. InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m a) -> InterpretErrorC' s s' e m b) -> InterpretErrorC' s s' e m b

uninterruptibleMask :: ((forall a. InterpretErrorC' s s' e m a -> InterpretErrorC' s s' e m a) -> InterpretErrorC' s s' e m b) -> InterpretErrorC' s s' e m b

generalBracket :: InterpretErrorC' s s' e m a -> (a -> ExitCase b -> InterpretErrorC' s s' e m c) -> (a -> InterpretErrorC' s s' e m b) -> InterpretErrorC' s s' e m (b, c)

(Carrier m, ReifiesErrorHandler s s' e m) => Carrier (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

Associated Types

type Derivs (InterpretErrorC' s s' e m) :: [Effect]

type Prims (InterpretErrorC' s s' e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (InterpretErrorC' s s' e m)) (InterpretErrorC' s s' e m) a

reformulate :: Monad z => Reformulation' (Derivs (InterpretErrorC' s s' e m)) (Prims (InterpretErrorC' s s' e m)) (InterpretErrorC' s s' e m) z a

algDerivs :: Algebra' (Derivs (InterpretErrorC' s s' e m)) (InterpretErrorC' s s' e m) a

type StT (InterpretErrorC' s s' e) a

Defined in Control.Effect.Internal.Error

type StT (InterpretErrorC' s s' e) a = StT (CompositionBaseT '[InterpretC (ViaReifiedH s) (Catch e), InterpretC (ViaReifiedH s') (Throw e)]) a

type Derivs (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

type Derivs (InterpretErrorC' s s' e m) = Derivs (InterpretC (ViaReifiedH s) (Catch e) (InterpretC (ViaReifiedH s') (Throw e) m))

type Prims (InterpretErrorC' s s' e m)

Defined in Control.Effect.Internal.Error

type Prims (InterpretErrorC' s s' e m) = Prims (InterpretC (ViaReifiedH s) (Catch e) (InterpretC (ViaReifiedH s') (Throw e) m))

type StM (InterpretErrorC' s s' e m) a

Defined in Control.Effect.Internal.Error

type StM (InterpretErrorC' s s' e m) a = StM (InterpretC (ViaReifiedH s) (Catch e) (InterpretC (ViaReifiedH s') (Throw e) m)) a

data ErrorToIOSimpleC e m a

Instances

MonadBase b m => MonadBase b (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

liftBase :: b α -> ErrorToIOSimpleC e m α

MonadBaseControl b m => MonadBaseControl b (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type StM (ErrorToIOSimpleC e m) a

Methods

liftBaseWith :: (RunInBase (ErrorToIOSimpleC e m) b -> b a) -> ErrorToIOSimpleC e m a

restoreM :: StM (ErrorToIOSimpleC e m) a -> ErrorToIOSimpleC e m a

MonadTrans (ErrorToIOSimpleC e)

Defined in Control.Effect.Internal.Error

Methods

lift :: Monad m => m a -> ErrorToIOSimpleC e m a

Monad m => Monad (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

(>>=) :: ErrorToIOSimpleC e m a -> (a -> ErrorToIOSimpleC e m b) -> ErrorToIOSimpleC e m b

(>>) :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m b -> ErrorToIOSimpleC e m b

return :: a -> ErrorToIOSimpleC e m a

Functor m => Functor (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

fmap :: (a -> b) -> ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m b

(<$) :: a -> ErrorToIOSimpleC e m b -> ErrorToIOSimpleC e m a

MonadFix m => MonadFix (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

mfix :: (a -> ErrorToIOSimpleC e m a) -> ErrorToIOSimpleC e m a

MonadFail m => MonadFail (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

fail :: String -> ErrorToIOSimpleC e m a

Applicative m => Applicative (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

pure :: a -> ErrorToIOSimpleC e m a

(<*>) :: ErrorToIOSimpleC e m (a -> b) -> ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m b

liftA2 :: (a -> b -> c) -> ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m b -> ErrorToIOSimpleC e m c

(*>) :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m b -> ErrorToIOSimpleC e m b

(<*) :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m b -> ErrorToIOSimpleC e m a

MonadIO m => MonadIO (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

liftIO :: IO a -> ErrorToIOSimpleC e m a

Alternative m => Alternative (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

empty :: ErrorToIOSimpleC e m a

(<|>) :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m a

some :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m [a]

many :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m [a]

MonadPlus m => MonadPlus (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

mzero :: ErrorToIOSimpleC e m a

mplus :: ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m a

MonadThrow m => MonadThrow (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

throwM :: Exception e0 => e0 -> ErrorToIOSimpleC e m a

MonadCatch m => MonadCatch (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => ErrorToIOSimpleC e m a -> (e0 -> ErrorToIOSimpleC e m a) -> ErrorToIOSimpleC e m a

MonadMask m => MonadMask (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

mask :: ((forall a. ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m a) -> ErrorToIOSimpleC e m b) -> ErrorToIOSimpleC e m b

uninterruptibleMask :: ((forall a. ErrorToIOSimpleC e m a -> ErrorToIOSimpleC e m a) -> ErrorToIOSimpleC e m b) -> ErrorToIOSimpleC e m b

generalBracket :: ErrorToIOSimpleC e m a -> (a -> ExitCase b -> ErrorToIOSimpleC e m c) -> (a -> ErrorToIOSimpleC e m b) -> ErrorToIOSimpleC e m (b, c)

(Eff (Embed IO) m, MonadCatch m, Threaders '[ReaderThreads] m p) => Carrier (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type Derivs (ErrorToIOSimpleC e m) :: [Effect]

type Prims (ErrorToIOSimpleC e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (ErrorToIOSimpleC e m)) (ErrorToIOSimpleC e m) a

reformulate :: Monad z => Reformulation' (Derivs (ErrorToIOSimpleC e m)) (Prims (ErrorToIOSimpleC e m)) (ErrorToIOSimpleC e m) z a

algDerivs :: Algebra' (Derivs (ErrorToIOSimpleC e m)) (ErrorToIOSimpleC e m) a

type Derivs (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

type Derivs (ErrorToIOSimpleC e m) = Derivs (IntroC '[Catch e, Throw e] '[ErrorIO] (InterpretErrorSimpleC e (ErrorIOToIOC m)))

type Prims (ErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Error

type Prims (ErrorToIOSimpleC e m) = Prims (IntroC '[Catch e, Throw e] '[ErrorIO] (InterpretErrorSimpleC e (ErrorIOToIOC m)))

type StM (ErrorToIOSimpleC e m) a

Defined in Control.Effect.Internal.Error

type StM (ErrorToIOSimpleC e m) a = StM (IntroC '[Catch e, Throw e] '[ErrorIO] (InterpretErrorSimpleC e (ErrorIOToIOC m))) a

data InterpretErrorSimpleC e m a

Instances

MonadBase b m => MonadBase b (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

liftBase :: b α -> InterpretErrorSimpleC e m α

MonadBaseControl b m => MonadBaseControl b (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type StM (InterpretErrorSimpleC e m) a

Methods

liftBaseWith :: (RunInBase (InterpretErrorSimpleC e m) b -> b a) -> InterpretErrorSimpleC e m a

restoreM :: StM (InterpretErrorSimpleC e m) a -> InterpretErrorSimpleC e m a

MonadTrans (InterpretErrorSimpleC e)

Defined in Control.Effect.Internal.Error

Methods

lift :: Monad m => m a -> InterpretErrorSimpleC e m a

Monad m => Monad (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

(>>=) :: InterpretErrorSimpleC e m a -> (a -> InterpretErrorSimpleC e m b) -> InterpretErrorSimpleC e m b

(>>) :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m b -> InterpretErrorSimpleC e m b

return :: a -> InterpretErrorSimpleC e m a

Functor m => Functor (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

fmap :: (a -> b) -> InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m b

(<$) :: a -> InterpretErrorSimpleC e m b -> InterpretErrorSimpleC e m a

MonadFix m => MonadFix (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

mfix :: (a -> InterpretErrorSimpleC e m a) -> InterpretErrorSimpleC e m a

MonadFail m => MonadFail (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

fail :: String -> InterpretErrorSimpleC e m a

Applicative m => Applicative (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

pure :: a -> InterpretErrorSimpleC e m a

(<*>) :: InterpretErrorSimpleC e m (a -> b) -> InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m b

liftA2 :: (a -> b -> c) -> InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m b -> InterpretErrorSimpleC e m c

(*>) :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m b -> InterpretErrorSimpleC e m b

(<*) :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m b -> InterpretErrorSimpleC e m a

MonadIO m => MonadIO (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

liftIO :: IO a -> InterpretErrorSimpleC e m a

Alternative m => Alternative (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

empty :: InterpretErrorSimpleC e m a

(<|>) :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m a

some :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m [a]

many :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m [a]

MonadPlus m => MonadPlus (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

mzero :: InterpretErrorSimpleC e m a

mplus :: InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m a

MonadThrow m => MonadThrow (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

throwM :: Exception e0 => e0 -> InterpretErrorSimpleC e m a

MonadCatch m => MonadCatch (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

catch :: Exception e0 => InterpretErrorSimpleC e m a -> (e0 -> InterpretErrorSimpleC e m a) -> InterpretErrorSimpleC e m a

MonadMask m => MonadMask (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Methods

mask :: ((forall a. InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m a) -> InterpretErrorSimpleC e m b) -> InterpretErrorSimpleC e m b

uninterruptibleMask :: ((forall a. InterpretErrorSimpleC e m a -> InterpretErrorSimpleC e m a) -> InterpretErrorSimpleC e m b) -> InterpretErrorSimpleC e m b

generalBracket :: InterpretErrorSimpleC e m a -> (a -> ExitCase b -> InterpretErrorSimpleC e m c) -> (a -> InterpretErrorSimpleC e m b) -> InterpretErrorSimpleC e m (b, c)

(Carrier m, Threaders '[ReaderThreads] m p) => Carrier (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

Associated Types

type Derivs (InterpretErrorSimpleC e m) :: [Effect]

type Prims (InterpretErrorSimpleC e m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (InterpretErrorSimpleC e m)) (InterpretErrorSimpleC e m) a

reformulate :: Monad z => Reformulation' (Derivs (InterpretErrorSimpleC e m)) (Prims (InterpretErrorSimpleC e m)) (InterpretErrorSimpleC e m) z a

algDerivs :: Algebra' (Derivs (InterpretErrorSimpleC e m)) (InterpretErrorSimpleC e m) a

type Derivs (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

type Derivs (InterpretErrorSimpleC e m) = Derivs (InterpretSimpleC (Catch e) (InterpretSimpleC (Throw e) m))

type Prims (InterpretErrorSimpleC e m)

Defined in Control.Effect.Internal.Error

type Prims (InterpretErrorSimpleC e m) = Prims (InterpretSimpleC (Catch e) (InterpretSimpleC (Throw e) m))

type StM (InterpretErrorSimpleC e m) a

Defined in Control.Effect.Internal.Error

type StM (InterpretErrorSimpleC e m) a = StM (InterpretSimpleC (Catch e) (InterpretSimpleC (Throw e) m)) a