Control.Dsl.Cont

Documentation

type (!!) = Cont

A type alias to Cont for a deeply nested delimited continuation.

Examples

>>> :set -XTypeOperators
>>> :set -XRebindableSyntax
>>> import Prelude hiding ((>>), (>>=), return, fail)
>>> import Control.Dsl
>>> import Control.Dsl.Yield
>>> import Control.Dsl.Empty
>>> :{
f :: IO () !! [Integer] !! [String] !! [Double]
f = do
  Yield "foo"
  Yield 0.5
  Yield 42
  empty
:}

newtype Cont r a

Constructors

Cont

Fields

• runCont :: (a -> r) -> r

Instances

Dsl Cont r a

Statements based on monomorphic delimited continuations.

Defined in Control.Dsl.Dsl

Methods

cpsApply :: Cont r a -> (a -> r) -> r

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

Defined in Control.Dsl.Cont

Methods

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

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 (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 (Yield x) (Cont r [x]) ()

Defined in Control.Dsl.Yield

Methods

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

when :: Bool -> Cont r () -> Cont r ()

unless :: Bool -> Cont r () -> Cont r ()

guard :: PolyCont Empty r Void => Bool -> Cont r ()