package state
import "github.com/IBM/fp-go/internal/statet"
Index ¶
- 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[ 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, 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[ 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 ¶
Source Files ¶
- Version
- v1.0.151 (latest)
- Published
- Nov 23, 2024
- Platform
- linux/amd64
- Imports
- 2 packages
- Last checked
- 4 months ago –
Tools for package owners.