Interface 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 Parameters

  • P

Hierarchy

Properties

biMap

Properties

Readonly biMap

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

Type declaration

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

    • Type Parameters

      • A

      • B

      Parameters

      • first: ((a) => B)
          • (a): B

          • Parameters

            • a: A

            Returns B

      Returns (<C, D>(second) => ((curr) => Get2<P, B, D>))

        • <C, D>(second): ((curr) => Get2<P, B, D>)

        • Type Parameters

          • C

          • D

          Parameters

          • second: ((c) => D)
              • (c): D

              • Parameters

                • c: C

                Returns D

          Returns ((curr) => Get2<P, B, D>)

            • (curr): Get2<P, B, D>

            • Parameters

              Returns Get2<P, B, D>

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc