Documentation
¶
Index ¶
- func FromReader[GA ~func(E) A, GEA ~func(E) HKTA, E, A, HKTA any](fof func(A) HKTA) func(ma GA) GEA
- func Map[GEA ~func(E) HKTA, GEB ~func(E) HKTB, E, A, B, HKTA, HKTB any](fmap func(func(A) B) func(HKTA) HKTB, f func(A) B) func(GEA) GEB
- func MonadAp[GEA ~func(E) HKTA, GEB ~func(E) HKTB, GEFAB ~func(E) HKTFAB, ...](fap func(HKTFAB, HKTA) HKTB, fab GEFAB, fa GEA) GEB
- func MonadChain[GEA ~func(E) HKTA, GEB ~func(E) HKTB, A, E, HKTA, HKTB any](fchain func(HKTA, func(A) HKTB) HKTB, ma GEA, f func(A) GEB) GEB
- func MonadFromReader[GA ~func(E) A, GEA ~func(E) HKTA, E, A, HKTA any](fof func(A) HKTA, ma GA) GEA
- func MonadMap[GEA ~func(E) HKTA, GEB ~func(E) HKTB, E, A, B, HKTA, HKTB any](fmap func(HKTA, func(A) B) HKTB, fa GEA, f func(A) B) GEB
- func MonadOf[GEA ~func(E) HKTA, E, A, HKTA any](fof func(A) HKTA, a A) GEA
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func FromReader ¶
func FromReader[GA ~func(E) A, GEA ~func(E) HKTA, E, A, HKTA any]( fof func(A) HKTA) func(ma GA) GEA
func Map ¶ added in v1.0.107
func Map[GEA ~func(E) HKTA, GEB ~func(E) HKTB, E, A, B, HKTA, HKTB any]( fmap func(func(A) B) func(HKTA) HKTB, f func(A) B, ) func(GEA) GEB
func MonadAp ¶
func MonadAp[GEA ~func(E) HKTA, GEB ~func(E) HKTB, GEFAB ~func(E) HKTFAB, E, A, HKTA, HKTB, HKTFAB any](fap func(HKTFAB, HKTA) HKTB, fab GEFAB, fa GEA) GEB
HKTFAB = HKT[func(A)B]
func MonadChain ¶
func MonadChain[GEA ~func(E) HKTA, GEB ~func(E) HKTB, A, E, HKTA, HKTB any](fchain func(HKTA, func(A) HKTB) HKTB, ma GEA, f func(A) GEB) GEB
func MonadFromReader ¶
func MonadFromReader[GA ~func(E) A, GEA ~func(E) HKTA, E, A, HKTA any]( fof func(A) HKTA, ma GA) GEA
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.