Table of contents


StateReaderTaskEither (interface)

Signature

export interface StateReaderTaskEither<S, R, E, A> {
  (s: S): ReaderTaskEither<R, E, [A, S]>
}

Added in v2.0.0

URI (type alias)

Signature

export type URI = typeof URI

Added in v2.0.0

URI (constant)

Signature

export const URI: "StateReaderTaskEither" = ...

Added in v2.0.0

evalState (constant)

Run a computation in the StateReaderTaskEither monad, discarding the final state

Signature

export const : <S, R, E, A>(ma: StateReaderTaskEither<S, R, E, A>, s: S) => RTE.ReaderTaskEither<R, E, A> = ...

Added in v2.0.0

execState (constant)

Run a computation in the StateReaderTaskEither monad discarding the result

Signature

export const : <S, R, E, A>(ma: StateReaderTaskEither<S, R, E, A>, s: S) => RTE.ReaderTaskEither<R, E, S> = ...

Added in v2.0.0

fromReaderTaskEither (constant)

Signature

export const : <S, R, E, A>(ma: RTE.ReaderTaskEither<R, E, A>) => StateReaderTaskEither<S, R, E, A> = ...

Added in v2.0.0

get (constant)

Get the current state

Signature

export const get: <S, R, E = ...

Added in v2.0.0

gets (constant)

Get a value which depends on the current state

Signature

export const gets: <S, R, E = ...

Added in v2.0.0

modify (constant)

Modify the state by applying a function to the current state

Signature

export const modify: <S, R, E = ...

Added in v2.0.0

put (constant)

Set the state

Signature

export const put: <S, R, E = ...

Added in v2.0.0

right (constant)

Signature

export const right: <S, R, E = ...

Added in v2.0.0

rightState (constant)

Signature

export const rightState: <S, R, E = ...

Added in v2.0.0

stateReaderTaskEither (constant)

Signature

export const stateReaderTaskEither: Monad4<URI> & MonadThrow4<URI> = ...

Added in v2.0.0

stateReaderTaskEitherSeq (constant)

Like stateReaderTaskEither but ap is sequential

Signature

export const stateReaderTaskEitherSeq: typeof stateReaderTaskEither = ...

Added in v2.0.0

fromIOEither (function)

Signature

export function fromIOEither<S, R, E, A>(ma: IOEither<E, A>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

fromReaderEither (function)

Signature

export function fromReaderEither<S, R, E, A>(ma: ReaderEither<R, E, A>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

fromTaskEither (function)

Signature

export function fromTaskEither<S, R, E, A>(ma: TaskEither<E, A>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

left (function)

Signature

export function left<S, R, E = never, A = never>(e: E): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

leftIO (function)

Signature

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

Added in v2.0.0

leftReader (function)

Signature

export function leftReader<S, R, E = never, A = never>(me: Reader<R, E>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

leftState (function)

Signature

export function leftState<S, R, E = never, A = never>(me: State<S, E>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

leftTask (function)

Signature

export function leftTask<S, R, E = never, A = never>(me: Task<E>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

rightIO (function)

Signature

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

Added in v2.0.0

rightReader (function)

Signature

export function rightReader<S, R, E = never, A = never>(ma: Reader<R, A>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

rightTask (function)

Signature

export function rightTask<S, R, E = never, A = never>(ma: Task<A>): StateReaderTaskEither<S, R, E, A> { ... }

Added in v2.0.0

run (function)

Signature

export function run<S, R, E, A>(ma: StateReaderTaskEither<S, R, E, A>, s: S, r: R): Promise<Either<E, [A, S]>> { ... }

Added in v2.0.0

ap (export)

Signature

<S, R, E, A>(fa: StateReaderTaskEither<S, R, E, A>) => <B>(fab: StateReaderTaskEither<S, R, E, (a: A) => B>) => StateReaderTaskEither<S, R, E, B>

Added in v2.0.0

apFirst (export)

Signature

<S, R, E, B>(fb: StateReaderTaskEither<S, R, E, B>) => <A>(fa: StateReaderTaskEither<S, R, E, A>) => StateReaderTaskEither<S, R, E, A>

Added in v2.0.0

apSecond (export)

Signature

<S, R, E, B>(fb: StateReaderTaskEither<S, R, E, B>) => <A>(fa: StateReaderTaskEither<S, R, E, A>) => StateReaderTaskEither<S, R, E, B>

Added in v2.0.0

chain (export)

Signature

<S, R, E, A, B>(f: (a: A) => StateReaderTaskEither<S, R, E, B>) => (ma: StateReaderTaskEither<S, R, E, A>) => StateReaderTaskEither<S, R, E, B>

Added in v2.0.0

chainFirst (export)

Signature

<S, R, E, A, B>(f: (a: A) => StateReaderTaskEither<S, R, E, B>) => (ma: StateReaderTaskEither<S, R, E, A>) => StateReaderTaskEither<S, R, E, A>

Added in v2.0.0

flatten (export)

Signature

<S, R, E, A>(mma: StateReaderTaskEither<S, R, E, StateReaderTaskEither<S, R, E, A>>) => StateReaderTaskEither<S, R, E, A>

Added in v2.0.0

fromEither (export)

Signature

<S, R, E, A>(ma: Either<E, A>) => StateReaderTaskEither<S, R, E, A>

Added in v2.0.0

fromOption (export)

Signature

<E>(onNone: () => E) => <S, R, A>(ma: Option<A>) => StateReaderTaskEither<S, R, E, A>

Added in v2.0.0

map (export)

Signature

<A, B>(f: (a: A) => B) => <S, R, E>(fa: StateReaderTaskEither<S, R, E, A>) => StateReaderTaskEither<S, R, E, B>

Added in v2.0.0