Function unCoyoneda

unCoyoneda<F, A, R>(runner): ((coy) => R)
Unwraps a Coyoneda with running runner.
Type Parameters
- F
- A
- R
Parameters
- runner: (<X>(map) => ((image) => R))
  An extracting function.
  - - <X>(map): ((image) => R)
    - Type Parameters
      X
      Parameters
      map: ((shape) => A)
      (shape): A
      Parameters
      shape: X
      Returns A
      Returns ((image) => R)
      (image): R
      Parameters
      image: Get1<F, X>
      Returns R
Returns ((coy) => R)
The result of runner.
- - (coy): R
  - Parameters
    - coy: Coyoneda<F, A>
    Returns R
- Defined in src/coyoneda.ts:84

Generated using TypeDoc