Constructor and Description |
---|
Plus() |
Modifier and Type | Method and Description |
---|---|
Monoid<Higher<W,T>> |
monoid() |
MonoidK<W,T> |
monoidK() |
Active<W,T> |
plus(Higher<W,T> a) |
Active<W,T> |
plusA(Active<W,T> ac) |
Active<W,T> |
sum(ListX<Higher<W,T>> list) |
Active<W,T> |
sumA(ListX<Active<W,T>> list) |
Active<W,T> |
zero() |