ChainRec | funland

The ChainRec is a type-class that matches the Chain algebra and in addition specifies chainRec.

Based on Phil Freeman's Stack Safety for Free.

Equivalent with the ChainRec type-class in the static-land specification.

Type parameters

F

Hierarchy

Chain<F>
- ChainRec
  - Monad

Index

Methods

Methods

ap

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

Inherited from Apply.ap
- Defined in apply.ts:30
Type parameters
- A
- B
Parameters
- ff: HK<F, function>
- fa: HK<F, A>
Returns HK<F, B>

chain

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

Inherited from Chain.chain
- Defined in chain.ts:38
Type parameters
- A
- B
Parameters
- f: function
  - - (a: A): HK<F, B>
    - Parameters
      - a: A
      Returns HK<F, B>
- fa: HK<F, A>
Returns HK<F, B>

chainRec

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

- Defined in chain-rec.ts:24
Type parameters
- A
- B
Parameters
- f: function
  - - <C>(next: function, done: function, a: A): HK<F, C>
    - Type parameters
      - C
      Parameters
      - next: function
        
        (a: A): C
        
        Parameters
        
        a: A
        
        Returns C
      - done: function
        
        (b: B): C
        
        Parameters
        
        b: B
        
        Returns C
      - a: A
      Returns HK<F, C>
- a: A
Returns HK<F, B>

map

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

Inherited from Functor.map
- Defined in functor.ts:28
Type parameters
- A
- B
Parameters
- f: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
- fa: HK<F, A>
Returns HK<F, B>

Generated using TypeDoc