← Back

Source

ap

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>

Added in v1.0.0 (function)

ask

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

Added in v1.0.0 (function)

asks

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

Added in v1.0.0 (function)

chain

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>

Added in v1.0.0 (function)

fromReader

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

Added in v1.2.0 (function)

getReaderT

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

Added in v1.0.0 (function)

map

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

Added in v1.0.0 (function)

of

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

Added in v1.0.0 (function)