ChainRecLaws | funland-laws

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

ChainRec inherits the laws of Chain and in addition must have:

Equivalence with chain
Constant memory usage

Type parameters

F

Hierarchy

ChainLaws<F>
- ChainRecLaws

Implemented by

MonadLaws

Index

Constructors

constructor

Properties

F

Methods

Constructors

constructor

new ChainRecLaws(F: ChainRec<F>): ChainRecLaws

Overrides ChainLaws.constructor
- Defined in chain-rec.ts:22
Parameters
- F: ChainRec<F>
Returns ChainRecLaws

Properties

F

F: ChainRec<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>>

Inherited from ChainLaws.chainAssociativity
- 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>>

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

chainRecConsistency

chainRecConsistency<A>(a: A, f: function): Equiv<HK<F, A>>

- Defined in chain-rec.ts:28
Type parameters
- A
Parameters
- a: A
- f: function
  - - (a: A): HK<F, A>
    - Parameters
      - a: A
      Returns HK<F, A>
Returns Equiv<HK<F, A>>

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