Interface GenericBifunctor<C1, C2, C3, T>

Type Parameters

C1
C2
C3
T

Hierarchy

GenericBifunctor
- Associative

Index

Properties

cat1 cat2 cat3 genericBiMap

Properties

`Readonly` cat1

cat1: Category<C1>

`Readonly` cat2

cat2: Category<C2>

`Readonly` cat3

cat3: Category<C3>

`Readonly` genericBiMap

genericBiMap: (<A, B>(first) => (<C, D>(second) => Get2<C3, Get2<T, A, C>, Get2<T, B, D>>))

Type declaration

- <A, B>(first): (<C, D>(second) => Get2<C3, Get2<T, A, C>, Get2<T, B, D>>)
- Type Parameters
  - A
  - B
  Parameters
  - first: Get2<C1, A, B>
  Returns (<C, D>(second) => Get2<C3, Get2<T, A, C>, Get2<T, B, D>>)
  - - <C, D>(second): Get2<C3, Get2<T, A, C>, Get2<T, B, D>>
    - Type Parameters
      C
      D
      Parameters
      second: Get2<C2, C, D>
      Returns Get2<C3, Get2<T, A, C>, Get2<T, B, D>>

Generated using TypeDoc