| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FP.Free
Documentation
data FreeMonoid a Source
Constructors
| MonoidElem a | |
| Null | |
| (FreeMonoid a) :++: (FreeMonoid a) infixr 6 |
Instances
data FreeFunctor f a Source
Constructors
| FunctorElem a | |
| Apply (f (FreeFunctor f a)) |
Instances
| Functor f => Functor (FreeFunctor f) | |
| Unit (FreeFunctor f) |
data FreeMonoidFunctor f a Source
Constructors
| MonoidFunctorElem a | |
| MFNull | |
| (FreeMonoidFunctor f a) :+++: (FreeMonoidFunctor f a) infixr 6 | |
| MFApply (f (FreeMonoidFunctor f a)) |
Instances
| MonadWriter POut DocM | |
| MonadWriterE POut DocM | |
| MonadWriterI POut DocM | |
| Functor f => Functor (FreeMonoidFunctor f) | |
| Unit (FreeMonoidFunctor f) | |
| Monoid (FreeMonoidFunctor f a) |