Control.Monad.Indexed.Free.Class

Documentation

class IxMonad m => IxMonadFree f m | m -> f where

Methods

iwrap :: f i j (m j k a) -> m i k a

Instances

IxFunctor f => IxMonadFree f (IxFree f)

IxFunctor f => IxMonadFree f (IxFree f)

(Monad m, IxFunctor f) => IxMonadFree f (IxFreeT f m)

iliftFree :: (IxFunctor f, IxMonadFree f m) => f i j a -> m i j a