Options
All
  • Public
  • Public/Protected
  • All
Menu

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:

  1. Equivalence with chain
  2. Constant memory usage

Type parameters

  • F

Hierarchy

Implemented by

Index

Constructors

constructor

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

chainAssociativity

  • chainAssociativity<A, B, C>(fa: HK<F, A>, f: function, g: function): Equiv<HK<F, C>>
  • 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>>

chainRecConsistency

  • chainRecConsistency<A>(a: A, f: function): Equiv<HK<F, A>>
  • 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>>
  • 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>>

Legend

  • Module
  • Object literal
  • Variable
  • Function
  • Function with type parameter
  • Index signature
  • Type alias
  • Enumeration
  • Enumeration member
  • Property
  • Method
  • Interface
  • Interface with type parameter
  • Constructor
  • Property
  • Method
  • Index signature
  • Class
  • Class with type parameter
  • Constructor
  • Property
  • Method
  • Accessor
  • Index signature
  • Inherited constructor
  • Inherited property
  • Inherited method
  • Inherited accessor
  • Protected property
  • Protected method
  • Protected accessor
  • Private property
  • Private method
  • Private accessor
  • Static property
  • Static method

Generated using TypeDoc