The highest tagged major version is v2.

statereaderioeither

package

v1.1.84 Latest Latest Go to latest Published: Dec 18, 2025 License: Apache-2.0 Imports: 14 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/IBM/fp-go

Links

Open Source Insights

Documentation ¶

Index ¶

func Ap[S, R, E, A, B any](fa StateReaderIOEither[S, R, E, A]) func(StateReaderIOEither[S, R, E, func(A) B]) StateReaderIOEither[S, R, E, B]
func Applicative[S, R, E, A, B any]() ...
func Chain[S, R, E, A, B any](f func(A) StateReaderIOEither[S, R, E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]
func ChainEitherK[S, R, E, A, B any](f func(A) ET.Either[E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]
func ChainIOEitherK[S, R, E, A, B any](f func(A) IOE.IOEither[E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]
func ChainReaderIOEitherK[S, R, E, A, B any](f func(A) RIOE.ReaderIOEither[R, E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]
func Eq[S, R, E, A any](eqr EQ.Eq[RIOE.ReaderIOEither[R, E, P.Pair[A, S]]]) func(S) EQ.Eq[StateReaderIOEither[S, R, E, A]]
func FromEitherK[S, R, E, A, B any](f func(A) ET.Either[E, B]) func(A) StateReaderIOEither[S, R, E, B]
func FromIOEitherK[S, R, E, A, B any](f func(A) IOE.IOEither[E, B]) func(A) StateReaderIOEither[S, R, E, B]
func FromIOK[S, R, E, A, B any](f func(A) IO.IO[B]) func(A) StateReaderIOEither[S, R, E, B]
func FromReaderIOEitherK[S, R, E, A, B any](f func(A) RIOE.ReaderIOEither[R, E, B]) func(A) StateReaderIOEither[S, R, E, B]
func FromStrictEquals[S, R any, E, A comparable]() func(R) func(S) EQ.Eq[StateReaderIOEither[S, R, E, A]]
func Functor[S, R, E, A, B any]() ...
func Local[S, R1, R2, E, A, B any](f func(R2) R1) func(StateReaderIOEither[S, R1, E, A]) StateReaderIOEither[S, R2, E, A]
func Map[S, R, E, A, B any](f func(A) B) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]
func Monad[S, R, E, A, B any]() ...
func Pointed[S, R, E, A any]() pointed.Pointed[A, StateReaderIOEither[S, R, E, A]]
type StateReaderIOEither

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func Ap ¶ added in v1.0.135

func Ap[S, R, E, A, B any](fa StateReaderIOEither[S, R, E, A]) func(StateReaderIOEither[S, R, E, func(A) B]) StateReaderIOEither[S, R, E, B]

func Applicative ¶ added in v1.0.135

func Applicative[S, R, E, A, B any]() applicative.Applicative[A, B, StateReaderIOEither[S, R, E, A], StateReaderIOEither[S, R, E, B], StateReaderIOEither[S, R, E, func(A) B]]

Applicative returns the applicative operations for StateReaderIOEither

func Chain ¶

func Chain[S, R, E, A, B any](f func(A) StateReaderIOEither[S, R, E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]

func ChainEitherK ¶ added in v1.0.137

func ChainEitherK[S, R, E, A, B any](f func(A) ET.Either[E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]

func ChainIOEitherK ¶ added in v1.0.137

func ChainIOEitherK[S, R, E, A, B any](f func(A) IOE.IOEither[E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]

func ChainReaderIOEitherK ¶ added in v1.0.137

func ChainReaderIOEitherK[S, R, E, A, B any](f func(A) RIOE.ReaderIOEither[R, E, B]) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]

func Eq ¶ added in v1.0.135

func Eq[
	S, R, E, A any](eqr EQ.Eq[RIOE.ReaderIOEither[R, E, P.Pair[A, S]]]) func(S) EQ.Eq[StateReaderIOEither[S, R, E, A]]

Eq implements the equals predicate for values contained in the StateReaderIOEither monad

func FromEitherK ¶ added in v1.0.137

func FromEitherK[S, R, E, A, B any](f func(A) ET.Either[E, B]) func(A) StateReaderIOEither[S, R, E, B]

func FromIOEitherK ¶ added in v1.0.137

func FromIOEitherK[
	S, R, E, A, B any,
](f func(A) IOE.IOEither[E, B]) func(A) StateReaderIOEither[S, R, E, B]

func FromIOK ¶ added in v1.0.137

func FromIOK[S, R, E, A, B any](f func(A) IO.IO[B]) func(A) StateReaderIOEither[S, R, E, B]

func FromReaderIOEitherK ¶ added in v1.0.137

func FromReaderIOEitherK[S, R, E, A, B any](f func(A) RIOE.ReaderIOEither[R, E, B]) func(A) StateReaderIOEither[S, R, E, B]

func FromStrictEquals ¶ added in v1.0.135

func FromStrictEquals[
	S, R any, E, A comparable]() func(R) func(S) EQ.Eq[StateReaderIOEither[S, R, E, A]]

FromStrictEquals constructs an [EQ.Eq] from the canonical comparison function

func Functor ¶ added in v1.0.135

func Functor[S, R, E, A, B any]() functor.Functor[A, B, StateReaderIOEither[S, R, E, A], StateReaderIOEither[S, R, E, B]]

Functor returns the functor operations for StateReaderIOEither

func Local ¶ added in v1.0.137

func Local[S, R1, R2, E, A, B any](f func(R2) R1) func(StateReaderIOEither[S, R1, E, A]) StateReaderIOEither[S, R2, E, A]

func Map ¶

func Map[S, R, E, A, B any](f func(A) B) func(StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]

func Monad ¶ added in v1.0.135

func Monad[S, R, E, A, B any]() monad.Monad[A, B, StateReaderIOEither[S, R, E, A], StateReaderIOEither[S, R, E, B], StateReaderIOEither[S, R, E, func(A) B]]

Monad returns the monadic operations for StateReaderIOEither

func Pointed ¶ added in v1.0.135

func Pointed[S, R, E, A any]() pointed.Pointed[A, StateReaderIOEither[S, R, E, A]]

Pointed returns the pointed operations for StateReaderIOEither

Types ¶

type StateReaderIOEither ¶

type StateReaderIOEither[S, R, E, A any] RD.Reader[S, RIOE.ReaderIOEither[R, E, P.Pair[A, S]]]

func Asks ¶ added in v1.0.137

func Asks[
	S, R, E, A any,
](f func(R) StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, A]

func FromEither ¶ added in v1.0.136

func FromEither[S, R, E, A any](ma ET.Either[E, A]) StateReaderIOEither[S, R, E, A]

func FromIO ¶ added in v1.0.136

func FromIO[S, R, E, A any](fa IO.IO[A]) StateReaderIOEither[S, R, E, A]

func FromIOEither ¶ added in v1.0.136

func FromIOEither[S, R, E, A any](fa IOE.IOEither[E, A]) StateReaderIOEither[S, R, E, A]

func FromReader ¶ added in v1.0.136

func FromReader[S, R, E, A any](fa RD.Reader[R, A]) StateReaderIOEither[S, R, E, A]

func FromReaderEither ¶ added in v1.0.136

func FromReaderEither[S, R, E, A any](fa RE.ReaderEither[R, E, A]) StateReaderIOEither[S, R, E, A]

func FromReaderIOEither ¶ added in v1.0.136

func FromReaderIOEither[S, R, E, A any](fa RIOE.ReaderIOEither[R, E, A]) StateReaderIOEither[S, R, E, A]

func FromState ¶ added in v1.0.136

func FromState[S, R, E, A any](sa ST.State[S, A]) StateReaderIOEither[S, R, E, A]

func Left ¶ added in v1.0.136

func Left[S, R, A, E any](e E) StateReaderIOEither[S, R, E, A]

func MonadAp ¶ added in v1.0.135

func MonadAp[S, R, E, A, B any](fab StateReaderIOEither[S, R, E, func(A) B], fa StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, B]

func MonadChain ¶

func MonadChain[S, R, E, A, B any](fa StateReaderIOEither[S, R, E, A], f func(A) StateReaderIOEither[S, R, E, B]) StateReaderIOEither[S, R, E, B]

func MonadChainEitherK ¶ added in v1.0.137

func MonadChainEitherK[S, R, E, A, B any](ma StateReaderIOEither[S, R, E, A], f func(A) ET.Either[E, B]) StateReaderIOEither[S, R, E, B]

func MonadChainIOEitherK ¶ added in v1.0.137

func MonadChainIOEitherK[S, R, E, A, B any](ma StateReaderIOEither[S, R, E, A], f func(A) IOE.IOEither[E, B]) StateReaderIOEither[S, R, E, B]

func MonadChainReaderIOEitherK ¶ added in v1.0.137

func MonadChainReaderIOEitherK[S, R, E, A, B any](ma StateReaderIOEither[S, R, E, A], f func(A) RIOE.ReaderIOEither[R, E, B]) StateReaderIOEither[S, R, E, B]

func MonadMap ¶

func MonadMap[S, R, E, A, B any](fa StateReaderIOEither[S, R, E, A], f func(A) B) StateReaderIOEither[S, R, E, B]

func Of ¶

func Of[S, R, E, A any](a A) StateReaderIOEither[S, R, E, A]

func Right ¶

func Right[S, R, E, A any](a A) StateReaderIOEither[S, R, E, A]

Source Files ¶

View all Source files

Directories ¶

Path	Synopsis
generic
testing

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL