ApplicativeLaws | funland-laws

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

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

Identity: A.ap(A.of(x => x), v) <-> v
Homomorphism: A.ap(A.of(f), A.of(x)) <-> A.of(f(x))
Interchange: A.ap(u, A.of(y)) <-> A.ap(A.of(f => f(y)), u)
Functor's map can be derived: A.map(u, f) <-> A.ap(A.of(f), u)

Type parameters

F

Hierarchy

ApplyLaws<F>
- ApplicativeLaws
  - MonadLaws

Index

Constructors

constructor

Properties

F

Methods

Constructors

constructor

new ApplicativeLaws(F: Applicative<F>): ApplicativeLaws

Overrides ApplyLaws.constructor
- Defined in applicative.ts:24
Parameters
- F: Applicative<F>
Returns ApplicativeLaws

Properties

F

F: Applicative<F>

Methods

applicativeHomomorphism

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

- Defined in applicative.ts:37
Type parameters
- A
- B
Parameters
- a: A
- f: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
Returns Equiv<HK<F, B>>

applicativeIdentity

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

- Defined in applicative.ts:29
Type parameters
- A
Parameters
- fa: HK<F, A>
Returns Equiv<HK<F, A>>

applicativeInterchange

applicativeInterchange<A, B>(a: A, ff: HK<F, function>): Equiv<HK<F, B>>

- Defined in applicative.ts:45
Type parameters
- A
- B
Parameters
- a: A
- ff: HK<F, function>
Returns Equiv<HK<F, B>>

applicativeMap

applicativeMap<A, B>(fa: HK<F, A>, f: function): Equiv<HK<F, B>>

- Defined in applicative.ts:53
Type parameters
- A
- B
Parameters
- fa: HK<F, A>
- f: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
Returns Equiv<HK<F, B>>

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>>

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