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 declare const URI: 'TaskThese'

Added in v2.4.0

bimap

Signature

export declare const bimap: <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 declare const both: <E, A>(e: E, a: A) => TaskThese<E, A>

Added in v2.4.0

fold

Signature

export declare 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 declare const fromIOEither: <E, A>(fa: IOEither<E, A>) => TaskThese<E, A>

Added in v2.4.0

getMonad

Signature

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

Added in v2.4.0

getSemigroup

Signature

export declare function getSemigroup<E, A>(SE: Semigroup<E>, SA: Semigroup<A>): Semigroup<TaskThese<E, A>>

Added in v2.4.0

left

Signature

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

Added in v2.4.0

leftIO

Signature

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

Added in v2.4.0

leftTask

Signature

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

Added in v2.4.0

map

Signature

export declare const map: <A, B>(f: (a: A) => B) => <E>(fa: TaskThese<E, A>) => TaskThese<E, B>

Added in v2.4.0

mapLeft

Signature

export declare const mapLeft: <E, G>(f: (e: E) => G) => <A>(fa: TaskThese<E, A>) => TaskThese<G, A>

Added in v2.4.0

right

Signature

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

Added in v2.4.0

rightIO

Signature

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

Added in v2.4.0

rightTask

Signature

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

Added in v2.4.0

swap

Signature

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

Added in v2.4.0

taskThese

Signature

export declare const taskThese: Functor2<'TaskThese'> & Bifunctor2<'TaskThese'>

Added in v2.4.0

toTuple

Signature

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

Added in v2.4.0