Safe Haskell	Safe
Language	Haskell2010

Control.Dsl.PolyCont

Synopsis

class PolyCont k r a where

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 #
Instance details 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.
Instance details 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 #
Instance details 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.
Instance details 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 #
Instance details 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 #
Instance details Defined in Control.Dsl.State.State Methods runPolyCont :: Empty r' Void -> (Void -> State s r) -> State s r #
PolyCont Get (State s r) s #
Instance details Defined in Control.Dsl.State.Get Methods runPolyCont :: Get r' s -> (s -> State s r) -> State s r #
PolyCont (Return r) r Void #
Instance details Defined in Control.Dsl.Return Methods runPolyCont :: Return r r' Void -> (Void -> r) -> r #
PolyCont (Shift r) r a #
Instance details Defined in Control.Dsl.Shift Methods runPolyCont :: Shift r r' a -> (a -> r) -> r #
Monad m => PolyCont (Monadic m) (m b) a #
Instance details Defined in Control.Dsl.Monadic Methods runPolyCont :: Monadic m r' a -> (a -> m b) -> m b #
Applicative m => PolyCont (Return r) (m r) Void #
Instance details Defined in Control.Dsl.Return Methods runPolyCont :: Return r r' Void -> (Void -> m r) -> m r #
PolyCont (Yield x) [x] () #
Instance details Defined in Control.Dsl.Yield Methods runPolyCont :: Yield x r' () -> (() -> [x]) -> [x] #
PolyCont (Return r) (Cont r' r) Void #
Instance details 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 #
Instance details 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) () #
Instance details Defined in Control.Dsl.State.Put Methods runPolyCont :: Put s r' () -> (() -> State s r) -> State s r #
PolyCont (Yield x) (Cont r [x]) () #
Instance details Defined in Control.Dsl.Yield Methods runPolyCont :: Yield x r' () -> (() -> Cont r [x]) -> Cont r [x] #