Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Discont is the Density comonad of a constant functor, just as Cont is a Codensity monad of a constant functor.
Note that Discont and Context are isomorphic, but DiscontT and ContextT are not.
The discontinuation
comonad
The discontinuation comonad transformer
runDiscont :: Discont s a -> (s -> a, s)Source
DiscontT (w s -> a) (w s) |
runDiscontT :: DiscontT s w a -> (w s -> a, w s)Source