Skip to main content Link Search Menu Expand Document (external link)

Of overview

Added in v1.0.0


Table of contents


do notation

Do

Signature

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

Added in v1.0.0

type class

Of (interface)

Signature

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

Added in v1.0.0

utils

ofComposition

Returns a default of composition.

Signature

export declare const 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>>

Added in v1.0.0

unit

Signature

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

Added in v1.0.0