Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

readerreaderioeither

package

Go to main page

Versions in this module

v2

v2.1.26

Jan 23, 2026

v2.1.25

Jan 23, 2026

v2.1.23

Jan 23, 2026

v2.1.22

Jan 23, 2026

v2.1.21

Jan 23, 2026

v2.1.20

Jan 22, 2026

v2.1.19

Jan 21, 2026

v2.1.18

Jan 20, 2026

v2.1.17

Jan 19, 2026

Changes in this version

+ func TraverseReader[R2, R1, C, E, A, B any](f reader.Kleisli[R1, A, B]) func(ReaderReaderIOEither[R2, C, E, A]) Kleisli[R2, C, E, R1, B]

+ func Traverse[R2, R1, C, E, A, B any](f Kleisli[R1, C, E, A, B]) func(ReaderReaderIOEither[R2, C, E, A]) Kleisli[R2, C, E, R1, B]

type Kleisli

+ func SequenceReaderIO[R1, R2, C, E, A any](ma ReaderReaderIOEither[R2, C, E, ReaderIO[R1, A]]) Kleisli[R2, C, E, R1, A]

+ func SequenceReader[R1, R2, C, E, A any](ma ReaderReaderIOEither[R2, C, E, Reader[R1, A]]) Kleisli[R2, C, E, R1, A]

+ func Sequence[R1, R2, C, E, A any](ma ReaderReaderIOEither[R2, C, E, ReaderReaderIOEither[R1, C, E, A]]) Kleisli[R2, C, E, R1, A]

+ type ReaderEither = readereither.ReaderEither[R, E, A]

v2.1.16

Jan 19, 2026

Changes in this version

+ func ChainFirstReaderOptionK[R, C, A, B, E any](onNone Lazy[E]) func(readeroption.Kleisli[R, A, B]) Operator[R, C, E, A, A]

+ func ChainLeft[R, C, EA, EB, A any](f Kleisli[R, C, EB, EA, A]) func(ReaderReaderIOEither[R, C, EA, A]) ReaderReaderIOEither[R, C, EB, A]

+ func ChainOptionK[R, C, A, B, E any](onNone Lazy[E]) func(option.Kleisli[A, B]) Operator[R, C, E, A, B]

+ func ChainReaderOptionK[R, C, A, B, E any](onNone Lazy[E]) func(readeroption.Kleisli[R, A, B]) Operator[R, C, E, A, B]

+ func FromOption[R, C, A, E any](onNone Lazy[E]) func(Option[A]) ReaderReaderIOEither[R, C, E, A]

+ func FromPredicate[R, C, E, A any](pred func(A) bool, onFalse func(A) E) func(A) ReaderReaderIOEither[R, C, E, A]

+ func Local[C, E, A, R1, R2 any](f func(R2) R1) func(ReaderReaderIOEither[R1, C, E, A]) ReaderReaderIOEither[R2, C, E, A]

+ func MapLeft[R, C, A, E1, E2 any](f func(E1) E2) func(ReaderReaderIOEither[R, C, E1, A]) ReaderReaderIOEither[R, C, E2, A]

+ func ReadIOEither[A, R, C, E any](rio IOEither[E, R]) func(ReaderReaderIOEither[R, C, E, A]) ReaderIOEither[C, E, A]

+ func ReadIO[C, E, A, R any](rio IO[R]) func(ReaderReaderIOEither[R, C, E, A]) ReaderIOEither[C, E, A]

+ func Read[C, E, A, R any](r R) func(ReaderReaderIOEither[R, C, E, A]) ReaderIOEither[C, E, A]

+ func TapReaderOptionK[R, C, A, B, E any](onNone Lazy[E]) func(readeroption.Kleisli[R, A, B]) Operator[R, C, E, A, A]

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

+ type IO = io.IO[A]

+ type IOEither = ioeither.IOEither[E, A]

+ type Kleisli = Reader[A, ReaderReaderIOEither[R, C, E, B]]

+ func FromReaderOption[R, C, A, E any](onNone Lazy[E]) Kleisli[R, C, E, ReaderOption[R, A], A]

+ type Lazy = lazy.Lazy[A]

+ type Lens = lens.Lens[S, T]

+ type Monoid = monoid.Monoid[ReaderReaderIOEither[R, C, E, A]]

+ func AltMonoid[R, C, E, A any](zero Lazy[ReaderReaderIOEither[R, C, E, A]]) Monoid[R, C, E, A]

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

+ func ApplicativeMonoidPar[R, C, E, A any](m monoid.Monoid[A]) Monoid[R, C, E, A]

