Interface Strong<S>

Type Parameters

S

Hierarchy

Profunctor<S>
- Strong
  - Representable

Index

Properties

diMap first second

Properties

`Readonly` diMap

diMap: (<A, B>(f) => (<C, D>(g) => ((m) => Instance<Apply2<S, D, A>>)))

Type declaration

- <A, B>(f): (<C, D>(g) => ((m) => Instance<Apply2<S, D, A>>))
- Type Parameters
  - A
  - B
  Parameters
  - f: ((a) => B)
    - (a): B
      Parameters
      a: A
      Returns B
  Returns (<C, D>(g) => ((m) => Instance<Apply2<S, D, A>>))
  - - <C, D>(g): ((m) => Instance<Apply2<S, D, A>>)
    - Type Parameters
      C
      D
      Parameters
      g: ((c) => D)
      (c): D
      Parameters
      c: C
      Returns D
      Returns ((m) => Instance<Apply2<S, D, A>>)
      - (m): Instance<Apply2<S, D, A>>
        Parameters
        m: Instance<Apply2<S, C, B>>
        Returns Instance<Apply2<S, D, A>>

`Readonly` first

first: (<A, B, C>(m) => Get2<S, [A, C], [B, C]>)

Type declaration

- <A, B, C>(m): Get2<S, [A, C], [B, C]>
- Type Parameters
  - A
  - B
  - C
  Parameters
  - m: Get2<S, A, B>
  Returns Get2<S, [A, C], [B, C]>

`Readonly` second

second: (<A, B, C>(m) => Get2<S, [C, A], [C, B]>)

Type declaration

- <A, B, C>(m): Get2<S, [C, A], [C, B]>
- Type Parameters
  - A
  - B
  - C
  Parameters
  - m: Get2<S, A, B>
  Returns Get2<S, [C, A], [C, B]>

Generated using TypeDoc