comonads-fd-1.6.3: Comonad transformers using functional dependencies

Portabilitynon-portable (fundeps, MPTCs)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Discont.Memo

Contents

Description

 

Synopsis

ComonadDiscont class

class Comonad w => ComonadDiscont s w | w -> s whereSource

Methods

callCV :: w (w (w a -> a) -> b) -> bSource

label :: Comonad w => DiscontT s w a -> s

The Discont comonad

discont :: (s -> a) -> s -> Discont s a

runDiscont :: Discont s a -> (s -> a, s)

The DiscontT comonad transformer

discontT :: (w s -> a) -> w s -> DiscontT s w a

runDiscontT :: DiscontT s w a -> (w s -> a, w s)

Re-exported modules