state

Documentation

Index

• func Ap[HKTSA ~func(S) HKTA, HKTSB ~func(S) HKTB, HKTSAB ~func(S) HKTAB, ...](fmap func(func(P.Pair[A, S]) P.Pair[B, S]) func(HKTA) HKTB, ...) func(HKTSAB) HKTSB
• func Chain[HKTSA ~func(S) HKTA, HKTSB ~func(S) HKTB, HKTA, HKTB, S, A any](fchain func(func(P.Pair[A, S]) HKTB) func(HKTA) HKTB, f func(A) HKTSB) func(HKTSA) HKTSB
• func FromF[HKTSA ~func(S) HKTA, HKTA, HKTFA, S, A any](fmap func(HKTFA, func(A) P.Pair[A, S]) HKTA, ma HKTFA) HKTSA
• func FromState[HKTSA ~func(S) HKTA, ST ~func(S) P.Pair[A, S], HKTA, S, A any](fof func(P.Pair[A, S]) HKTA, sa ST) HKTSA
• func Map[HKTSA ~func(S) HKTA, HKTSB ~func(S) HKTB, HKTA, HKTB, S, A, B any](fmap func(func(P.Pair[A, S]) P.Pair[B, S]) func(HKTA) HKTB, f func(A) B) func(HKTSA) HKTSB
• func MonadAp[HKTSA ~func(S) HKTA, HKTSB ~func(S) HKTB, HKTSAB ~func(S) HKTAB, ...](fmap func(HKTA, func(P.Pair[A, S]) P.Pair[B, S]) HKTB, ...) HKTSB
• func MonadChain[HKTSA ~func(S) HKTA, HKTSB ~func(S) HKTB, HKTA, HKTB, S, A any](fchain func(HKTA, func(P.Pair[A, S]) HKTB) HKTB, fa HKTSA, f func(A) HKTSB) HKTSB
• func MonadMap[HKTSA ~func(S) HKTA, HKTSB ~func(S) HKTB, HKTA, HKTB, S, A, B any](fmap func(HKTA, func(P.Pair[A, S]) P.Pair[B, S]) HKTB, fa HKTSA, f func(A) B) HKTSB
• func Of[HKTSA ~func(S) HKTA, HKTA, S, A any](fof func(P.Pair[A, S]) HKTA, a A) HKTSA

Functions

func Ap

func Ap[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTSAB ~func(S) HKTAB,
	HKTA,
	HKTB,
	HKTAB,

	S, A, B any,
](
	fmap func(func(P.Pair[A, S]) P.Pair[B, S]) func(HKTA) HKTB,
	fchain func(func(P.Pair[func(A) B, S]) HKTB) func(HKTAB) HKTB,

	fa HKTSA,
) func(HKTSAB) HKTSB

func Chain

func Chain[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A any,
](
	fchain func(func(P.Pair[A, S]) HKTB) func(HKTA) HKTB,

	f func(A) HKTSB,
) func(HKTSA) HKTSB

func FromF

func FromF[
	HKTSA ~func(S) HKTA,
	HKTA,

	HKTFA,

	S, A any,
](
	fmap func(HKTFA, func(A) P.Pair[A, S]) HKTA,
	ma HKTFA) HKTSA

func FromState

func FromState[
	HKTSA ~func(S) HKTA,
	ST ~func(S) P.Pair[A, S],
	HKTA,

	S, A any,
](
	fof func(P.Pair[A, S]) HKTA,
	sa ST,
) HKTSA

func Map

func Map[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A, B any,
](
	fmap func(func(P.Pair[A, S]) P.Pair[B, S]) func(HKTA) HKTB,

	f func(A) B,
) func(HKTSA) HKTSB

func MonadAp

func MonadAp[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTSAB ~func(S) HKTAB,
	HKTA,
	HKTB,
	HKTAB,

	S, A, B any,
](
	fmap func(HKTA, func(P.Pair[A, S]) P.Pair[B, S]) HKTB,
	fchain func(HKTAB, func(P.Pair[func(A) B, S]) HKTB) HKTB,

	fab HKTSAB,
	fa HKTSA,
) HKTSB

func MonadChain

func MonadChain[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A any,
](
	fchain func(HKTA, func(P.Pair[A, S]) HKTB) HKTB,

	fa HKTSA,
	f func(A) HKTSB,
) HKTSB

func MonadMap

func MonadMap[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A, B any,
](
	fmap func(HKTA, func(P.Pair[A, S]) P.Pair[B, S]) HKTB,

	fa HKTSA,
	f func(A) B,
) HKTSB

func Of

func Of[
	HKTSA ~func(S) HKTA,
	HKTA,
	S, A any,
](
	fof func(P.Pair[A, S]) HKTA,

	a A) HKTSA