W3cubDocs

/Haskell 7

Control.Monad.Signatures

Copyright (c) Ross Paterson 2012
License BSD-style (see the file LICENSE)
Maintainer [email protected]
Stability experimental
Portability portable
Safe Haskell Safe
Language Haskell98

Description

Signatures for monad operations that require specialized lifting.

type CallCC m a b = ((a -> m b) -> m a) -> m a Source

Signature of the callCC operation, introduced in Control.Monad.Trans.Cont.

type Catch e m a = m a -> (e -> m a) -> m a Source

Signature of the catchE operation, introduced in Control.Monad.Trans.Except.

type Listen w m a = m a -> m (a, w) Source

Signature of the listen operation, introduced in Control.Monad.Trans.Writer.

type Pass w m a = m (a, w -> w) -> m a Source

Signature of the pass operation, introduced in Control.Monad.Trans.Writer.

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/transformers-0.4.2.0/Control-Monad-Signatures.html