+ func ApplicativeMonoidSeq[R, C, E, A any](m monoid.Monoid[A]) Monoid[R, C, E, A]

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

+ type Operator = Kleisli[R, C, E, ReaderReaderIOEither[R, C, E, A], B]

+ func After[R, C, E, A any](timestamp time.Time) Operator[R, C, E, A, A]

+ func Alt[R, C, E, A any](second Lazy[ReaderReaderIOEither[R, C, E, A]]) Operator[R, C, E, A, A]

+ func ApEitherSL[R, C, E, S, T any](lens Lens[S, T], fa Either[E, T]) Operator[R, C, E, S, S]

+ func ApEitherS[R, C, E, S1, S2, T any](setter func(T) func(S1) S2, fa Either[E, T]) Operator[R, C, E, S1, S2]

+ func ApIOEitherSL[R, C, E, S, T any](lens Lens[S, T], fa IOEither[E, T]) Operator[R, C, E, S, S]

+ func ApIOEitherS[R, C, E, S1, S2, T any](setter func(T) func(S1) S2, fa IOEither[E, T]) Operator[R, C, E, S1, S2]

+ func ApIOSL[R, C, E, S, T any](lens Lens[S, T], fa IO[T]) Operator[R, C, E, S, S]

+ func ApIOS[R, C, E, S1, S2, T any](setter func(T) func(S1) S2, fa IO[T]) Operator[R, C, E, S1, S2]

+ func ApReaderIOSL[C, E, R, S, T any](lens Lens[S, T], fa ReaderIO[R, T]) Operator[R, C, E, S, S]

+ func ApReaderIOS[C, E, R, S1, S2, T any](setter func(T) func(S1) S2, fa ReaderIO[R, T]) Operator[R, C, E, S1, S2]

+ func ApReaderSL[C, E, R, S, T any](lens Lens[S, T], fa Reader[R, T]) Operator[R, C, E, S, S]

+ func ApReaderS[C, E, R, S1, S2, T any](setter func(T) func(S1) S2, fa Reader[R, T]) Operator[R, C, E, S1, S2]

+ func ApSL[R, C, E, S, T any](lens Lens[S, T], fa ReaderReaderIOEither[R, C, E, T]) Operator[R, C, E, S, S]

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

+ func Ap[B, R, C, E, A any](fa ReaderReaderIOEither[R, C, E, A]) Operator[R, C, E, func(A) B, B]

+ func BindEitherK[R, C, E, S1, S2, T any](setter func(T) func(S1) S2, f either.Kleisli[E, S1, T]) Operator[R, C, E, S1, S2]

+ func BindIOEitherKL[R, C, E, S, T any](lens Lens[S, T], f ioeither.Kleisli[E, T, T]) Operator[R, C, E, S, S]

+ func BindIOEitherK[R, C, E, S1, S2, T any](setter func(T) func(S1) S2, f ioeither.Kleisli[E, S1, T]) Operator[R, C, E, S1, S2]

+ func BindIOKL[R, C, E, S, T any](lens Lens[S, T], f io.Kleisli[T, T]) Operator[R, C, E, S, S]

+ func BindIOK[R, C, E, S1, S2, T any](setter func(T) func(S1) S2, f io.Kleisli[S1, T]) Operator[R, C, E, S1, S2]

+ func BindL[R, C, E, S, T any](lens Lens[S, T], f func(T) ReaderReaderIOEither[R, C, E, T]) Operator[R, C, E, S, S]

+ func BindReaderIOKL[C, E, R, S, T any](lens Lens[S, T], f readerio.Kleisli[R, T, T]) Operator[R, C, E, S, S]

+ func BindReaderIOK[C, E, R, S1, S2, T any](setter func(T) func(S1) S2, f readerio.Kleisli[R, S1, T]) Operator[R, C, E, S1, S2]

+ func BindReaderKL[C, E, R, S, T any](lens Lens[S, T], f reader.Kleisli[R, T, T]) Operator[R, C, E, S, S]

+ func BindReaderK[C, E, R, S1, S2, T any](setter func(T) func(S1) S2, f reader.Kleisli[R, S1, T]) Operator[R, C, E, S1, S2]

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

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

+ func ChainEitherK[R, C, E, A, B any](f either.Kleisli[E, A, B]) Operator[R, C, E, A, B]

+ func ChainFirstEitherK[R, C, E, A, B any](f either.Kleisli[E, A, B]) Operator[R, C, E, A, A]

+ func ChainFirstIOK[R, C, E, A, B any](f io.Kleisli[A, B]) Operator[R, C, E, A, A]

