Interface GenericSemiGroupal<Cat, T1, T2, F>
Properties
Readonly assoc1
Readonly assoc2
Readonly combine
combine: (<X, Y>() => Get2<Cat, Get2<T2, Get1<F, X>, Get1<F, Y>>, Get1<F, Get2<T1, X, Y>>>) Type declaration
- <X, Y>(): Get2<Cat, Get2<T2, Get1<F, X>, Get1<F, Y>>, Get1<F, Get2<T1, X, Y>>>
Returns Get2<Cat, Get2<T2, Get1<F, X>, Get1<F, Y>>, Get1<F, Get2<T1, X, Y>>>
All instance of
GenericSemiGroupalmust satisfy:x;combine(genericRightMap(combine)(backward(assoc)(x))) == map(backward(assoc))(combine(genericLeftMap(combine)(x))).