ChainLaws | funland-laws

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

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

Associativity: F.chain(g, F.chain(f, fa)) <-> F.chain(x => F.chain(g, f(x)), fa)
Apply's ap can be derived: (ff, fa) => F.chain(f => F.map(f, fa), ff)

Type parameters

F

Hierarchy

ApplyLaws<F>
- ChainLaws
  - ChainRecLaws

Index

Constructors

constructor

Properties

F

Methods

Constructors

constructor

new ChainLaws(F: Chain<F>): ChainLaws

Overrides ApplyLaws.constructor
- Defined in chain.ts:24
Parameters
- F: Chain<F>
Returns ChainLaws

Properties

F

F: Chain<F>

Methods

applyComposition

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

Inherited from ApplyLaws.applyComposition
- 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>>

chainAssociativity

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

- Defined in chain.ts:29
Type parameters
- A
- B
- C
Parameters
- fa: HK<F, A>
- f: function
  - - (a: A): HK<F, B>
    - Parameters
      - a: A
      Returns HK<F, B>
- g: function
  - - (b: B): HK<F, C>
    - Parameters
      - b: B
      Returns HK<F, C>
Returns Equiv<HK<F, C>>

chainConsistentApply

chainConsistentApply<A, B>(ff: HK<F, function>, fa: HK<F, A>): Equiv<HK<F, B>>

- Defined in chain.ts:37
Type parameters
- A
- B
Parameters
- ff: HK<F, function>
- fa: HK<F, A>
Returns Equiv<HK<F, B>>

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