comonads-fd-1.7: Comonad transformers using functional dependencies

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

Control.Comonad.Discont.Lazy

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

data DiscontT s w a

Constructors

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

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

Re-exported modules