record ContT <R, M, A> (Func<Func<A, K<M, R>>, K<M, R>> runCont) Source #
where
M : Applicative<M>
The continuation monad transformer.
Can be used to add continuation handling to any type constructor:
the Monad
trait-implementation and most of the operations do not
require M
to be a monad.
type | R | |
type | M | |
type | A | |
param | runCont | The continuation |