Control.Monad.Indexed.Cont

Description

2008 Dan Doel License : BSD

Maintainer : Edward Kmett ekmett@gmail.com Stability : experimental Portability : portable

Documentation

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

class IxMonad m => IxContMonad m where

Methods

reset :: m a o o -> m r r a

shift :: ((a -> m i i o) -> m r j j) -> m r o a

Instances

newtype IxCont r o a

Constructors

IxCont (IxContT Identity r o a)

Instances

runIxCont :: IxCont r o a -> (a -> o) -> r

runIxCont_ :: IxCont r a a -> r

Produced by Haddock version 2.1.0