TaskThese overview

bisequence and bitraverse for TaskThese.

Note: TaskThese has neither Bifoldable nor Bitraversable instances due to the nature of task

Added in v1.0.0

---

Table of contents

• Instance Methods
  • bisequence
  • bitraverse

---

Instance Methods

bisequence

Signature

export declare function bisequence<M extends URIS4>(
  M: MonadTask4<M>
): <S, R, E, A, B>(
  fga: TT.TaskThese<Kind4<M, S, R, E, A>, Kind4<M, S, R, E, B>>
) => Kind4<M, S, R, E, TT.TaskThese<A, B>>
export declare function bisequence<M extends URIS3>(
  M: MonadTask3<M>
): <R, E, A, B>(fga: TT.TaskThese<Kind3<M, R, E, A>, Kind3<M, R, E, B>>) => Kind3<M, R, E, TT.TaskThese<A, B>>
export declare function bisequence<M extends URIS3, E>(
  M: MonadTask3C<M, E>
): <R, A, B>(fga: TT.TaskThese<Kind3<M, R, E, A>, Kind3<M, R, E, B>>) => Kind3<M, R, E, TT.TaskThese<A, B>>
export declare function bisequence<M extends URIS2>(
  M: MonadTask2<M>
): <E, A, B>(fga: TT.TaskThese<Kind2<M, E, A>, Kind2<M, E, B>>) => Kind2<M, E, TT.TaskThese<A, B>>
export declare function bisequence<M extends URIS2, E>(
  M: MonadTask2C<M, E>
): <A, B>(fga: TT.TaskThese<Kind2<M, E, A>, Kind2<M, E, B>>) => Kind2<M, E, TT.TaskThese<A, B>>
export declare function bisequence<M extends URIS>(
  M: MonadTask1<M>
): <A, B>(fga: TT.TaskThese<Kind<M, A>, Kind<M, B>>) => Kind<M, TT.TaskThese<A, B>>

Added in v1.0.0

bitraverse

Signature

export declare function bitraverse<F extends URIS4>(
  M: MonadTask4<F>
): <S, R, E, A, B, C, D>(
  f: (a: A) => Kind4<F, S, R, E, C>,
  g: (b: B) => Kind4<F, S, R, E, D>
) => (fa: TT.TaskThese<A, B>) => Kind4<F, S, R, E, TT.TaskThese<C, D>>
export declare function bitraverse<F extends URIS3>(
  M: MonadTask3<F>
): <R, E, A, B, C, D>(
  f: (a: A) => Kind3<F, R, E, C>,
  g: (b: B) => Kind3<F, R, E, D>
) => (fa: TT.TaskThese<A, B>) => Kind3<F, R, E, TT.TaskThese<C, D>>
export declare function bitraverse<F extends URIS3, E>(
  M: MonadTask3C<F, E>
): <R, A, B, C, D>(
  f: (a: A) => Kind3<F, R, E, C>,
  g: (b: B) => Kind3<F, R, E, D>
) => (fa: TT.TaskThese<A, B>) => Kind3<F, R, E, TT.TaskThese<C, D>>
export declare function bitraverse<F extends URIS2>(
  M: MonadTask2<F>
): <E, A, B, C, D>(
  f: (a: A) => Kind2<F, E, C>,
  g: (b: B) => Kind2<F, E, D>
) => (fa: TT.TaskThese<A, B>) => Kind2<F, E, TT.TaskThese<C, D>>
export declare function bitraverse<F extends URIS2, E>(
  M: MonadTask2C<F, E>
): <A, B, C, D>(
  f: (a: A) => Kind2<F, E, C>,
  g: (b: B) => Kind2<F, E, D>
) => (fa: TT.TaskThese<A, B>) => Kind2<F, E, TT.TaskThese<C, D>>
export declare function bitraverse<F extends URIS>(
  M: MonadTask1<F>
): <A, B, C, D>(
  f: (a: A) => Kind<F, C>,
  g: (b: B) => Kind<F, D>
) => (fa: TT.TaskThese<A, B>) => Kind<F, TT.TaskThese<C, D>>

Added in v1.0.0