TaskThese overview

Added in v2.4.0


Table of contents


TaskThese (interface)

Signature

export interface TaskThese<E, A> extends Task<These<E, A>> {}

Added in v2.4.0

URI (type alias)

Signature

export type URI = typeof URI

Added in v2.4.0

URI

Signature

export const URI: "TaskThese" = ...

Added in v2.4.0

bimap

Signature

<E, G, A, B>(f: (e: E) => G, g: (a: A) => B) => (fa: TaskThese<E, A>) => TaskThese<G, B>

Added in v2.4.0

both

Signature

export const both: <E, A>(e: E, a: A) => TaskThese<E, A> = ...

Added in v2.4.0

fold

Signature

export function fold<E, A, B>(
  onLeft: (e: E) => Task<B>,
  onRight: (a: A) => Task<B>,
  onBoth: (e: E, a: A) => Task<B>
): (fa: TaskThese<E, A>) => Task<B> { ... }

Added in v2.4.0

fromIOEither

Signature

export const fromIOEither: <E, A>(fa: IOEither<E, A>) => TaskThese<E, A> = ...

Added in v2.4.0

getMonad

Signature

export function getMonad<E>(S: Semigroup<E>): Monad2C<URI, E> & MonadTask2C<URI, E> { ... }

Added in v2.4.0

getSemigroup

Signature

export function getSemigroup<E, A>(SE: Semigroup<E>, SA: Semigroup<A>): Semigroup<TaskThese<E, A>> { ... }

Added in v2.4.0

left

Signature

export const left: <E = never, A = never>(e: E) => TaskThese<E, A> = ...

Added in v2.4.0

leftIO

Signature

export function leftIO<E = never, A = never>(me: IO<E>): TaskThese<E, A> { ... }

Added in v2.4.0

leftTask

Signature

export const leftTask: <E = never, A = never>(me: Task<E>) => TaskThese<E, A> = ...

Added in v2.4.0

map

Signature

<A, B>(f: (a: A) => B) => <E>(fa: TaskThese<E, A>) => TaskThese<E, B>

Added in v2.4.0

mapLeft

Signature

<E, G>(f: (e: E) => G) => <A>(fa: TaskThese<E, A>) => TaskThese<G, A>

Added in v2.4.0

right

Signature

export const right: <E = never, A = never>(a: A) => TaskThese<E, A> = ...

Added in v2.4.0

rightIO

Signature

export function rightIO<E = never, A = never>(ma: IO<A>): TaskThese<E, A> { ... }

Added in v2.4.0

rightTask

Signature

export const rightTask: <E = never, A = never>(ma: Task<A>) => TaskThese<E, A> = ...

Added in v2.4.0

swap

Signature

export const swap: <E, A>(fa: TaskThese<E, A>) => TaskThese<A, E> = ...

Added in v2.4.0

taskThese

Signature

export const taskThese: Functor2<URI> & Bifunctor2<URI> = ...

Added in v2.4.0

toTuple

Signature

export function toTuple<E, A>(e: E, a: A): (fa: TaskThese<E, A>) => Task<[E, A]> { ... }

Added in v2.4.0