Portability	non-portable (fundeps, MPTCs)
Stability	experimental
Maintainer	Edward 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

Instances

ComonadDiscont s w => ComonadDiscont s (DiscontT k w)
ComonadDiscont s w => ComonadDiscont s (DiscontT k w)
ComonadDiscont s w => ComonadDiscont s (DiscontT k w)