Skip to content
Effect Days 2026 Get your ticket

Of

4 exports Added in v0.24.0 Source

Do Notation

Do

Added in v0.24.0 Source

Signature

declare function Do<F extends TypeLambda>(F: Of<F>): <R = unknown, O = never, E = never>() => Kind<F, R, O, E, {}>

Other

ofComposition

Added in v0.24.0 Source

Returns a default of composition.

Signature

declare function ofComposition<F extends TypeLambda, G extends TypeLambda>(F: Of<F>, G: Of<G>): <A>(a: A) => Kind<F, unknown, never, never, Kind<G, unknown, never, never, A>>

void

Source

Signature

declare function void<F extends TypeLambda>(F: Of<F>): <R = unknown, O = never, E = never>() => Kind<F, R, O, E, void>

Type Class

Of interface

Added in v0.24.0 Source

Signature

interface Of<F extends TypeLambda> extends TypeClass<F> {
  readonly of: <A>(a: A) => Kind<F, unknown, never, never, A>;
}