EvalInstances | funfix-types

Type class instances provided by default for Eval.

Hierarchy

EvalInstances

Implements

Monad<Eval<any>>
Comonad<Eval<any>>

Index

Properties

Methods

Properties

followedBy

followedBy: function

Type declaration

- <A, B>(fa: EvalK<A>, fb: EvalK<B>): Eval<B>
- Type parameters
  - A
  - B
  Parameters
  - fa: EvalK<A>
  - fb: EvalK<B>
  Returns Eval<B>

followedByL

followedByL: function

Type declaration

- <A, B>(fa: EvalK<A>, fb: function): Eval<B>
- Type parameters
  - A
  - B
  Parameters
  - fa: EvalK<A>
  - fb: function
    - - (): EvalK<B>
      - Returns EvalK<B>
  Returns Eval<B>

forEffect

forEffect: function

Type declaration

- <A, B>(fa: EvalK<A>, fb: EvalK<B>): Eval<A>
- Type parameters
  - A
  - B
  Parameters
  - fa: EvalK<A>
  - fb: EvalK<B>
  Returns Eval<A>

forEffectL

forEffectL: function

Type declaration

- <A, B>(fa: EvalK<A>, fb: function): Eval<A>
- Type parameters
  - A
  - B
  Parameters
  - fa: EvalK<A>
  - fb: function
    - - (): EvalK<B>
      - Returns EvalK<B>
  Returns Eval<A>

map2

map2: function

Type declaration

- <A, B, Z>(fa: EvalK<A>, fb: EvalK<B>, f: function): Eval<Z>
- Type parameters
  - A
  - B
  - Z
  Parameters
  - fa: EvalK<A>
  - fb: EvalK<B>
  - f: function
    - - (a: A, b: B): Z
      - Parameters
        
        a: A
        
        b: B
        
        Returns Z
  Returns Eval<Z>

product

product: function

Type declaration

- <A, B>(fa: EvalK<A>, fb: EvalK<B>): EvalK<[A, B]>
- Type parameters
  - A
  - B
  Parameters
  - fa: EvalK<A>
  - fb: EvalK<B>
  Returns EvalK<[A, B]>

Static global

global: EvalInstances = new EvalInstances()

Methods

ap

ap<A, B>(fa: EvalK<A>, ff: EvalK<function>): Eval<B>

- Defined in instances.ts:313
Type parameters
- A
- B
Parameters
- fa: EvalK<A>
- ff: EvalK<function>
Returns Eval<B>

coflatMap

coflatMap<A, B>(fa: EvalK<A>, ff: function): Eval<B>

- Defined in instances.ts:327
Type parameters
- A
- B
Parameters
- fa: EvalK<A>
- ff: function
  - - (a: EvalK<A>): B
    - Parameters
      - a: EvalK<A>
      Returns B
Returns Eval<B>

coflatten

coflatten<A>(fa: EvalK<A>): Eval<Eval<A>>

- Defined in instances.ts:331
Type parameters
- A
Parameters
- fa: EvalK<A>
Returns Eval<Eval<A>>

extract

extract<A>(fa: EvalK<A>): A

- Defined in instances.ts:335
Type parameters
- A
Parameters
- fa: EvalK<A>
Returns A

flatMap

flatMap<A, B>(fa: EvalK<A>, f: function): Eval<B>

- Defined in instances.ts:305
Type parameters
- A
- B
Parameters
- fa: EvalK<A>
- f: function
  - - (a: A): EvalK<B>
    - Parameters
      - a: A
      Returns EvalK<B>
Returns Eval<B>

map

map<A, B>(fa: EvalK<A>, f: function): Eval<B>

- Defined in instances.ts:319
Type parameters
- A
- B
Parameters
- fa: EvalK<A>
- f: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
Returns Eval<B>

pure

pure<A>(a: A): Eval<A>

- Defined in instances.ts:301
Type parameters
- A
Parameters
- a: A
Returns Eval<A>

tailRecM

tailRecM<A, B>(a: A, f: function): Eval<B>

- Defined in instances.ts:309
Type parameters
- A
- B
Parameters
- a: A
- f: function
  - - (a: A): EvalK<Either<A, B>>
    - Parameters
      - a: A
      Returns EvalK<Either<A, B>>
Returns Eval<B>

unit

unit(): Eval<void>

- Defined in instances.ts:323
Returns Eval<void>

Generated using TypeDoc