ap

function

ap<F>(
  F: Chain<F>
): <S, A, B>(fab: (s: S) => HKT<F, [(a: A) => B, S]>, fa: (s: S) => HKT<F, [A, S]>) => (s: S) => HKT<F, [B, S]>

chain

function

chain<F>(
  F: Chain<F>
): <S, A, B>(f: (a: A) => (s: S) => HKT<F, [B, S]>, fa: (s: S) => HKT<F, [A, S]>) => (s: S) => HKT<F, [B, S]>

function

get<F>(F: Applicative<F>): <S>() => (s: S) => HKT<F, [S, S]>

function

getStateT<M>(M: Monad<M>): StateT<M>

function

gets<F>(F: Applicative<F>): <S, A>(f: (s: S) => A) => (s: S) => HKT<F, [A, S]>

function

map<F>(
  F: Functor<F>
): <S, A, B>(f: (a: A) => B, fa: (s: S) => HKT<F, [A, S]>) => (s: S) => HKT<F, [B, S]>

function

modify<F>(F: Applicative<F>): <S>(f: Endomorphism<S>) => (s: S) => HKT<F, [void, S]>

function

of<F>(F: Applicative<F>): <S, A>(a: A) => (s: S) => HKT<F, [A, S]>

function

put<F>(F: Applicative<F>): <S>(s: S) => () => HKT<F, [void, S]>