Documentation

IxMonad (Indexed Monad) carries type-level state through a computation. For an IxMonad m, m px py a represents a computation with precondition px, postcondition py, and result value a. px and py can be thought of as type-level propositions that hold at the beginning and end of the computation.

Methods

return :: a -> m x x aSource

(>>=) :: m x y a -> (a -> m y z b) -> m x z bSource

(>>) :: m x y a -> m y z b -> m x z bSource

fail :: String -> m x y aSource

Instances

IxMonad Session
IxMonad (IxCont s)
Monad m => IxMonad (WM m)

newtype IxCont s x y a Source

IxCont is a continuation monad that supports changing of the answer type during the computation. The result is a functor s x, where the caller of the computation controls the type held inside the functor.

Constructors

IxCont
Fields runIxCont :: forall b. (a -> s y b) -> s x b

Instances

IxMonad (IxCont s)

mapCont :: (forall a. s x a -> s y a) -> IxCont s x z a -> IxCont s y z aSource

mapCont changes the answer type of an IxCont, given a function that maps any (s x) to a (s y).