IOInstances | funfix-types

Type class instances provided by default for IO.

Hierarchy

IOInstances

Implements

MonadError<IO<any>, Throwable>
CoflatMap<IO<any>>

Index

Properties

global

Methods

Properties

Static global

global: IOInstances = new IOInstances()

Methods

ap

ap<A, B>(fa: IOK<A>, ff: IOK<function>): IO<B>

- Defined in instances.ts:460
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- ff: IOK<function>
Returns IO<B>

attempt

attempt<A>(fa: IOK<A>): IO<Either<Throwable, A>>

- Defined in instances.ts:478
Type parameters
- A
Parameters
- fa: IOK<A>
Returns IO<Either<Throwable, A>>

coflatMap

coflatMap<A, B>(fa: IOK<A>, ff: function): IO<B>

- Defined in instances.ts:514
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- ff: function
  - - (a: IOK<A>): B
    - Parameters
      - a: IOK<A>
      Returns B
Returns IO<B>

coflatten

coflatten<A>(fa: IOK<A>): IO<IO<A>>

- Defined in instances.ts:518
Type parameters
- A
Parameters
- fa: IOK<A>
Returns IO<IO<A>>

flatMap

flatMap<A, B>(fa: IOK<A>, f: function): IO<B>

- Defined in instances.ts:452
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- f: function
  - - (a: A): IOK<B>
    - Parameters
      - a: A
      Returns IOK<B>
Returns IO<B>

followedBy

followedBy<A, B>(fa: IOK<A>, fb: IOK<B>): IO<B>

- Defined in instances.ts:494
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- fb: IOK<B>
Returns IO<B>

followedByL

followedByL<A, B>(fa: IOK<A>, fb: function): IO<B>

- Defined in instances.ts:498
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- fb: function
  - - (): IOK<B>
    - Returns IOK<B>
Returns IO<B>

forEffect

forEffect<A, B>(fa: IOK<A>, fb: IOK<B>): IO<A>

- Defined in instances.ts:502
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- fb: IOK<B>
Returns IO<A>

forEffectL

forEffectL<A, B>(fa: IOK<A>, fb: function): IO<A>

- Defined in instances.ts:506
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- fb: function
  - - (): IOK<B>
    - Returns IOK<B>
Returns IO<A>

map

map<A, B>(fa: IOK<A>, f: function): IO<B>

- Defined in instances.ts:466
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- f: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
Returns IO<B>

map2

map2<A, B, Z>(fa: IOK<A>, fb: IOK<B>, f: function): IO<Z>

- Defined in instances.ts:490
Type parameters
- A
- B
- Z
Parameters
- fa: IOK<A>
- fb: IOK<B>
- f: function
  - - (a: A, b: B): Z
    - Parameters
      - a: A
      - b: B
      Returns Z
Returns IO<Z>

product

product<A, B>(fa: IOK<A>, fb: IOK<B>): IO<[A, B]>

- Defined in instances.ts:510
Type parameters
- A
- B
Parameters
- fa: IOK<A>
- fb: IOK<B>
Returns IO<[A, B]>

pure

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

- Defined in instances.ts:448
Type parameters
- A
Parameters
- a: A
Returns IO<A>

raise

raise<A>(e: Throwable): IO<A>

- Defined in instances.ts:474
Type parameters
- A
Parameters
- e: Throwable
Returns IO<A>

recover

recover<A>(fa: IOK<A>, f: function): IO<A>

- Defined in instances.ts:486
Type parameters
- A
Parameters
- fa: IOK<A>
- f: function
  - - (e: Throwable): A
    - Parameters
      - e: Throwable
      Returns A
Returns IO<A>

recoverWith

recoverWith<A>(fa: IOK<A>, f: function): IO<A>

- Defined in instances.ts:482
Type parameters
- A
Parameters
- fa: IOK<A>
- f: function
  - - (e: Throwable): IOK<A>
    - Parameters
      - e: Throwable
      Returns IOK<A>
Returns IO<A>

tailRecM

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

- Defined in instances.ts:456
Type parameters
- A
- B
Parameters
- a: A
- f: function
  - - (a: A): IOK<Either<A, B>>
    - Parameters
      - a: A
      Returns IOK<Either<A, B>>
Returns IO<B>

unit

unit(): IO<void>

- Defined in instances.ts:470
Returns IO<void>

Generated using TypeDoc