Link Search Menu Expand Document
fp-ts-contrib

ReaderTaskEither overview

Added in v0.1.27

Table of contents

combinators

chainFirstReaderIOK

Signature

export declare const chainFirstReaderIOK: <A, R, B>(
  f: (a: A) => RIO.ReaderIO<R, B>
) => <E = never>(ma: RTE.ReaderTaskEither<R, E, A>) => RTE.ReaderTaskEither<R, E, A>

Added in v0.1.27

chainFirstReaderIOKW

Less strict version of chainFirstReaderIOK.

Signature

export declare const chainFirstReaderIOKW: <A, R2, B>(
  f: (a: A) => RIO.ReaderIO<R2, B>
) => <R1, E = never>(ma: RTE.ReaderTaskEither<R1, E, A>) => RTE.ReaderTaskEither<R1 & R2, E, A>

Added in v0.1.27

chainReaderIOK

Signature

export declare const chainReaderIOK: <A, R, B>(
  f: (a: A) => RIO.ReaderIO<R, B>
) => <E = never>(ma: RTE.ReaderTaskEither<R, E, A>) => RTE.ReaderTaskEither<R, E, B>

Added in v0.1.27

chainReaderIOKW

Less strict version of chainReaderIOK.

Signature

export declare const chainReaderIOKW: <A, R2, B>(
  f: (a: A) => RIO.ReaderIO<R2, B>
) => <R1, E = never>(ma: RTE.ReaderTaskEither<R1, E, A>) => RTE.ReaderTaskEither<R1 & R2, E, B>

Added in v0.1.27

fromReaderIOK

Signature

export declare const fromReaderIOK: <A extends readonly unknown[], R, B>(
  f: (...a: A) => RIO.ReaderIO<R, B>
) => <E = never>(...a: A) => RTE.ReaderTaskEither<R, E, B>

Added in v0.1.27

constructors

leftReaderIO

Signature

export declare const leftReaderIO: <R, E = never, A = never>(me: RIO.ReaderIO<R, E>) => RTE.ReaderTaskEither<R, E, A>

Added in v0.1.27

rightReaderIO

Signature

export declare const rightReaderIO: <R, E = never, A = never>(ma: RIO.ReaderIO<R, A>) => RTE.ReaderTaskEither<R, E, A>

Added in v0.1.27