Control.Dsl.PolyCont

Documentation

class PolyCont k r a where

A use case of an ad-hoc polymorphic delimited continuation.

Note that a PolyCont is not a polymorphic delimited continuation, since a PolyCont does not support answer type modification.

Minimal complete definition

runPolyCont

Methods

runPolyCont :: k r' a -> (a -> r) -> r

Run as a CPS function .

Instances

Alternative m => PolyCont Empty (m a) Void

Defined in Control.Dsl.Empty

Methods

runPolyCont :: Empty r' Void -> (Void -> m a) -> m a

PolyCont k r a => PolyCont k (Cont r a') a

The PolyCont derivation rule for any keywords in a Cont do block.

This derivated instance provide the ability similar to ContT monad transformers.

Defined in Control.Dsl.Cont

Methods

runPolyCont :: k r' a -> (a -> Cont r a') -> Cont r a'

PolyCont k r Void => PolyCont k (State s r) Void

Defined in Control.Dsl.State.State

Methods

runPolyCont :: k r' Void -> (Void -> State s r) -> State s r

PolyCont k r a => PolyCont k (State s r) a

The PolyCont derivation rule for any keywords in a State do block.

This derivated instance provide the ability similar to StateT or ReaterT monad transformers.

Defined in Control.Dsl.State.State

Methods

runPolyCont :: k r' a -> (a -> State s r) -> State s r

PolyCont Empty r Void => PolyCont Empty (Cont r a) Void

Defined in Control.Dsl.Cont

Methods

runPolyCont :: Empty r' Void -> (Void -> Cont r a) -> Cont r a

PolyCont Empty r Void => PolyCont Empty (State s r) Void

Defined in Control.Dsl.State.State

Methods

runPolyCont :: Empty r' Void -> (Void -> State s r) -> State s r

PolyCont Get (State s r) s

Defined in Control.Dsl.State.Get

Methods

runPolyCont :: Get r' s -> (s -> State s r) -> State s r

PolyCont (Return r) r Void

Defined in Control.Dsl.Return

Methods

runPolyCont :: Return r r' Void -> (Void -> r) -> r

PolyCont (Shift r) r a

Defined in Control.Dsl.Shift

Methods

runPolyCont :: Shift r r' a -> (a -> r) -> r

Monad m => PolyCont (Monadic m) (m b) a

Defined in Control.Dsl.Monadic

Methods

runPolyCont :: Monadic m r' a -> (a -> m b) -> m b

Applicative m => PolyCont (Return r) (m r) Void

Defined in Control.Dsl.Return

Methods

runPolyCont :: Return r r' Void -> (Void -> m r) -> m r

PolyCont (Yield x) [x] ()

Defined in Control.Dsl.Yield

Methods

runPolyCont :: Yield x r' () -> (() -> [x]) -> [x]

PolyCont (Return r) (Cont r' r) Void

Defined in Control.Dsl.Cont

Methods

runPolyCont :: Return r r'0 Void -> (Void -> Cont r' r) -> Cont r' r

PolyCont (Return r) (State s r) Void

Defined in Control.Dsl.State.State

Methods

runPolyCont :: Return r r' Void -> (Void -> State s r) -> State s r

PolyCont (Put s) (State s r) ()

Defined in Control.Dsl.State.Put

Methods

runPolyCont :: Put s r' () -> (() -> State s r) -> State s r

PolyCont (Yield x) (Cont r [x]) ()

Defined in Control.Dsl.Yield

Methods

runPolyCont :: Yield x r' () -> (() -> Cont r [x]) -> Cont r [x]