Control.Effect.Internal.Exceptional

Documentation

newtype Exceptional eff exc m a

An effect that allows for the safe use of an effect eff that may throw exceptions of the type exc by forcing the user to eventually catch those exceptions at some point of the program.

The main combinator of Exceptional is catching.

This could be unsafe in the presence of Conc. If you use catching on a computation that:

• Spawns an asynchronous computation
• Throws an exception inside the asynchronous computation from a use of eff
• Returns the Async of that asynchronous computation

Then waiting on that Async outside of the catching will throw that exception without it being caught.

Constructors

Exceptional (Union '[eff, Catch exc] m a)

Instances

(Member eff (Derivs m), Eff (Catch exc) m) => Handler ExceptionalH (Exceptional eff exc) m

Defined in Control.Effect.Internal.Exceptional

Methods

effHandler :: EffHandler (Exceptional eff exc) m

type SafeError exc = Exceptional (Throw exc) exc

A particularly useful specialization of Exceptional, for gaining restricted access to an Error exc effect. Main combinators are catchSafe and trySafe.

newtype ExceptionallyC (eff :: Effect) (exc :: *) m a

Constructors

ExceptionallyC

Fields

• unExceptionallyC :: m a

Instances

MonadBase b m => MonadBase b (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftBase :: b α -> ExceptionallyC eff exc m α

MonadBaseControl b m => MonadBaseControl b (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StM (ExceptionallyC eff exc m) a

Methods

liftBaseWith :: (RunInBase (ExceptionallyC eff exc m) b -> b a) -> ExceptionallyC eff exc m a

restoreM :: StM (ExceptionallyC eff exc m) a -> ExceptionallyC eff exc m a

MonadTrans (ExceptionallyC eff exc :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.Exceptional

Methods

lift :: Monad m => m a -> ExceptionallyC eff exc m a

MonadTransControl (ExceptionallyC eff exc :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StT (ExceptionallyC eff exc) a

Methods

liftWith :: Monad m => (Run (ExceptionallyC eff exc) -> m a) -> ExceptionallyC eff exc m a

restoreT :: Monad m => m (StT (ExceptionallyC eff exc) a) -> ExceptionallyC eff exc m a

Monad m => Monad (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

(>>=) :: ExceptionallyC eff exc m a -> (a -> ExceptionallyC eff exc m b) -> ExceptionallyC eff exc m b

(>>) :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m b -> ExceptionallyC eff exc m b

return :: a -> ExceptionallyC eff exc m a

Functor m => Functor (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fmap :: (a -> b) -> ExceptionallyC eff exc m a -> ExceptionallyC eff exc m b

(<$) :: a -> ExceptionallyC eff exc m b -> ExceptionallyC eff exc m a

MonadFix m => MonadFix (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mfix :: (a -> ExceptionallyC eff exc m a) -> ExceptionallyC eff exc m a

MonadFail m => MonadFail (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fail :: String -> ExceptionallyC eff exc m a

Applicative m => Applicative (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

pure :: a -> ExceptionallyC eff exc m a

(<*>) :: ExceptionallyC eff exc m (a -> b) -> ExceptionallyC eff exc m a -> ExceptionallyC eff exc m b

liftA2 :: (a -> b -> c) -> ExceptionallyC eff exc m a -> ExceptionallyC eff exc m b -> ExceptionallyC eff exc m c

(*>) :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m b -> ExceptionallyC eff exc m b

(<*) :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m b -> ExceptionallyC eff exc m a

MonadIO m => MonadIO (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftIO :: IO a -> ExceptionallyC eff exc m a

Alternative m => Alternative (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

empty :: ExceptionallyC eff exc m a

(<|>) :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m a -> ExceptionallyC eff exc m a

some :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m [a]

many :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m [a]

MonadPlus m => MonadPlus (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mzero :: ExceptionallyC eff exc m a

mplus :: ExceptionallyC eff exc m a -> ExceptionallyC eff exc m a -> ExceptionallyC eff exc m a

MonadThrow m => MonadThrow (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

throwM :: Exception e => e -> ExceptionallyC eff 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

MonadMask m => MonadMask (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mask :: ((forall a. ExceptionallyC eff exc m a -> ExceptionallyC eff exc m a) -> ExceptionallyC eff exc m b) -> ExceptionallyC eff exc m b

uninterruptibleMask :: ((forall a. ExceptionallyC eff exc m a -> ExceptionallyC eff exc m a) -> ExceptionallyC eff exc m b) -> ExceptionallyC eff exc m b

generalBracket :: ExceptionallyC eff exc m a -> (a -> ExitCase b -> ExceptionallyC eff exc m c) -> (a -> ExceptionallyC eff exc m b) -> ExceptionallyC eff exc m (b, c)

Eff (Exceptional eff exc) m => Carrier (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type Derivs (ExceptionallyC eff exc m) :: [Effect]

type Prims (ExceptionallyC eff exc m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (ExceptionallyC eff exc m)) (ExceptionallyC eff exc m) a

reformulate :: Monad z => Reformulation' (Derivs (ExceptionallyC eff exc m)) (Prims (ExceptionallyC eff exc m)) (ExceptionallyC eff exc m) z a

algDerivs :: Algebra' (Derivs (ExceptionallyC eff exc m)) (ExceptionallyC eff exc m) a

type StT (ExceptionallyC eff exc :: (Type -> Type) -> Type -> Type) a

Defined in Control.Effect.Internal.Exceptional

type StT (ExceptionallyC eff exc :: (Type -> Type) -> Type -> Type) a = StT (IdentityT :: (Type -> Type) -> Type -> Type) a

type Derivs (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

type Derivs (ExceptionallyC eff exc m) = Catch exc ': (eff ': Derivs m)

type Prims (ExceptionallyC eff exc m)

Defined in Control.Effect.Internal.Exceptional

type Prims (ExceptionallyC eff exc m) = Prims m

type StM (ExceptionallyC eff exc m) a

Defined in Control.Effect.Internal.Exceptional

type StM (ExceptionallyC eff exc m) a = StM m a

data ExceptionalH

Instances

(Member eff (Derivs m), Eff (Catch exc) m) => Handler ExceptionalH (Exceptional eff exc) m

Defined in Control.Effect.Internal.Exceptional

Methods

effHandler :: EffHandler (Exceptional eff exc) m

type ExceptionalC eff exc = InterpretC ExceptionalH (Exceptional eff exc)

type SafeErrorToErrorC exc = ExceptionalC (Throw exc) exc

newtype SafeErrorC exc m a

Constructors

SafeErrorC

Fields

• unSafeErrorC :: IntroUnderC (SafeError exc) '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorC exc m)) a

Instances

MonadBase b m => MonadBase b (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftBase :: b α -> SafeErrorC exc m α

MonadBaseControl b m => MonadBaseControl b (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StM (SafeErrorC exc m) a

Methods

liftBaseWith :: (RunInBase (SafeErrorC exc m) b -> b a) -> SafeErrorC exc m a

restoreM :: StM (SafeErrorC exc m) a -> SafeErrorC exc m a

MonadTrans (SafeErrorC exc)

Defined in Control.Effect.Internal.Exceptional

Methods

lift :: Monad m => m a -> SafeErrorC exc m a

MonadTransControl (SafeErrorC exc)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StT (SafeErrorC exc) a

Methods

liftWith :: Monad m => (Run (SafeErrorC exc) -> m a) -> SafeErrorC exc m a

restoreT :: Monad m => m (StT (SafeErrorC exc) a) -> SafeErrorC exc m a

Monad m => Monad (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

(>>=) :: SafeErrorC exc m a -> (a -> SafeErrorC exc m b) -> SafeErrorC exc m b

(>>) :: SafeErrorC exc m a -> SafeErrorC exc m b -> SafeErrorC exc m b

return :: a -> SafeErrorC exc m a

Functor m => Functor (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fmap :: (a -> b) -> SafeErrorC exc m a -> SafeErrorC exc m b

(<$) :: a -> SafeErrorC exc m b -> SafeErrorC exc m a

MonadFix m => MonadFix (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mfix :: (a -> SafeErrorC exc m a) -> SafeErrorC exc m a

MonadFail m => MonadFail (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fail :: String -> SafeErrorC exc m a

Monad m => Applicative (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

pure :: a -> SafeErrorC exc m a

(<*>) :: SafeErrorC exc m (a -> b) -> SafeErrorC exc m a -> SafeErrorC exc m b

liftA2 :: (a -> b -> c) -> SafeErrorC exc m a -> SafeErrorC exc m b -> SafeErrorC exc m c

(*>) :: SafeErrorC exc m a -> SafeErrorC exc m b -> SafeErrorC exc m b

(<*) :: SafeErrorC exc m a -> SafeErrorC exc m b -> SafeErrorC exc m a

MonadIO m => MonadIO (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftIO :: IO a -> SafeErrorC exc m a

(Monad m, Monoid exc) => Alternative (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

empty :: SafeErrorC exc m a

(<|>) :: SafeErrorC exc m a -> SafeErrorC exc m a -> SafeErrorC exc m a

some :: SafeErrorC exc m a -> SafeErrorC exc m [a]

many :: SafeErrorC exc m a -> SafeErrorC exc m [a]

(Monad m, Monoid exc) => MonadPlus (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mzero :: SafeErrorC exc m a

mplus :: SafeErrorC exc m a -> SafeErrorC exc m a -> SafeErrorC exc m a

MonadThrow m => MonadThrow (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

throwM :: Exception e => e -> SafeErrorC 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

MonadMask m => MonadMask (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mask :: ((forall a. SafeErrorC exc m a -> SafeErrorC exc m a) -> SafeErrorC exc m b) -> SafeErrorC exc m b

uninterruptibleMask :: ((forall a. SafeErrorC exc m a -> SafeErrorC exc m a) -> SafeErrorC exc m b) -> SafeErrorC exc m b

generalBracket :: SafeErrorC exc m a -> (a -> ExitCase b -> SafeErrorC exc m c) -> (a -> SafeErrorC exc m b) -> SafeErrorC exc m (b, c)

(Carrier m, Threads (ExceptT exc) (Prims m)) => Carrier (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type Derivs (SafeErrorC exc m) :: [Effect]

type Prims (SafeErrorC exc m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (SafeErrorC exc m)) (SafeErrorC exc m) a

reformulate :: Monad z => Reformulation' (Derivs (SafeErrorC exc m)) (Prims (SafeErrorC exc m)) (SafeErrorC exc m) z a

algDerivs :: Algebra' (Derivs (SafeErrorC exc m)) (SafeErrorC exc m) a

type StT (SafeErrorC exc) a

Defined in Control.Effect.Internal.Exceptional

type StT (SafeErrorC exc) a = StT (CompositionBaseT '[IntroUnderC (SafeError exc) '[Catch exc, Throw exc], SafeErrorToErrorC exc, ErrorC exc]) a

type Derivs (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

type Derivs (SafeErrorC exc m) = Derivs (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorC exc m)))

type Prims (SafeErrorC exc m)

Defined in Control.Effect.Internal.Exceptional

type Prims (SafeErrorC exc m) = Prims (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorC exc m)))

type StM (SafeErrorC exc m) a

Defined in Control.Effect.Internal.Exceptional

type StM (SafeErrorC exc m) a = StM (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorC exc m))) a

newtype SafeErrorToIOC' s s' exc m a

Constructors

SafeErrorToIOC'

Fields

• unSafeErrorToIOC' :: IntroUnderC (SafeError exc) '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorToIOC' s s' exc m)) a

Instances

MonadBase b m => MonadBase b (SafeErrorToIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftBase :: b α -> SafeErrorToIOC' s s' exc m α

MonadBaseControl b m => MonadBaseControl b (SafeErrorToIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StM (SafeErrorToIOC' s s' exc m) a

Methods

liftBaseWith :: (RunInBase (SafeErrorToIOC' s s' exc m) b -> b a) -> SafeErrorToIOC' s s' exc m a

restoreM :: StM (SafeErrorToIOC' s s' exc m) a -> SafeErrorToIOC' s s' exc m a

MonadTrans (SafeErrorToIOC' s s' exc)

Defined in Control.Effect.Internal.Exceptional

Methods

lift :: Monad m => m a -> SafeErrorToIOC' s s' exc m a

MonadTransControl (SafeErrorToIOC' s s' exc)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StT (SafeErrorToIOC' s s' exc) a

Methods

liftWith :: Monad m => (Run (SafeErrorToIOC' s s' exc) -> m a) -> SafeErrorToIOC' s s' exc m a

restoreT :: Monad m => m (StT (SafeErrorToIOC' s s' exc) a) -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

(>>=) :: SafeErrorToIOC' s s' exc m a -> (a -> SafeErrorToIOC' s s' exc m b) -> SafeErrorToIOC' s s' exc m b

(>>) :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m b -> SafeErrorToIOC' s s' exc m b

return :: a -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

fmap :: (a -> b) -> SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m b

(<$) :: a -> SafeErrorToIOC' s s' exc m b -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

mfix :: (a -> SafeErrorToIOC' s s' exc m a) -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

fail :: String -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

pure :: a -> SafeErrorToIOC' s s' exc m a

(<*>) :: SafeErrorToIOC' s s' exc m (a -> b) -> SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m b

liftA2 :: (a -> b -> c) -> SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m b -> SafeErrorToIOC' s s' exc m c

(*>) :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m b -> SafeErrorToIOC' s s' exc m b

(<*) :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m b -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

liftIO :: IO a -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

empty :: SafeErrorToIOC' s s' exc m a

(<|>) :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m a

some :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m [a]

many :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m [a]

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

Defined in Control.Effect.Internal.Exceptional

Methods

mzero :: SafeErrorToIOC' s s' exc m a

mplus :: SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

throwM :: Exception e => e -> SafeErrorToIOC' 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

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

Defined in Control.Effect.Internal.Exceptional

Methods

mask :: ((forall a. SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m a) -> SafeErrorToIOC' s s' exc m b) -> SafeErrorToIOC' s s' exc m b

uninterruptibleMask :: ((forall a. SafeErrorToIOC' s s' exc m a -> SafeErrorToIOC' s s' exc m a) -> SafeErrorToIOC' s s' exc m b) -> SafeErrorToIOC' s s' exc m b

generalBracket :: SafeErrorToIOC' s s' exc m a -> (a -> ExitCase b -> SafeErrorToIOC' s s' exc m c) -> (a -> SafeErrorToIOC' s s' exc m b) -> SafeErrorToIOC' s s' exc m (b, c)

(Eff (Embed IO) m, MonadCatch m, ReifiesErrorHandler s s' exc (ErrorIOToIOC m)) => Carrier (SafeErrorToIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type Derivs (SafeErrorToIOC' s s' exc m) :: [Effect]

type Prims (SafeErrorToIOC' s s' exc m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (SafeErrorToIOC' s s' exc m)) (SafeErrorToIOC' s s' exc m) a

reformulate :: Monad z => Reformulation' (Derivs (SafeErrorToIOC' s s' exc m)) (Prims (SafeErrorToIOC' s s' exc m)) (SafeErrorToIOC' s s' exc m) z a

algDerivs :: Algebra' (Derivs (SafeErrorToIOC' s s' exc m)) (SafeErrorToIOC' s s' exc m) a

type StT (SafeErrorToIOC' s s' exc) a

Defined in Control.Effect.Internal.Exceptional

type StT (SafeErrorToIOC' s s' exc) a = StT (CompositionBaseT '[IntroUnderC (SafeError exc) '[Catch exc, Throw exc], SafeErrorToErrorC exc, ErrorToIOC' s s' exc]) a

type Derivs (SafeErrorToIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

type Derivs (SafeErrorToIOC' s s' exc m) = Derivs (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorToIOC' s s' exc m)))

type Prims (SafeErrorToIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

type Prims (SafeErrorToIOC' s s' exc m) = Prims (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorToIOC' s s' exc m)))

type StM (SafeErrorToIOC' s s' exc m) a

Defined in Control.Effect.Internal.Exceptional

type StM (SafeErrorToIOC' s s' exc m) a = StM (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorToIOC' s s' exc m))) a

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

newtype SafeErrorToErrorIOC' s s' exc m a

Constructors

SafeErrorToErrorIOC'

Fields

• unSafeErrorToErrorIOC' :: IntroUnderC (SafeError exc) '[Catch exc, Throw exc] (SafeErrorToErrorC exc (InterpretErrorC' s s' exc m)) a

Instances

MonadBase b m => MonadBase b (SafeErrorToErrorIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftBase :: b α -> SafeErrorToErrorIOC' s s' exc m α

MonadBaseControl b m => MonadBaseControl b (SafeErrorToErrorIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StM (SafeErrorToErrorIOC' s s' exc m) a

Methods

liftBaseWith :: (RunInBase (SafeErrorToErrorIOC' s s' exc m) b -> b a) -> SafeErrorToErrorIOC' s s' exc m a

restoreM :: StM (SafeErrorToErrorIOC' s s' exc m) a -> SafeErrorToErrorIOC' s s' exc m a

MonadTrans (SafeErrorToErrorIOC' s s' exc)

Defined in Control.Effect.Internal.Exceptional

Methods

lift :: Monad m => m a -> SafeErrorToErrorIOC' s s' exc m a

MonadTransControl (SafeErrorToErrorIOC' s s' exc)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StT (SafeErrorToErrorIOC' s s' exc) a

Methods

liftWith :: Monad m => (Run (SafeErrorToErrorIOC' s s' exc) -> m a) -> SafeErrorToErrorIOC' s s' exc m a

restoreT :: Monad m => m (StT (SafeErrorToErrorIOC' s s' exc) a) -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

(>>=) :: SafeErrorToErrorIOC' s s' exc m a -> (a -> SafeErrorToErrorIOC' s s' exc m b) -> SafeErrorToErrorIOC' s s' exc m b

(>>) :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m b -> SafeErrorToErrorIOC' s s' exc m b

return :: a -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

fmap :: (a -> b) -> SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m b

(<$) :: a -> SafeErrorToErrorIOC' s s' exc m b -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

mfix :: (a -> SafeErrorToErrorIOC' s s' exc m a) -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

fail :: String -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

pure :: a -> SafeErrorToErrorIOC' s s' exc m a

(<*>) :: SafeErrorToErrorIOC' s s' exc m (a -> b) -> SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m b

liftA2 :: (a -> b -> c) -> SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m b -> SafeErrorToErrorIOC' s s' exc m c

(*>) :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m b -> SafeErrorToErrorIOC' s s' exc m b

(<*) :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m b -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

liftIO :: IO a -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

empty :: SafeErrorToErrorIOC' s s' exc m a

(<|>) :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m a

some :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m [a]

many :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m [a]

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

Defined in Control.Effect.Internal.Exceptional

Methods

mzero :: SafeErrorToErrorIOC' s s' exc m a

mplus :: SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m a

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

Defined in Control.Effect.Internal.Exceptional

Methods

throwM :: Exception e => e -> SafeErrorToErrorIOC' s s' exc 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

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

Defined in Control.Effect.Internal.Exceptional

Methods

mask :: ((forall a. SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m a) -> SafeErrorToErrorIOC' s s' exc m b) -> SafeErrorToErrorIOC' s s' exc m b

uninterruptibleMask :: ((forall a. SafeErrorToErrorIOC' s s' exc m a -> SafeErrorToErrorIOC' s s' exc m a) -> SafeErrorToErrorIOC' s s' exc m b) -> SafeErrorToErrorIOC' s s' exc m b

generalBracket :: SafeErrorToErrorIOC' s s' exc m a -> (a -> ExitCase b -> SafeErrorToErrorIOC' s s' exc m c) -> (a -> SafeErrorToErrorIOC' s s' exc m b) -> SafeErrorToErrorIOC' s s' exc m (b, c)

(Carrier m, ReifiesErrorHandler s s' exc m) => Carrier (SafeErrorToErrorIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type Derivs (SafeErrorToErrorIOC' s s' exc m) :: [Effect]

type Prims (SafeErrorToErrorIOC' s s' exc m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (SafeErrorToErrorIOC' s s' exc m)) (SafeErrorToErrorIOC' s s' exc m) a

reformulate :: Monad z => Reformulation' (Derivs (SafeErrorToErrorIOC' s s' exc m)) (Prims (SafeErrorToErrorIOC' s s' exc m)) (SafeErrorToErrorIOC' s s' exc m) z a

algDerivs :: Algebra' (Derivs (SafeErrorToErrorIOC' s s' exc m)) (SafeErrorToErrorIOC' s s' exc m) a

type StT (SafeErrorToErrorIOC' s s' exc) a

Defined in Control.Effect.Internal.Exceptional

type StT (SafeErrorToErrorIOC' s s' exc) a = StT (CompositionBaseT '[IntroUnderC (SafeError exc) '[Catch exc, Throw exc], SafeErrorToErrorC exc, InterpretErrorC' s s' exc]) a

type Derivs (SafeErrorToErrorIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

type Derivs (SafeErrorToErrorIOC' s s' exc m) = Derivs (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (InterpretErrorC' s s' exc m)))

type Prims (SafeErrorToErrorIOC' s s' exc m)

Defined in Control.Effect.Internal.Exceptional

type Prims (SafeErrorToErrorIOC' s s' exc m) = Prims (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (InterpretErrorC' s s' exc m)))

type StM (SafeErrorToErrorIOC' s s' exc m) a

Defined in Control.Effect.Internal.Exceptional

type StM (SafeErrorToErrorIOC' s s' exc m) a = StM (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (InterpretErrorC' s s' exc m))) a

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

newtype SafeErrorToIOSimpleC exc m a

Constructors

SafeErrorToIOSimpleC

Fields

• unSafeErrorToIOSimpleC :: IntroUnderC (SafeError exc) '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorToIOSimpleC exc m)) a

Instances

MonadBase b m => MonadBase b (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftBase :: b α -> SafeErrorToIOSimpleC exc m α

MonadBaseControl b m => MonadBaseControl b (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StM (SafeErrorToIOSimpleC exc m) a

Methods

liftBaseWith :: (RunInBase (SafeErrorToIOSimpleC exc m) b -> b a) -> SafeErrorToIOSimpleC exc m a

restoreM :: StM (SafeErrorToIOSimpleC exc m) a -> SafeErrorToIOSimpleC exc m a

MonadTrans (SafeErrorToIOSimpleC exc)

Defined in Control.Effect.Internal.Exceptional

Methods

lift :: Monad m => m a -> SafeErrorToIOSimpleC exc m a

Monad m => Monad (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

(>>=) :: SafeErrorToIOSimpleC exc m a -> (a -> SafeErrorToIOSimpleC exc m b) -> SafeErrorToIOSimpleC exc m b

(>>) :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m b -> SafeErrorToIOSimpleC exc m b

return :: a -> SafeErrorToIOSimpleC exc m a

Functor m => Functor (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fmap :: (a -> b) -> SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m b

(<$) :: a -> SafeErrorToIOSimpleC exc m b -> SafeErrorToIOSimpleC exc m a

MonadFix m => MonadFix (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mfix :: (a -> SafeErrorToIOSimpleC exc m a) -> SafeErrorToIOSimpleC exc m a

MonadFail m => MonadFail (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fail :: String -> SafeErrorToIOSimpleC exc m a

Applicative m => Applicative (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

pure :: a -> SafeErrorToIOSimpleC exc m a

(<*>) :: SafeErrorToIOSimpleC exc m (a -> b) -> SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m b

liftA2 :: (a -> b -> c) -> SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m b -> SafeErrorToIOSimpleC exc m c

(*>) :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m b -> SafeErrorToIOSimpleC exc m b

(<*) :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m b -> SafeErrorToIOSimpleC exc m a

MonadIO m => MonadIO (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftIO :: IO a -> SafeErrorToIOSimpleC exc m a

Alternative m => Alternative (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

empty :: SafeErrorToIOSimpleC exc m a

(<|>) :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m a

some :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m [a]

many :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m [a]

MonadPlus m => MonadPlus (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mzero :: SafeErrorToIOSimpleC exc m a

mplus :: SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m a

MonadThrow m => MonadThrow (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

throwM :: Exception e => e -> SafeErrorToIOSimpleC 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

MonadMask m => MonadMask (SafeErrorToIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mask :: ((forall a. SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m a) -> SafeErrorToIOSimpleC exc m b) -> SafeErrorToIOSimpleC exc m b

uninterruptibleMask :: ((forall a. SafeErrorToIOSimpleC exc m a -> SafeErrorToIOSimpleC exc m a) -> SafeErrorToIOSimpleC exc m b) -> SafeErrorToIOSimpleC exc m b

generalBracket :: SafeErrorToIOSimpleC exc m a -> (a -> ExitCase b -> SafeErrorToIOSimpleC exc m c) -> (a -> SafeErrorToIOSimpleC exc m b) -> SafeErrorToIOSimpleC exc m (b, c)

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

Defined in Control.Effect.Internal.Exceptional

Associated Types

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

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

Methods

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

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

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

type Derivs (SafeErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Exceptional

type Derivs (SafeErrorToIOSimpleC e m) = Derivs (IntroC '[SafeError e] '[Catch e, Throw e] (SafeErrorToErrorC e (ErrorToIOSimpleC e m)))

type Prims (SafeErrorToIOSimpleC e m)

Defined in Control.Effect.Internal.Exceptional

type Prims (SafeErrorToIOSimpleC e m) = Prims (IntroC '[SafeError e] '[Catch e, Throw e] (SafeErrorToErrorC e (ErrorToIOSimpleC e m)))

type StM (SafeErrorToIOSimpleC exc m) a

Defined in Control.Effect.Internal.Exceptional

type StM (SafeErrorToIOSimpleC exc m) a = StM (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (ErrorToIOSimpleC exc m))) a

newtype SafeErrorToErrorIOSimpleC exc m a

Constructors

SafeErrorToErrorIOSimpleC

Fields

• unSafeErrorToErrorIOSimpleC :: IntroUnderC (SafeError exc) '[Catch exc, Throw exc] (SafeErrorToErrorC exc (InterpretErrorSimpleC exc m)) a

Instances

MonadBase b m => MonadBase b (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftBase :: b α -> SafeErrorToErrorIOSimpleC exc m α

MonadBaseControl b m => MonadBaseControl b (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Associated Types

type StM (SafeErrorToErrorIOSimpleC exc m) a

Methods

liftBaseWith :: (RunInBase (SafeErrorToErrorIOSimpleC exc m) b -> b a) -> SafeErrorToErrorIOSimpleC exc m a

restoreM :: StM (SafeErrorToErrorIOSimpleC exc m) a -> SafeErrorToErrorIOSimpleC exc m a

MonadTrans (SafeErrorToErrorIOSimpleC exc)

Defined in Control.Effect.Internal.Exceptional

Methods

lift :: Monad m => m a -> SafeErrorToErrorIOSimpleC exc m a

Monad m => Monad (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

(>>=) :: SafeErrorToErrorIOSimpleC exc m a -> (a -> SafeErrorToErrorIOSimpleC exc m b) -> SafeErrorToErrorIOSimpleC exc m b

(>>) :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m b -> SafeErrorToErrorIOSimpleC exc m b

return :: a -> SafeErrorToErrorIOSimpleC exc m a

Functor m => Functor (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fmap :: (a -> b) -> SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m b

(<$) :: a -> SafeErrorToErrorIOSimpleC exc m b -> SafeErrorToErrorIOSimpleC exc m a

MonadFix m => MonadFix (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mfix :: (a -> SafeErrorToErrorIOSimpleC exc m a) -> SafeErrorToErrorIOSimpleC exc m a

MonadFail m => MonadFail (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

fail :: String -> SafeErrorToErrorIOSimpleC exc m a

Applicative m => Applicative (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

pure :: a -> SafeErrorToErrorIOSimpleC exc m a

(<*>) :: SafeErrorToErrorIOSimpleC exc m (a -> b) -> SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m b

liftA2 :: (a -> b -> c) -> SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m b -> SafeErrorToErrorIOSimpleC exc m c

(*>) :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m b -> SafeErrorToErrorIOSimpleC exc m b

(<*) :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m b -> SafeErrorToErrorIOSimpleC exc m a

MonadIO m => MonadIO (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

liftIO :: IO a -> SafeErrorToErrorIOSimpleC exc m a

Alternative m => Alternative (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

empty :: SafeErrorToErrorIOSimpleC exc m a

(<|>) :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m a

some :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m [a]

many :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m [a]

MonadPlus m => MonadPlus (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mzero :: SafeErrorToErrorIOSimpleC exc m a

mplus :: SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m a

MonadThrow m => MonadThrow (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

throwM :: Exception e => e -> SafeErrorToErrorIOSimpleC exc 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

MonadMask m => MonadMask (SafeErrorToErrorIOSimpleC exc m)

Defined in Control.Effect.Internal.Exceptional

Methods

mask :: ((forall a. SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m a) -> SafeErrorToErrorIOSimpleC exc m b) -> SafeErrorToErrorIOSimpleC exc m b

uninterruptibleMask :: ((forall a. SafeErrorToErrorIOSimpleC exc m a -> SafeErrorToErrorIOSimpleC exc m a) -> SafeErrorToErrorIOSimpleC exc m b) -> SafeErrorToErrorIOSimpleC exc m b

generalBracket :: SafeErrorToErrorIOSimpleC exc m a -> (a -> ExitCase b -> SafeErrorToErrorIOSimpleC exc m c) -> (a -> SafeErrorToErrorIOSimpleC exc m b) -> SafeErrorToErrorIOSimpleC exc m (b, c)

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

Defined in Control.Effect.Internal.Exceptional

Associated Types

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

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

Methods

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

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

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

type Derivs (SafeErrorToErrorIOSimpleC e m)

Defined in Control.Effect.Internal.Exceptional

type Derivs (SafeErrorToErrorIOSimpleC e m) = Derivs (IntroC '[SafeError e] '[Catch e, Throw e] (SafeErrorToErrorC e (InterpretErrorSimpleC e m)))

type Prims (SafeErrorToErrorIOSimpleC e m)

Defined in Control.Effect.Internal.Exceptional

type Prims (SafeErrorToErrorIOSimpleC e m) = Prims (IntroC '[SafeError e] '[Catch e, Throw e] (SafeErrorToErrorC e (InterpretErrorSimpleC e m)))

type StM (SafeErrorToErrorIOSimpleC exc m) a

Defined in Control.Effect.Internal.Exceptional

type StM (SafeErrorToErrorIOSimpleC exc m) a = StM (IntroC '[SafeError exc] '[Catch exc, Throw exc] (SafeErrorToErrorC exc (InterpretErrorSimpleC exc m))) a