Control.Monad.Signatures

Авторские права	(c) Ross Paterson 2012
Лицензия	BSD-style (см. файл LICENSE)
Поддержка	ross@soi.city.ac.uk
Устойчивость	экспериментальная
Переносимость	переносимый
Безопасный Haskell	Безопасный
Язык	Haskell98

type CallCC m a b = ((a -> m b) -> m a) -> m a Источник

Подпись операции callCC, представленной в Control.Monad.Trans.Cont.

type Catch e m a = m a -> (e -> m a) -> m a Источник

Подпись операции catchE, представленной в Control.Monad.Trans.Except.

type Listen w m a = m a -> m (a, w) Источник

Подпись операции listen, представленной в Control.Monad.Trans.Writer.

type Pass w m a = m (a, w -> w) -> m a Источник

Подпись операции pass, представленной в Control.Monad.Trans.Writer.