+ func ChainFirstReaderEitherK[C, E, R, A, B any](f RE.Kleisli[R, E, A, B]) Operator[R, C, E, A, A]

+ func ChainFirstReaderIOK[C, E, R, A, B any](f readerio.Kleisli[R, A, B]) Operator[R, C, E, A, A]

+ func ChainFirstReaderK[C, E, R, A, B any](f reader.Kleisli[R, A, B]) Operator[R, C, E, A, A]

+ func ChainFirst[R, C, E, A, B any](f Kleisli[R, C, E, A, B]) Operator[R, C, E, A, A]

+ func ChainIOEitherK[R, C, E, A, B any](f IOE.Kleisli[E, A, B]) Operator[R, C, E, A, B]

+ func ChainIOK[R, C, E, A, B any](f io.Kleisli[A, B]) Operator[R, C, E, A, B]

+ func ChainReaderEitherK[C, E, R, A, B any](f RE.Kleisli[R, E, A, B]) Operator[R, C, E, A, B]

+ func ChainReaderIOK[C, E, R, A, B any](f readerio.Kleisli[R, A, B]) Operator[R, C, E, A, B]

+ func ChainReaderK[C, E, R, A, B any](f reader.Kleisli[R, A, B]) Operator[R, C, E, A, B]

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

+ func Delay[R, C, E, A any](delay time.Duration) Operator[R, C, E, A, A]

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

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

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

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

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

+ func MapTo[R, C, E, A, B any](b B) Operator[R, C, E, A, B]

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

+ func TapEitherK[R, C, E, A, B any](f either.Kleisli[E, A, B]) Operator[R, C, E, A, A]

+ func TapIOK[R, C, E, A, B any](f io.Kleisli[A, B]) Operator[R, C, E, A, A]

+ func TapReaderEitherK[C, E, R, A, B any](f RE.Kleisli[R, E, A, B]) Operator[R, C, E, A, A]

+ func TapReaderIOK[C, E, R, A, B any](f readerio.Kleisli[R, A, B]) Operator[R, C, E, A, A]

+ func TapReaderK[C, E, R, A, B any](f reader.Kleisli[R, A, B]) Operator[R, C, E, A, A]

+ func Tap[R, C, E, A, B any](f Kleisli[R, C, E, A, B]) Operator[R, C, E, A, A]

+ type Option = option.Option[A]

+ type Predicate = predicate.Predicate[A]

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

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

+ type ReaderIOEither = readerioeither.ReaderIOEither[R, E, A]

+ type ReaderOption = readeroption.ReaderOption[R, A]

+ type ReaderReaderIOEither = Reader[R, ReaderIOEither[C, E, A]]

+ func Ask[R, C, E any]() ReaderReaderIOEither[R, C, E, R]

+ func Asks[C, E, R, A any](r Reader[R, A]) ReaderReaderIOEither[R, C, E, A]

+ func Bracket[R, C, E, A, B, ANY any](acquire ReaderReaderIOEither[R, C, E, A], ...) ReaderReaderIOEither[R, C, E, B]

+ func Do[R, C, E, S any](empty S) ReaderReaderIOEither[R, C, E, S]

+ func Flatten[R, C, E, A any](mma ReaderReaderIOEither[R, C, E, ReaderReaderIOEither[R, C, E, A]]) ReaderReaderIOEither[R, C, E, A]

+ func FromEither[R, C, E, A any](t Either[E, A]) ReaderReaderIOEither[R, C, E, A]

+ func FromIOEither[R, C, E, A any](ma IOEither[E, A]) ReaderReaderIOEither[R, C, E, A]

+ func FromIO[R, C, E, A any](ma IO[A]) ReaderReaderIOEither[R, C, E, A]

+ func FromReaderEither[R, C, E, A any](ma RE.ReaderEither[R, E, A]) ReaderReaderIOEither[R, C, E, A]

+ func FromReaderIOEither[C, E, R, A any](ma ReaderIOEither[R, E, A]) ReaderReaderIOEither[R, C, E, A]

+ func FromReaderIO[C, E, R, A any](ma ReaderIO[R, A]) ReaderReaderIOEither[R, C, E, A]

+ func FromReader[C, E, R, A any](ma Reader[R, A]) ReaderReaderIOEither[R, C, E, A]

+ func LeftIO[R, C, A, E any](ma IO[E]) ReaderReaderIOEither[R, C, E, A]

+ func LeftReaderIO[C, A, R, E any](me ReaderIO[R, E]) ReaderReaderIOEither[R, C, E, A]

+ func LeftReader[C, A, R, E any](ma Reader[R, E]) ReaderReaderIOEither[R, C, E, A]

