Safe Haskell | None |
---|
Documentation
data IxFree f i j x whereSource
Pure :: a -> IxFree f i i a | |
Free :: f i j (IxFree f j k a) -> IxFree f i k a | |
Plus :: [IxFree f i j a] -> IxFree f i j a |
IxFunctor f => IxMonadFree f (IxFree f) | |
IxFunctor f => IxMonad (IxFree f) | |
IxFunctor f => IxMonadZero (IxFree f) | |
IxFunctor f => IxMonadPlus (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) |