Documentation
¶
Overview ¶
Package readerio implements a specialization of the ReaderIO monad assuming a golang context as the context of the monad
Index ¶
- func Ap[A, B any](fa ReaderIO[A]) func(ReaderIO[func(A) B]) ReaderIO[B]
- func Chain[A, B any](f func(A) ReaderIO[B]) func(ReaderIO[A]) ReaderIO[B]
- func From0[A any](f func(context.Context) IO.IO[A]) func() ReaderIO[A]
- func From1[T1, A any](f func(context.Context, T1) IO.IO[A]) func(T1) ReaderIO[A]
- func From2[T1, T2, A any](f func(context.Context, T1, T2) IO.IO[A]) func(T1, T2) ReaderIO[A]
- func From3[T1, T2, T3, A any](f func(context.Context, T1, T2, T3) IO.IO[A]) func(T1, T2, T3) ReaderIO[A]
- func Map[A, B any](f func(A) B) func(ReaderIO[A]) ReaderIO[B]
- func TraverseArray[A, B any](f func(A) ReaderIO[B]) func([]A) ReaderIO[[]B]
- type ReaderIO
- func Ask() ReaderIO[context.Context]
- func Defer[A any](gen func() ReaderIO[A]) ReaderIO[A]
- func MonadAp[A, B any](fab ReaderIO[func(A) B], fa ReaderIO[A]) ReaderIO[B]
- func MonadChain[A, B any](ma ReaderIO[A], f func(A) ReaderIO[B]) ReaderIO[B]
- func MonadMap[A, B any](fa ReaderIO[A], f func(A) B) ReaderIO[B]
- func Of[A any](a A) ReaderIO[A]
- func SequenceArray[A any](ma []ReaderIO[A]) ReaderIO[[]A]
- func SequenceT1[A any](a ReaderIO[A]) ReaderIO[T.Tuple1[A]]
- func SequenceT2[A, B any](a ReaderIO[A], b ReaderIO[B]) ReaderIO[T.Tuple2[A, B]]
- func SequenceT3[A, B, C any](a ReaderIO[A], b ReaderIO[B], c ReaderIO[C]) ReaderIO[T.Tuple3[A, B, C]]
- func SequenceT4[A, B, C, D any](a ReaderIO[A], b ReaderIO[B], c ReaderIO[C], d ReaderIO[D]) ReaderIO[T.Tuple4[A, B, C, D]]
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func TraverseArray ¶
TraverseArray transforms an array
Types ¶
type ReaderIO ¶
ReaderIO is a specialization of the ReaderIO monad assuming a golang context as the context of the monad
func SequenceArray ¶
SequenceArray converts a homogeneous sequence of either into an either of sequence
func SequenceT3 ¶
Click to show internal directories.
Click to hide internal directories.