| Safe Haskell | None |
|---|
Control.MonadPlus.Indexed.Free
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 | |
| Plus :: [IxFree f i j a] -> IxFree f i j a |
Instances
| 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) |