← Back

Source

ap

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]>

Added in v1.0.0 (function)

chain

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]>

Added in v1.0.0 (function)

fromState

fromState<F>(F: Applicative<F>): <S, A>(fa: State<S, A>) => (s: S) => HKT<F, [A, S]>

Added in v1.2.0 (function)

get

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

Added in v1.0.0 (function)

getStateT

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

Added in v1.0.0 (function)

gets

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

Added in v1.0.0 (function)

liftF

liftF<F>(F: Functor<F>): <S, A>(fa: HKT<F, A>) => (s: S) => HKT<F, [A, S]>

Added in v1.2.0 (function)

map

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]>

Added in v1.0.0 (function)

modify

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

Added in v1.0.0 (function)

of

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

Added in v1.0.0 (function)

put

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

Added in v1.0.0 (function)