Link Search Menu Expand Document

FromThese overview

The FromThese type class represents those data types which support errors and warnings.

Added in v2.11.0


Table of contents


combinators

fromTheseK

Signature

export declare function fromTheseK<F extends URIS4>(
  F: FromThese4<F>
): <A extends ReadonlyArray<unknown>, E, B>(f: (...a: A) => These<E, B>) => <S, R>(...a: A) => Kind4<F, S, R, E, B>
export declare function fromTheseK<F extends URIS3>(
  F: FromThese3<F>
): <A extends ReadonlyArray<unknown>, E, B>(f: (...a: A) => These<E, B>) => <R>(...a: A) => Kind3<F, R, E, B>
export declare function fromTheseK<F extends URIS3, E>(
  F: FromThese3C<F, E>
): <A extends ReadonlyArray<unknown>, B>(f: (...a: A) => These<E, B>) => <R>(...a: A) => Kind3<F, R, E, B>
export declare function fromTheseK<F extends URIS2>(
  F: FromThese2<F>
): <A extends ReadonlyArray<unknown>, E, B>(f: (...a: A) => These<E, B>) => (...a: A) => Kind2<F, E, B>
export declare function fromTheseK<F extends URIS2, E>(
  F: FromThese2C<F, E>
): <A extends ReadonlyArray<unknown>, B>(f: (...a: A) => These<E, B>) => (...a: A) => Kind2<F, E, B>
export declare function fromTheseK<F>(
  F: FromThese<F>
): <A extends ReadonlyArray<unknown>, E, B>(f: (...a: A) => These<E, B>) => (...a: A) => HKT2<F, E, B>

Added in v2.11.0

type classes

FromThese (interface)

Signature

export interface FromThese<F> {
  readonly URI: F
  readonly fromThese: <E, A>(e: These<E, A>) => HKT2<F, E, A>
}

Added in v2.11.0

FromThese2 (interface)

Signature

export interface FromThese2<F extends URIS2> {
  readonly URI: F
  readonly fromThese: NaturalTransformation22<URI, F>
}

Added in v2.11.0

FromThese2C (interface)

Signature

export interface FromThese2C<F extends URIS2, E> {
  readonly URI: F
  readonly _E: E
  readonly fromThese: NaturalTransformation22C<URI, F, E>
}

Added in v2.11.0

FromThese3 (interface)

Signature

export interface FromThese3<F extends URIS3> {
  readonly URI: F
  readonly fromThese: NaturalTransformation23<URI, F>
}

Added in v2.11.0

FromThese3C (interface)

Signature

export interface FromThese3C<F extends URIS3, E> {
  readonly URI: F
  readonly _E: E
  readonly fromThese: NaturalTransformation23C<URI, F, E>
}

Added in v2.11.0

FromThese4 (interface)

Signature

export interface FromThese4<F extends URIS4> {
  readonly URI: F
  readonly fromThese: NaturalTransformation24<URI, F>
}

Added in v2.11.0