Safe Haskell	None
Language	Haskell2010

Control.Effect.Internal.Cont

Synopsis

newtype Cont :: Effect where
- CallCC :: ((forall b. a -> m b) -> m a) -> Cont m a
newtype Shift r :: Effect where
- Shift :: ((a -> m r) -> m r) -> Shift r m a
data ContBase mr r a where
- Exit :: r -> ContBase mr r void
- Attempt :: mr -> ContBase mr r r
- GetCont :: ContBase mr r (Either (a -> mr) a)
newtype ContC r m a = ContC {
- unContC :: FreeT (ContBase (m r) r) m a
}
newtype ShiftC r m a = ShiftC {
- unShiftC :: FreeT (ContBase (m r) r) m a
}
type ContThreads = FreeThreads

Documentation

newtype Cont :: Effect where Source #

An effect for abortive continuations.

Constructors

CallCC :: ((forall b. a -> m b) -> m a) -> Cont m a

newtype Shift r :: Effect where Source #

An effect for non-abortive continuations of a program that eventually produces a result of type r.

This isn't quite as powerful as proper delimited continuations, as this doesn't provide any equivalent of the reset operator.

This can be useful as a helper effect.

Constructors

Shift :: ((a -> m r) -> m r) -> Shift r m a

data ContBase mr r a where Source #

Constructors

Exit :: r -> ContBase mr r void
Attempt :: mr -> ContBase mr r r
GetCont :: ContBase mr r (Either (a -> mr) a)

newtype ContC r m a Source #

Constructors

ContC
Fields unContC :: FreeT (ContBase (m r) r) m a

Instances

Instances details

MonadBase b m => MonadBase b (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods liftBase :: b α -> ContC r m α #
MonadTrans (ContC s) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods lift :: Monad m => m a -> ContC s m a #
Monad (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods (>>=) :: ContC r m a -> (a -> ContC r m b) -> ContC r m b # (>>) :: ContC r m a -> ContC r m b -> ContC r m b # return :: a -> ContC r m a #
Functor (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods fmap :: (a -> b) -> ContC r m a -> ContC r m b # (<$) :: a -> ContC r m b -> ContC r m a #
MonadFail m => MonadFail (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods fail :: String -> ContC r m a #
Applicative (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods pure :: a -> ContC r m a # (<>) :: ContC r m (a -> b) -> ContC r m a -> ContC r m b # liftA2 :: (a -> b -> c) -> ContC r m a -> ContC r m b -> ContC r m c # (>) :: ContC r m a -> ContC r m b -> ContC r m b # (<*) :: ContC r m a -> ContC r m b -> ContC r m a #
MonadIO m => MonadIO (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods liftIO :: IO a -> ContC r m a #
MonadThrow m => MonadThrow (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods throwM :: Exception e => e -> ContC r m a #
MonadCatch m => MonadCatch (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods catch :: Exception e => ContC r m a -> (e -> ContC r m a) -> ContC r m a #
(Carrier m, Threads (FreeT (ContBase (m r) r)) (Prims m)) => Carrier (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Associated Types type Derivs (ContC r m) :: [Effect] Source # type Prims (ContC r m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (ContC r m)) (ContC r m) a Source # reformulate :: Monad z => Reformulation' (Derivs (ContC r m)) (Prims (ContC r m)) (ContC r m) z a Source # algDerivs :: Algebra' (Derivs (ContC r m)) (ContC r m) a Source #
type Derivs (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont type Derivs (ContC r m) = Cont ': Derivs m
type Prims (ContC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont type Prims (ContC r m) = Prims m

newtype ShiftC r m a Source #

Constructors

ShiftC
Fields unShiftC :: FreeT (ContBase (m r) r) m a

Instances

Instances details

MonadBase b m => MonadBase b (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods liftBase :: b α -> ShiftC r m α #
MonadTrans (ShiftC s) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods lift :: Monad m => m a -> ShiftC s m a #
Monad (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods (>>=) :: ShiftC r m a -> (a -> ShiftC r m b) -> ShiftC r m b # (>>) :: ShiftC r m a -> ShiftC r m b -> ShiftC r m b # return :: a -> ShiftC r m a #
Functor (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods fmap :: (a -> b) -> ShiftC r m a -> ShiftC r m b # (<$) :: a -> ShiftC r m b -> ShiftC r m a #
MonadFail m => MonadFail (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods fail :: String -> ShiftC r m a #
Applicative (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods pure :: a -> ShiftC r m a # (<>) :: ShiftC r m (a -> b) -> ShiftC r m a -> ShiftC r m b # liftA2 :: (a -> b -> c) -> ShiftC r m a -> ShiftC r m b -> ShiftC r m c # (>) :: ShiftC r m a -> ShiftC r m b -> ShiftC r m b # (<*) :: ShiftC r m a -> ShiftC r m b -> ShiftC r m a #
MonadIO m => MonadIO (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods liftIO :: IO a -> ShiftC r m a #
MonadThrow m => MonadThrow (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods throwM :: Exception e => e -> ShiftC r m a #
MonadCatch m => MonadCatch (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Methods catch :: Exception e => ShiftC r m a -> (e -> ShiftC r m a) -> ShiftC r m a #
(Carrier m, Threads (FreeT (ContBase (m r) r)) (Prims m)) => Carrier (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont Associated Types type Derivs (ShiftC r m) :: [Effect] Source # type Prims (ShiftC r m) :: [Effect] Source # Methods algPrims :: Algebra' (Prims (ShiftC r m)) (ShiftC r m) a Source # reformulate :: Monad z => Reformulation' (Derivs (ShiftC r m)) (Prims (ShiftC r m)) (ShiftC r m) z a Source # algDerivs :: Algebra' (Derivs (ShiftC r m)) (ShiftC r m) a Source #
type Derivs (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont type Derivs (ShiftC r m) = Shift r ': Derivs m
type Prims (ShiftC r m) Source #
Instance details Defined in Control.Effect.Internal.Cont type Prims (ShiftC r m) = Prims m

type ContThreads = FreeThreads Source #

ContThreads accepts the following primitive effects:

Regional s
Optional s (when s is a functor)
Unravel p
ListenPrim o (when o is a Monoid)
ReaderPrim i