Contents
interface MonoidK <M> Source #
where
M : MonoidK<M>
Equivalent of monoids for working on higher-kinded types
Parameters
| type | M | Higher kind |
Methods
method K<M, A> combine <M, A> (K<M, A> x, K<M, A> y) Source #
where
M : MonoidK<M>
Combine two structures
method K<M, A> combine <M, A> (K<M, A> mx, K<M, A> my, K<M, A> mz, params K<M, A>[] xs) Source #
where
M : MonoidK<M>
Fold a list using the monoid.