← 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)