ApplyLaws | funland-laws

Type-class laws for Apply, as defined in the funland sub-project and in the static-land spec.

Apply inherits the laws of Functor and in addition must obey:

Composition: F.ap(F.ap(F.map(f => g => x => f(g(x)), fbc), fab), fa) <-> F.ap(fbc, F.ap(fab, fa))

Type parameters

F

Hierarchy

FunctorLaws<F>
- ApplyLaws
  - ApplicativeLaws
  - ChainLaws

Index

Constructors

constructor

Properties

F

Methods

Constructors

constructor

new ApplyLaws(F: Apply<F>): ApplyLaws

Overrides FunctorLaws.constructor
- Defined in apply.ts:22
Parameters
- F: Apply<F>
Returns ApplyLaws

Properties

F

F: Apply<F>

Methods

applyComposition

applyComposition<A, B, C>(fa: HK<F, A>, fab: HK<F, function>, fbc: HK<F, function>): Equiv<HK<F, C>>

- Defined in apply.ts:27
Type parameters
- A
- B
- C
Parameters
- fa: HK<F, A>
- fab: HK<F, function>
- fbc: HK<F, function>
Returns Equiv<HK<F, C>>

composition

composition<A, B, C>(fa: HK<F, A>, f: function, g: function): Equiv<HK<F, C>>

Inherited from FunctorLaws.composition
- Defined in functor.ts:28
Type parameters
- A
- B
- C
Parameters
- fa: HK<F, A>
- f: function
  - - (a: B): C
    - Parameters
      - a: B
      Returns C
- g: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
Returns Equiv<HK<F, C>>

identity

identity<A>(fa: HK<F, A>): Equiv<HK<F, A>>

Inherited from FunctorLaws.identity
- Defined in functor.ts:24
Type parameters
- A
Parameters
- fa: HK<F, A>
Returns Equiv<HK<F, A>>

Generated using TypeDoc