Interface Distributive<G>

The dual of traversable functor, allows zipping a nested structure efficiently.

All instances of the distributive functor g must satisfy the following laws:

Identity: For all functor f and data x; distribute(f)(x) equals to distribute(f)(map(id)(x)),
Reversibility: For all distributive functor f and data x; g.distribute(f)(f.distribute(g)(x)) equals to x.

Type Parameters

G

Hierarchy

Functor<G>
- Distributive
  - Settable

Index

Properties

Properties

`Readonly` distribute

distribute: (<F>(functor) => (<A>(fga) => Get1<G, Get1<F, A>>))

Type declaration

- <F>(functor): (<A>(fga) => Get1<G, Get1<F, A>>)
- The dual of sequenceA of traversable functor.
  Type Parameters
  - F
  Parameters
  - functor: Functor<F>
    The Functor instance for F.
  Returns (<A>(fga) => Get1<G, Get1<F, A>>)
  The distributed type onto G<F<_>>.
  - - <A>(fga): Get1<G, Get1<F, A>>
    - Type Parameters
      A
      Parameters
      fga: Get1<F, Get1<G, A>>
      Returns Get1<G, Get1<F, A>>

`Readonly` map

map: (<T, U>(fn) => ((t) => Instance<Apply1<G, U>>))

Type declaration

- <T, U>(fn): ((t) => Instance<Apply1<G, U>>)
- Maps the function fn onto F structure.
  Type Parameters
  - T
  - U
  Parameters
  - fn: ((t) => U)
    The function to be mapped.
    - (t): U
      Parameters
      t: T
      Returns U
  Returns ((t) => Instance<Apply1<G, U>>)
  The mapped function.
  - - (t): Instance<Apply1<G, U>>
    - Parameters
      t: Instance<Apply1<G, T>>
      Returns Instance<Apply1<G, U>>

Generated using TypeDoc