+ func Left[R, C, A, E any](e E) ReaderReaderIOEither[R, C, E, A]

+ func MonadAlt[R, C, E, A any](first ReaderReaderIOEither[R, C, E, A], ...) ReaderReaderIOEither[R, C, E, A]

+ func MonadApPar[R, C, E, A, B any](fab ReaderReaderIOEither[R, C, E, func(A) B], ...) ReaderReaderIOEither[R, C, E, B]

+ func MonadApSeq[R, C, E, A, B any](fab ReaderReaderIOEither[R, C, E, func(A) B], ...) ReaderReaderIOEither[R, C, E, B]

+ func MonadAp[R, C, E, A, B any](fab ReaderReaderIOEither[R, C, E, func(A) B], ...) ReaderReaderIOEither[R, C, E, B]

+ func MonadChainEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f either.Kleisli[E, A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadChainFirstEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f either.Kleisli[E, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadChainFirstIOK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f io.Kleisli[A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadChainFirstReaderEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f RE.Kleisli[R, E, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadChainFirstReaderIOK[C, E, R, A, B any](ma ReaderReaderIOEither[R, C, E, A], f readerio.Kleisli[R, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadChainFirstReaderK[C, E, R, A, B any](ma ReaderReaderIOEither[R, C, E, A], f reader.Kleisli[R, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadChainFirst[R, C, E, A, B any](fa ReaderReaderIOEither[R, C, E, A], f Kleisli[R, C, E, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadChainIOEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f IOE.Kleisli[E, A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadChainIOK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f io.Kleisli[A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadChainLeft[R, C, EA, EB, A any](fa ReaderReaderIOEither[R, C, EA, A], f Kleisli[R, C, EB, EA, A]) ReaderReaderIOEither[R, C, EB, A]

+ func MonadChainReaderEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f RE.Kleisli[R, E, A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadChainReaderIOK[C, E, R, A, B any](ma ReaderReaderIOEither[R, C, E, A], f readerio.Kleisli[R, A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadChainReaderK[C, E, R, A, B any](ma ReaderReaderIOEither[R, C, E, A], f reader.Kleisli[R, A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadChain[R, C, E, A, B any](fa ReaderReaderIOEither[R, C, E, A], f Kleisli[R, C, E, A, B]) ReaderReaderIOEither[R, C, E, B]

+ func MonadFlap[R, C, E, B, A any](fab ReaderReaderIOEither[R, C, E, func(A) B], a A) ReaderReaderIOEither[R, C, E, B]

+ func MonadMapLeft[R, C, E1, E2, A any](fa ReaderReaderIOEither[R, C, E1, A], f func(E1) E2) ReaderReaderIOEither[R, C, E2, A]

+ func MonadMapTo[R, C, E, A, B any](fa ReaderReaderIOEither[R, C, E, A], b B) ReaderReaderIOEither[R, C, E, B]

+ func MonadMap[R, C, E, A, B any](fa ReaderReaderIOEither[R, C, E, A], f func(A) B) ReaderReaderIOEither[R, C, E, B]

+ func MonadTapEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f either.Kleisli[E, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadTapIOK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f io.Kleisli[A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadTapReaderEitherK[R, C, E, A, B any](ma ReaderReaderIOEither[R, C, E, A], f RE.Kleisli[R, E, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadTapReaderIOK[C, E, R, A, B any](ma ReaderReaderIOEither[R, C, E, A], f readerio.Kleisli[R, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadTapReaderK[C, E, R, A, B any](ma ReaderReaderIOEither[R, C, E, A], f reader.Kleisli[R, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func MonadTap[R, C, E, A, B any](fa ReaderReaderIOEither[R, C, E, A], f Kleisli[R, C, E, A, B]) ReaderReaderIOEither[R, C, E, A]

+ func Of[R, C, E, A any](a A) ReaderReaderIOEither[R, C, E, A]

+ func Retrying[R, C, E, A any](policy retry.RetryPolicy, action Kleisli[R, C, E, retry.RetryStatus, A], ...) ReaderReaderIOEither[R, C, E, A]

+ func RightIO[R, C, E, A any](ma IO[A]) ReaderReaderIOEither[R, C, E, A]

+ func RightReaderIO[C, E, R, A any](ma ReaderIO[R, A]) ReaderReaderIOEither[R, C, E, A]

+ func RightReader[C, E, R, A any](ma Reader[R, A]) ReaderReaderIOEither[R, C, E, A]

+ func Right[R, C, E, A any](a A) ReaderReaderIOEither[R, C, E, A]

+ type Trampoline = tailrec.Trampoline[L, B]