Safe Haskell	None
Language	Haskell2010

Control.Effect.Internal.ErrorIO

Synopsis

newtype ErrorIOToIOC m a = ErrorIOToIOC {
- unErrorIOToIOC :: ReinterpretC ErrorIOFinalH ErrorIO '[Optional ((->) SomeException)] (InterpretPrimC ErrorIOFinalH (Optional ((->) SomeException)) m) a
}
errorIOToIO :: (Carrier m, MonadCatch m) => ErrorIOToIOC m a -> m a
data ErrorIOFinalH

Documentation

newtype ErrorIOToIOC m a Source #

Constructors

ErrorIOToIOC
Fields unErrorIOToIOC :: ReinterpretC ErrorIOFinalH ErrorIO '[Optional ((->) SomeException)] (InterpretPrimC ErrorIOFinalH (Optional ((->) SomeException)) m) a

Instances

Instances details

MonadTrans ErrorIOToIOC Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods lift :: Monad m => m a -> ErrorIOToIOC m a #
MonadTransControl ErrorIOToIOC Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Associated Types type StT ErrorIOToIOC a # Methods liftWith :: Monad m => (Run ErrorIOToIOC -> m a) -> ErrorIOToIOC m a # restoreT :: Monad m => m (StT ErrorIOToIOC a) -> ErrorIOToIOC m a #
MonadBase b m => MonadBase b (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods liftBase :: b α -> ErrorIOToIOC m α #
MonadBaseControl b m => MonadBaseControl b (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Associated Types type StM (ErrorIOToIOC m) a # Methods liftBaseWith :: (RunInBase (ErrorIOToIOC m) b -> b a) -> ErrorIOToIOC m a # restoreM :: StM (ErrorIOToIOC m) a -> ErrorIOToIOC m a #
Monad m => Monad (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods (>>=) :: ErrorIOToIOC m a -> (a -> ErrorIOToIOC m b) -> ErrorIOToIOC m b # (>>) :: ErrorIOToIOC m a -> ErrorIOToIOC m b -> ErrorIOToIOC m b # return :: a -> ErrorIOToIOC m a #
Functor m => Functor (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods fmap :: (a -> b) -> ErrorIOToIOC m a -> ErrorIOToIOC m b # (<$) :: a -> ErrorIOToIOC m b -> ErrorIOToIOC m a #
MonadFix m => MonadFix (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods mfix :: (a -> ErrorIOToIOC m a) -> ErrorIOToIOC m a #
MonadFail m => MonadFail (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods fail :: String -> ErrorIOToIOC m a #
Applicative m => Applicative (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods pure :: a -> ErrorIOToIOC m a # (<>) :: ErrorIOToIOC m (a -> b) -> ErrorIOToIOC m a -> ErrorIOToIOC m b # liftA2 :: (a -> b -> c) -> ErrorIOToIOC m a -> ErrorIOToIOC m b -> ErrorIOToIOC m c # (>) :: ErrorIOToIOC m a -> ErrorIOToIOC m b -> ErrorIOToIOC m b # (<*) :: ErrorIOToIOC m a -> ErrorIOToIOC m b -> ErrorIOToIOC m a #
MonadIO m => MonadIO (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods liftIO :: IO a -> ErrorIOToIOC m a #
Alternative m => Alternative (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods empty :: ErrorIOToIOC m a # (<\|>) :: ErrorIOToIOC m a -> ErrorIOToIOC m a -> ErrorIOToIOC m a # some :: ErrorIOToIOC m a -> ErrorIOToIOC m [a] # many :: ErrorIOToIOC m a -> ErrorIOToIOC m [a] #
MonadPlus m => MonadPlus (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods mzero :: ErrorIOToIOC m a # mplus :: ErrorIOToIOC m a -> ErrorIOToIOC m a -> ErrorIOToIOC m a #
MonadThrow m => MonadThrow (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods throwM :: Exception e => e -> ErrorIOToIOC m a #
MonadCatch m => MonadCatch (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods catch :: Exception e => ErrorIOToIOC m a -> (e -> ErrorIOToIOC m a) -> ErrorIOToIOC m a #
MonadMask m => MonadMask (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods mask :: ((forall a. ErrorIOToIOC m a -> ErrorIOToIOC m a) -> ErrorIOToIOC m b) -> ErrorIOToIOC m b # uninterruptibleMask :: ((forall a. ErrorIOToIOC m a -> ErrorIOToIOC m a) -> ErrorIOToIOC m b) -> ErrorIOToIOC m b # generalBracket :: ErrorIOToIOC m a -> (a -> ExitCase b -> ErrorIOToIOC m c) -> (a -> ErrorIOToIOC m b) -> ErrorIOToIOC m (b, c) #
(Carrier m, MonadCatch m) => Carrier (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Associated Types type Derivs (ErrorIOToIOC m) :: [Effect] Source # type Prims (ErrorIOToIOC m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (ErrorIOToIOC m)) (ErrorIOToIOC m) a Source # reformulate :: Monad z => Reformulation' (Derivs (ErrorIOToIOC m)) (Prims (ErrorIOToIOC m)) (ErrorIOToIOC m) z a Source # algDerivs :: Algebra' (Derivs (ErrorIOToIOC m)) (ErrorIOToIOC m) a Source #
type StT ErrorIOToIOC a Source #
Instance details Defined in Control.Effect.Internal.ErrorIO type StT ErrorIOToIOC a = StT (CompositionBaseT '[ReinterpretC ErrorIOFinalH ErrorIO '[Optional ((->) SomeException :: Type -> Type)], InterpretPrimC ErrorIOFinalH (Optional ((->) SomeException :: Type -> Type))]) a
type Derivs (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO type Derivs (ErrorIOToIOC m) = Derivs (ReinterpretC ErrorIOFinalH ErrorIO '[Optional ((->) SomeException :: Type -> Type)] (InterpretPrimC ErrorIOFinalH (Optional ((->) SomeException :: Type -> Type)) m))
type Prims (ErrorIOToIOC m) Source #
Instance details Defined in Control.Effect.Internal.ErrorIO type Prims (ErrorIOToIOC m) = Prims (ReinterpretC ErrorIOFinalH ErrorIO '[Optional ((->) SomeException :: Type -> Type)] (InterpretPrimC ErrorIOFinalH (Optional ((->) SomeException :: Type -> Type)) m))
type StM (ErrorIOToIOC m) a Source #
Instance details Defined in Control.Effect.Internal.ErrorIO type StM (ErrorIOToIOC m) a = StM (ReinterpretC ErrorIOFinalH ErrorIO '[Optional ((->) SomeException :: Type -> Type)] (InterpretPrimC ErrorIOFinalH (Optional ((->) SomeException :: Type -> Type)) m)) a

errorIOToIO :: (Carrier m, MonadCatch m) => ErrorIOToIOC m a -> m a Source #

Run an ErrorIO effect by making use of IO exceptions.

Derivs (ErrorIOToIOC e m) = ErrorIO ': Derivs m

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

data ErrorIOFinalH Source #

Instances

Instances details

(MonadThrow m, Eff (Optional ((->) SomeException :: Type -> Type)) m) => Handler ErrorIOFinalH ErrorIO m Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods effHandler :: EffHandler ErrorIO m Source #
(MonadCatch m, Carrier m) => PrimHandler ErrorIOFinalH (Optional ((->) SomeException :: Type -> Type)) m Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods effPrimHandler :: EffPrimHandler (Optional ((->) SomeException)) m Source #