Portability | Rank-2 Types |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class IxMonad m => IxMonadCont m whereSource
IxMonadCont IxCont | |
Monad m => IxMonadCont (IxContT m) |
newtype IxContT m r o a Source
IxContT | |
|
runIxContT_ :: Monad m => IxContT m r a a -> m rSource
runIxCont_ :: IxCont r a a -> rSource