Module

Control.Monad.Transformerless.Cont

Package: purescript-transformerless
Repository: thimoteus/purescript-transformerless

#Cont Source

newtype Cont r a

Constructors

Cont ((a -> r) -> r)

Instances

Newtype (Cont r a) _
Functor (Cont r)
Apply (Cont r)
Applicative (Cont r)
Bind (Cont r)
Monad (Cont r)

#runCont Source

runCont :: forall a r. Cont r a -> ((a -> r) -> r)

#cont Source

cont :: forall r a. ((a -> r) -> r) -> Cont r a

#callCC Source

callCC :: forall r a. ((forall b. a -> Cont r b) -> Cont r a) -> Cont r a

#mapCont Source

mapCont :: forall a r. (r -> r) -> Cont r a -> Cont r a

#withCont Source

withCont :: forall r b a. ((b -> r) -> (a -> r)) -> Cont r a -> Cont r b

Modules: Control.Comonad.Transformerless.Env; Control.Comonad.Transformerless.Store; Control.Comonad.Transformerless.Traced; Control.Monad.Transformerless.Cont; Control.Monad.Transformerless.Except; Control.Monad.Transformerless.RWS; Control.Monad.Transformerless.Reader; Control.Monad.Transformerless.State; Control.Monad.Transformerless.Writer; Data.Functor.Pairing.Transformerless