Function applicativeT

applicativeT<S, M>(
monad: TypeClass.Monad.Monad<M>,
): TypeClass.Applicative.Applicative<StateTHkt & { arg3: S } & { arg2: M }>
The instance of Applicative for StateT<S, M, _> for any monad M.
Type Parameters
- S
- M
Parameters
- monad: TypeClass.Monad.Monad<M>
Returns TypeClass.Applicative.Applicative<StateTHkt & { arg3: S } & { arg2: M }>
- Defined in src/state.ts:385