Control.Monad.Indexed.Free

Documentation

data IxFree f i j x where

Constructors

Pure :: a -> IxFree f i i a

Free :: f i j (IxFree f j k a) -> IxFree f i k a

Instances

IxFunctor f => IxMonadFree f (IxFree f)

IxFunctor f => IxMonad (IxFree f)

IxFunctor f => IxFunctor (IxFree f)

IxFunctor f => IxApplicative (IxFree f)

IxFunctor f => IxPointed (IxFree f)

IxFunctor f => Monad (IxFree f i i)

IxFunctor f => Functor (IxFree f i i)

IxFunctor f => Applicative (IxFree f i i)

hoistIxFree :: (IxFunctor g, IxMonadFree g m) => (forall i j x. f i j x -> g i j x) -> IxFree f i j a -> m i j a

module Control.Monad.Indexed.Free.Class