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

    Type Alias Bifunctor<P>

    A structure which lifts both type parameters on P.

    All instances of bifunctor f mist satisfy the following laws:

    • Identity: f.biMap(id)(id) equals to id,
    • Composition: For all f, g, h and i; f.biMap(compose(f)(g))(compose(h)(i)) equals to compose(f.biMap(f)(h))(f.biMap(g)(i)).
    type Bifunctor<P> = {
        biMap: <A, B>(
            first: (a: A) => B,
        ) => <C, D>(second: (c: C) => D) => (curr: Get2<P, A, C>) => Get2<P, B, D>;
    }

    Type Parameters

    • P
    Index

    Properties

    biMap

    Properties

    biMap: <A, B>(
        first: (a: A) => B,
    ) => <C, D>(second: (c: C) => D) => (curr: Get2<P, A, C>) => Get2<P, B, D>

    Settings

    Member Visibility

    On This Page

    Properties