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

effect

package

Go to main page

Versions in this module

v2

v2.2.14

Feb 10, 2026

v2.2.13

Feb 10, 2026

v2.2.12

Feb 5, 2026

v2.2.11

Feb 5, 2026

v2.2.10

Feb 4, 2026

v2.2.9

Feb 3, 2026

v2.2.8

Feb 3, 2026

v2.2.7

Feb 2, 2026

v2.2.6

Jan 31, 2026

v2.2.5

Jan 30, 2026

v2.2.4

Jan 30, 2026

v2.2.3

Jan 29, 2026

v2.2.2

Jan 29, 2026

v2.2.1

Jan 29, 2026

Changes in this version

+ func LocalEffectK[A, C1, C2 any](f Kleisli[C2, C2, C1]) func(Effect[C1, A]) Effect[C2, A]

+ func LocalIOK[A, C1, C2 any](f io.Kleisli[C2, C1]) func(Effect[C1, A]) Effect[C2, A]

+ func LocalIOResultK[A, C1, C2 any](f ioresult.Kleisli[C2, C1]) func(Effect[C1, A]) Effect[C2, A]

+ func LocalResultK[A, C1, C2 any](f result.Kleisli[C2, C1]) func(Effect[C1, A]) Effect[C2, A]

+ func LocalThunkK[A, C1, C2 any](f thunk.Kleisli[C2, C1]) func(Effect[C1, A]) Effect[C2, A]

+ func Provide[C, A any](c C) func(Effect[C, A]) ReaderIOResult[A]

+ func Read[A, C any](c C) func(Effect[C, A]) Thunk[A]

+ func RunSync[A any](fa ReaderIOResult[A]) readerresult.ReaderResult[A]

+ type Effect = readerreaderioresult.ReaderReaderIOResult[C, A]

+ func Do[C, S any](empty S) Effect[C, S]

+ func Fail[C, A any](err error) Effect[C, A]

+ func Of[C, A any](a A) Effect[C, A]

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

+ func Succeed[C, A any](a A) Effect[C, A]

+ func Suspend[C, A any](fa Lazy[Effect[C, A]]) Effect[C, A]

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

+ type IO = io.IO[A]

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

+ type IOResult = ioresult.IOResult[A]

+ type Kleisli = readerreaderioresult.Kleisli[C, A, B]

+ func Contramap[C1, C2, A any](acc Reader[C1, C2]) Kleisli[C1, Effect[C2, A], A]

+ func Local[C1, C2, A any](acc Reader[C1, C2]) Kleisli[C1, Effect[C2, A], A]

+ func Ternary[C, A, B any](pred Predicate[A], onTrue, onFalse Kleisli[C, A, B]) Kleisli[C, A, B]

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

+ type Lazy = lazy.Lazy[A]

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

+ type Monoid = monoid.Monoid[A]

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

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

+ type Operator = readerreaderioresult.Operator[C, A, B]

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

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

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

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

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

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

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

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

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

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

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

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

+ func Ap[B, C, A any](fa Effect[C, A]) Operator[C, func(A) B, B]

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

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

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

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

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

+ func BindIOResultK[C, S1, S2, T any](setter func(T) func(S1) S2, f ioresult.Kleisli[S1, T]) Operator[C, S1, S2]

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

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

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

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

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

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

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

+ func ChainResultK[C, A, B any](f result.Kleisli[A, B]) Operator[C, A, B]

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

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

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

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

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

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

+ func Tap[C, A, ANY any](f Kleisli[C, A, ANY]) Operator[C, A, A]

+ type Predicate = predicate.Predicate[A]

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

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

+ type ReaderIOResult = readerioresult.ReaderIOResult[A]

+ type Result = result.Result[A]

+ type Thunk = ReaderIOResult[A]