|
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 |
|
|
| Methods | reset :: m a o o -> m r r a | Source |
| | shift :: (forall i. (a -> m i i o) -> m r j j) -> m r o a | Source |
|
| | Instances | |
|
|
newtype IxContT m r o a | Source |
|
Constructors | IxContT | | runIxContT :: (a -> m o) -> m r | |
|
| Instances | |
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |