| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Monad.Indexed.Cont | Portability | rank-2 Types required for correctness of shift, but they can be removed | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
class IxMonad m => IxMonadCont m where |
| Methods | reset :: m a o o -> m r r a | | shift :: (forall i. (a -> m i i o) -> m r j j) -> m r o a |
| | Instances | |
|
|
newtype IxContT m r o a |
Constructors | IxContT | | runIxContT :: (a -> m o) -> m r | |
|
| Instances | |
|
|
runIxContT_ :: Monad m => IxContT m r a a -> m r |
|
newtype IxCont r o a |
Constructors | | Instances | |
|
|
runIxCont :: IxCont r o a -> (a -> o) -> r |
|
runIxCont_ :: IxCont r a a -> r |
|
Produced by Haddock version 2.1.0 |