Control.Effect.Internal.Regional

Documentation

newtype HoistCall b

Constructors

HoistCall (forall x. b x -> b x)

Instances

(Carrier m, MonadBaseControl b m) => PrimHandler HoistToFinalH (Hoist b :: (Type -> Type) -> Type -> Type) m

Defined in Control.Effect.Internal.Regional

Methods

effPrimHandler :: EffPrimHandler (Hoist b) m

Carrier m => PrimHandler HoistH (Hoist m :: (Type -> Type) -> Type -> Type) m

Defined in Control.Effect.Internal.Regional

Methods

effPrimHandler :: EffPrimHandler (Hoist m) m

type Hoist (b :: * -> *) = Regional (HoistCall b)

A useful specialization of Regional where the constant type is HoistCall b. From this, you can derive hoist.

data HoistH

Instances

Carrier m => PrimHandler HoistH (Hoist m :: (Type -> Type) -> Type -> Type) m

Defined in Control.Effect.Internal.Regional

Methods

effPrimHandler :: EffPrimHandler (Hoist m) m

data HoistToFinalH

Instances

(Carrier m, MonadBaseControl b m) => PrimHandler HoistToFinalH (Hoist b :: (Type -> Type) -> Type -> Type) m

Defined in Control.Effect.Internal.Regional

Methods

effPrimHandler :: EffPrimHandler (Hoist b) m

newtype HoistC m a

Constructors

HoistC

Fields

• unHoistC :: m a

Instances

MonadTrans (HoistC :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.Regional

Methods

lift :: Monad m => m a -> HoistC m a

MonadTransControl (HoistC :: (Type -> Type) -> Type -> Type)

Defined in Control.Effect.Internal.Regional

Associated Types

type StT HoistC a

Methods

liftWith :: Monad m => (Run HoistC -> m a) -> HoistC m a

restoreT :: Monad m => m (StT HoistC a) -> HoistC m a

Monad m => Monad (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

(>>=) :: HoistC m a -> (a -> HoistC m b) -> HoistC m b

(>>) :: HoistC m a -> HoistC m b -> HoistC m b

return :: a -> HoistC m a

Functor m => Functor (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

fmap :: (a -> b) -> HoistC m a -> HoistC m b

(<$) :: a -> HoistC m b -> HoistC m a

MonadFix m => MonadFix (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

mfix :: (a -> HoistC m a) -> HoistC m a

MonadFail m => MonadFail (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

fail :: String -> HoistC m a

Applicative m => Applicative (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

pure :: a -> HoistC m a

(<*>) :: HoistC m (a -> b) -> HoistC m a -> HoistC m b

liftA2 :: (a -> b -> c) -> HoistC m a -> HoistC m b -> HoistC m c

(*>) :: HoistC m a -> HoistC m b -> HoistC m b

(<*) :: HoistC m a -> HoistC m b -> HoistC m a

MonadIO m => MonadIO (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

liftIO :: IO a -> HoistC m a

Alternative m => Alternative (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

empty :: HoistC m a

(<|>) :: HoistC m a -> HoistC m a -> HoistC m a

some :: HoistC m a -> HoistC m [a]

many :: HoistC m a -> HoistC m [a]

MonadPlus m => MonadPlus (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

mzero :: HoistC m a

mplus :: HoistC m a -> HoistC m a -> HoistC m a

MonadThrow m => MonadThrow (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

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

MonadMask m => MonadMask (HoistC m)

Defined in Control.Effect.Internal.Regional

Methods

mask :: ((forall a. HoistC m a -> HoistC m a) -> HoistC m b) -> HoistC m b

uninterruptibleMask :: ((forall a. HoistC m a -> HoistC m a) -> HoistC m b) -> HoistC m b

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

Carrier m => Carrier (HoistC m)

Defined in Control.Effect.Internal.Regional

Associated Types

type Derivs (HoistC m) :: [Effect]

type Prims (HoistC m) :: [Effect]

Methods

algPrims :: Algebra' (Prims (HoistC m)) (HoistC m) a

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

algDerivs :: Algebra' (Derivs (HoistC m)) (HoistC m) a

type StT (HoistC :: (Type -> Type) -> Type -> Type) a

Defined in Control.Effect.Internal.Regional

type StT (HoistC :: (Type -> Type) -> Type -> Type) a = StT (IdentityT :: (Type -> Type) -> Type -> Type) a

type Derivs (HoistC m)

Defined in Control.Effect.Internal.Regional

type Derivs (HoistC m) = Derivs (InterpretPrimC HoistH (Hoist m :: (Type -> Type) -> Type -> Type) m)

type Prims (HoistC m)

Defined in Control.Effect.Internal.Regional

type Prims (HoistC m) = Prims (InterpretPrimC HoistH (Hoist m :: (Type -> Type) -> Type -> Type) m)