ReaderT.md

id	title
ReaderT	Module ReaderT

Source

Functions

ap

function

since 1.0.0

Signature

ap<F>(
  F: Applicative<F>
): <E, A, B>(fab: (e: E) => HKT<F, (a: A) => B>, fa: (e: E) => HKT<F, A>) => (e: E) => HKT<F, B>

ask

function

since 1.0.0

Signature

ask<F>(F: Applicative<F>): <E>() => (e: E) => HKT<F, E>

asks

function

since 1.0.0

Signature

asks<F>(F: Applicative<F>): <E, A>(f: (e: E) => A) => (e: E) => HKT<F, A>

chain

function

since 1.0.0

Signature

chain<F>(
  F: Chain<F>
): <E, A, B>(f: (a: A) => (e: E) => HKT<F, B>, fa: (e: E) => HKT<F, A>) => (e: E) => HKT<F, B>

fromReader

function

since 1.2.0

Signature

fromReader<F>(F: Applicative<F>): <E, A>(fa: Reader<E, A>) => (e: E) => HKT<F, A>

getReaderT

function

since 1.0.0

Signature

getReaderT<M>(M: Monad<M>): ReaderT<M>

map

function

since 1.0.0

Signature

map<F>(F: Functor<F>): <E, A, B>(f: (a: A) => B, fa: (e: E) => HKT<F, A>) => (e: E) => HKT<F, B>

of

function

since 1.0.0

Signature

of<F>(F: Applicative<F>): <E, A>(a: A) => (e: E) => HKT<F, A>