comonads-fd-1.4.0: Comonad transformers using functional dependencies

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

Control.Comonad.Discont.Class

Description

 

Documentation

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

Methods

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