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