Type Alias GenericSemiGroupal<Cat, T1, T2, F>

All instance of GenericSemiGroupal must satisfy:

For all x; combine(genericRightMap(combine)(backward(assoc)(x))) == map(backward(assoc))(combine(genericLeftMap(combine)(x))).

type GenericSemiGroupal<Cat, T1, T2, F> = {
    assoc1: TypeClass.Associative.Associative<Cat, T1>;
    assoc2: TypeClass.Associative.Associative<Cat, T2>;
    combine: <X, Y>() => Get2<
        Cat,
        Get2<T2, Get1<F, X>, Get1<F, Y>>,
        Get1<F, Get2<T1, X, Y>>,
    >;
}

Type Parameters

Cat
T1
T2
F

Index

Properties

assoc1 assoc2 combine

Properties

`Readonly`assoc1

assoc1: TypeClass.Associative.Associative<Cat, T1>

`Readonly`assoc2

assoc2: TypeClass.Associative.Associative<Cat, T2>

`Readonly`combine

combine: <X, Y>() => Get2<
    Cat,
    Get2<T2, Get1<F, X>, Get1<F, Y>>,
    Get1<F, Get2<T1, X, Y>>,
>