readeriooption

Jan 30, 2026

Changes in this version

+ func AlternativeMonoid[R, A any](m monoid.Monoid[A]) monoid.Monoid[ReaderIOOption[R, A]]

+ func ApplicativeMonoid[R, A any](m monoid.Monoid[A]) monoid.Monoid[ReaderIOOption[R, A]]

+ func Fold[R, A, B any](onNone Reader[R, B], onRight reader.Kleisli[R, A, B]) reader.Operator[R, Option[A], B]

+ func GetOrElse[R, A any](onNone Reader[R, A]) reader.Operator[R, Option[A], A]

+ func Local[A, R1, R2 any](f func(R2) R1) func(ReaderIOOption[R1, A]) ReaderIOOption[R2, A]

+ func Read[A, R any](e R) func(ReaderIOOption[R, A]) IOOption[A]

+ func TraverseArrayWithIndex[E, A, B any](f func(int, A) ReaderIOOption[E, B]) func([]A) ReaderIOOption[E, []B]

+ type Either = either.Either[E, A]

+ type IOOption = iooption.IOOption[A]

+ type Kleisli = Reader[A, ReaderIOOption[R, B]]

+ func Contramap[A, R1, R2 any](f func(R2) R1) Kleisli[R2, ReaderIOOption[R1, A], A]

+ func FromPredicate[R, A any](pred Predicate[A]) Kleisli[R, A, A]

+ func Promap[R, A, D, B any](f func(D) R, g func(A) B) Kleisli[D, ReaderIOOption[R, A], B]

+ func TailRec[R, A, B any](f Kleisli[R, A, tailrec.Trampoline[A, B]]) Kleisli[R, A, B]

+ func TraverseArray[E, A, B any](f Kleisli[E, A, B]) Kleisli[E, []A, []B]

+ type Lazy = lazy.Lazy[A]

+ type Operator = Reader[ReaderIOOption[R, A], ReaderIOOption[R, B]]

+ func Alt[R, A any](second Lazy[ReaderIOOption[R, A]]) Operator[R, A, A]

+ func ApSL[R, S, T any](lens L.Lens[S, T], fa ReaderIOOption[R, T]) Operator[R, S, S]

+ func ApS[R, S1, S2, T any](setter func(T) func(S1) S2, fa ReaderIOOption[R, T]) Operator[R, S1, S2]

+ func Ap[B, R, A any](fa ReaderIOOption[R, A]) Operator[R, func(A) B, B]

+ func BindL[R, S, T any](lens L.Lens[S, T], f Kleisli[R, T, T]) Operator[R, S, S]

+ func BindTo[R, S1, T any](setter func(T) S1) Operator[R, T, S1]

+ func Bind[R, S1, S2, T any](setter func(T) func(S1) S2, f Kleisli[R, S1, T]) Operator[R, S1, S2]

+ func ChainOptionK[R, A, B any](f O.Kleisli[A, B]) Operator[R, A, B]

+ func Chain[R, A, B any](f Kleisli[R, A, B]) Operator[R, A, B]

+ func Flap[R, B, A any](a A) Operator[R, func(A) B, B]

+ func LetL[R, S, T any](lens L.Lens[S, T], f func(T) T) Operator[R, S, S]

+ func LetToL[R, S, T any](lens L.Lens[S, T], b T) Operator[R, S, S]

+ func LetTo[R, S1, S2, T any](setter func(T) func(S1) S2, b T) Operator[R, S1, S2]

+ func Let[R, S1, S2, T any](setter func(T) func(S1) S2, f func(S1) T) Operator[R, S1, S2]

+ func Map[R, A, B any](f func(A) B) Operator[R, A, B]

+ type Option = option.Option[A]

+ type Predicate = predicate.Predicate[A]

+ type Reader = reader.Reader[R, A]

+ type ReaderIO = readerio.ReaderIO[R, A]

+ func MonadFold[R, A, B any](fa ReaderIOOption[R, A], onNone ReaderIO[R, B], ...) ReaderIO[R, B]

+ type ReaderIOOption = Reader[R, IOOption[A]]

+ func Ask[R any]() ReaderIOOption[R, R]

+ func Asks[R, A any](r Reader[R, A]) ReaderIOOption[R, A]

+ func Do[R, S any](empty S) ReaderIOOption[R, S]

+ func Flatten[R, A any](mma ReaderIOOption[R, ReaderIOOption[R, A]]) ReaderIOOption[R, A]

+ func FromOption[R, A any](t Option[A]) ReaderIOOption[R, A]

+ func FromReader[R, A any](r Reader[R, A]) ReaderIOOption[R, A]

+ func MonadAlt[R, A any](first ReaderIOOption[R, A], second Lazy[ReaderIOOption[R, A]]) ReaderIOOption[R, A]

+ func MonadAp[R, A, B any](fab ReaderIOOption[R, func(A) B], fa ReaderIOOption[R, A]) ReaderIOOption[R, B]

+ func MonadChainOptionK[R, A, B any](ma ReaderIOOption[R, A], f O.Kleisli[A, B]) ReaderIOOption[R, B]

+ func MonadChain[R, A, B any](ma ReaderIOOption[R, A], f Kleisli[R, A, B]) ReaderIOOption[R, B]

+ func MonadFlap[R, A, B any](fab ReaderIOOption[R, func(A) B], a A) ReaderIOOption[R, B]

+ func MonadMap[R, A, B any](fa ReaderIOOption[R, A], f func(A) B) ReaderIOOption[R, B]

+ func None[R, A any]() ReaderIOOption[R, A]

+ func Of[R, A any](a A) ReaderIOOption[R, A]

+ func SequenceT1[R, A any](a ReaderIOOption[R, A]) ReaderIOOption[R, T.Tuple1[A]]

+ func SequenceT2[R, A, B any](a ReaderIOOption[R, A], b ReaderIOOption[R, B]) ReaderIOOption[R, T.Tuple2[A, B]]

+ func SequenceT3[R, A, B, C any](a ReaderIOOption[R, A], b ReaderIOOption[R, B], c ReaderIOOption[R, C]) ReaderIOOption[R, T.Tuple3[A, B, C]]

+ func SequenceT4[R, A, B, C, D any](a ReaderIOOption[R, A], b ReaderIOOption[R, B], c ReaderIOOption[R, C], ...) ReaderIOOption[R, T.Tuple4[A, B, C, D]]

+ func SomeReader[R, A any](r Reader[R, A]) ReaderIOOption[R, A]

+ func Some[R, A any](r A) ReaderIOOption[R, A]