Control.Monad.Indexed.Trans.Cont

Documentation

newtype ContT f i j a

Constructors

ContT

Fields

• runContT :: (a -> f j) -> f i

Instances

IxMonad (ContT f :: k -> k -> Type -> Type)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

ijoin :: ContT f i j (ContT f j k0 a) -> ContT f i k0 a

ibind :: (a -> ContT f j k0 b) -> ContT f i j a -> ContT f i k0 b

IxApplicative (ContT f :: k -> k -> Type -> Type)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

ipure :: a -> ContT f k0 k0 a

iap :: ContT f i j (a -> b) -> ContT f j k0 a -> ContT f i k0 b

Monad (ContT f k2 k2)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

(>>=) :: ContT f k2 k2 a -> (a -> ContT f k2 k2 b) -> ContT f k2 k2 b

(>>) :: ContT f k2 k2 a -> ContT f k2 k2 b -> ContT f k2 k2 b

return :: a -> ContT f k2 k2 a

fail :: String -> ContT f k2 k2 a

Functor (ContT f i j)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

fmap :: (a -> b) -> ContT f i j a -> ContT f i j b

(<$) :: a -> ContT f i j b -> ContT f i j a

MonadFail m => MonadFail (ContT m k k)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

fail :: String -> ContT m k k a

Applicative (ContT f k2 k2)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

pure :: a -> ContT f k2 k2 a

(<*>) :: ContT f k2 k2 (a -> b) -> ContT f k2 k2 a -> ContT f k2 k2 b

liftA2 :: (a -> b -> c) -> ContT f k2 k2 a -> ContT f k2 k2 b -> ContT f k2 k2 c

(*>) :: ContT f k2 k2 a -> ContT f k2 k2 b -> ContT f k2 k2 b

(<*) :: ContT f k2 k2 a -> ContT f k2 k2 b -> ContT f k2 k2 a

Alternative p => Alternative (ContT p k k)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

empty :: ContT p k k a

(<|>) :: ContT p k k a -> ContT p k k a -> ContT p k k a

some :: ContT p k k a -> ContT p k k [a]

many :: ContT p k k a -> ContT p k k [a]

Alternative p => MonadPlus (ContT p k k)

Defined in Control.Monad.Indexed.Trans.Cont

Methods

mzero :: ContT p k k a

mplus :: ContT p k k a -> ContT p k k a -> ContT p k k a

lift :: Monad m => m a -> ContT m i i a

evalContT :: Applicative p => ContT p a a a -> p a

mapContT :: (f i -> f j) -> ContT f i k a -> ContT f j k a

withContT :: ((b -> f j) -> a -> f k) -> ContT f i k a -> ContT f i j b

callCC :: ((a -> ContT f j k b) -> ContT f i j a) -> ContT f i j a

resetT :: Monad m => ContT m a i i -> ContT m j j a

shiftT :: Monad m => ((a -> m j) -> ContT m i k k) -> ContT m i j a