fromio

Documentation

Index

• func ChainFirstIOK[A, B, HKTA, HKTB any, GIOB ~func() B](mchain func(func(A) HKTA) func(HKTA) HKTA, ...) func(HKTA) HKTA
• func ChainIOK[GR ~func() B, 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() B](mchain func(HKTA, func(A) HKTA) HKTA, mmap func(HKTB, func(B) A) HKTA, ...) HKTA
• func MonadChainIOK[GR ~func() B, A, B, HKTA, HKTB any](mchain func(HKTA, func(A) HKTB) HKTB, fromio func(GR) HKTB, first HKTA, ...) HKTB
• type FromIO

Functions

func ChainFirstIOK

func ChainFirstIOK[A, B, HKTA, HKTB any, GIOB ~func() B](
	mchain func(func(A) HKTA) func(HKTA) HKTA,
	mmap func(func(B) A) func(HKTB) HKTA,
	fromio func(GIOB) HKTB,
	f func(A) GIOB) func(HKTA) HKTA

func ChainIOK

func ChainIOK[GR ~func() B, 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

func MonadChainFirstIOK[A, B, HKTA, HKTB any, GIOB ~func() B](
	mchain func(HKTA, func(A) HKTA) HKTA,
	mmap func(HKTB, func(B) A) HKTA,
	fromio func(GIOB) HKTB,
	first HKTA, f func(A) GIOB) HKTA

func MonadChainIOK

func MonadChainIOK[GR ~func() B, A, B, HKTA, HKTB any](
	mchain func(HKTA, func(A) HKTB) HKTB,
	fromio func(GR) HKTB,
	first HKTA, f func(A) GR) HKTB

Types

type FromIO

type FromIO[A, GA ~func() A, HKTA any] interface {
	FromIO(GA) HKTA
}