Portability	non-portable
Stability	provisional
Maintainer	Fumiaki Kinsohita <fumiexcel@gmail.com>
Safe Haskell	None

Control.Monad.Indexed.Free

Description

Documentation

data IxFree f i j x whereSource

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 => IxMonad (IxFree f)
IxFunctor f => IxFunctor (IxFree f)
IxFunctor f => IxApplicative (IxFree f)
IxFunctor f => IxPointed (IxFree f)