@mikuroxina/mini-fn
    Preparing search index...

    Type Alias Tensor<Cat, T, I>

    Tensor: TypeClass.Associative.Associative<Cat, T> & {
        leftUnit: <A>() => TypeClass.Iso.Iso<Cat, Get2<T, I, A>, A>;
        rightUnit: <A>() => TypeClass.Iso.Iso<Cat, Get2<T, A, I>, A>;
    }

    All instance of Tensor must satisfy:

    • forward(leftUnit())(a.compose(i)) == a,
    • backward(leftUnit())(a) == a.compose(i),
    • forward(rightUnit())(i.compose(a)) == a,
    • backward(rightUnit())(a) == i.compose(a).

    Type Parameters

    • Cat
    • T
    • I

    Settings

    Member Visibility