Documentation
¶
Index ¶
- func ChainFirstIOK[A, B, HKTA, HKTB any, GIOB ~func(yield func(B) bool)](mchain func(func(A) HKTA) func(HKTA) HKTA, ...) func(HKTA) HKTA
- func ChainIOK[GR ~func(yield func(B) bool), A, B, HKTA, HKTB any](mchain func(func(A) HKTB) func(HKTA) HKTB, fromio func(GR) HKTB, f func(A) GR) func(HKTA) HKTB
- func MonadChainFirstIOK[A, B, HKTA, HKTB any, GIOB ~func(yield func(B) bool)](mchain func(HKTA, func(A) HKTA) HKTA, mmap func(HKTB, func(B) A) HKTA, ...) HKTA
- func MonadChainIOK[GR ~func(yield func(B) bool), A, B, HKTA, HKTB any](mchain func(HKTA, func(A) HKTB) HKTB, fromio func(GR) HKTB, first HKTA, ...) HKTB
- type FromIter
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func ChainFirstIOK ¶
func MonadChainFirstIOK ¶
func MonadChainIOK ¶
Types ¶
type FromIter ¶
type FromIter[A, GA ~func(yield func(A) bool), HKTA any] interface { // FromIO converts an IO computation into the target monadic type. FromIter(GA) HKTA }
FromIO represents a type that can be constructed from an IO computation.
This interface provides a way to lift IO computations into other monadic contexts, enabling interoperability between IO and other effect types.
Type Parameters:
- A: The value type produced by the IO computation
- GA: The IO type (constrained to func() A)
- HKTA: The target higher-kinded type
Click to show internal directories.
Click to hide internal directories.