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
- func Asks[S, R, E, A any](f func(R) StateReaderIOEither[S, R, E, A]) StateReaderIOEither[S, R, E, A]
- func FromEither[S, R, E, A any](ma ET.Either[E, A]) StateReaderIOEither[S, R, E, A]
- func FromIO[S, R, E, A any](fa IO.IO[A]) StateReaderIOEither[S, R, E, A]
- func FromIOEither[S, R, E, A any](fa IOE.IOEither[E, A]) StateReaderIOEither[S, R, E, A]
- func FromReader[S, R, E, A any](fa RD.Reader[R, A]) StateReaderIOEither[S, R, E, A]
- func FromReaderEither[S, R, E, A any](fa RE.ReaderEither[R, E, A]) StateReaderIOEither[S, R, E, A]
- func FromReaderIOEither[S, R, E, A any](fa RIOE.ReaderIOEither[R, E, A]) StateReaderIOEither[S, R, E, A]
- func FromState[S, R, E, A any](sa ST.State[S, A]) StateReaderIOEither[S, R, E, A]
- func Left[S, R, A, E any](e E) StateReaderIOEither[S, R, E, A]
- func MonadAp[S, R, E, A, B any](fab StateReaderIOEither[S, R, E, func(A) B], ...) StateReaderIOEither[S, R, E, B]
- 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[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[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[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[S, R, E, A, B any](fa StateReaderIOEither[S, R, E, A], f func(A) B) StateReaderIOEither[S, R, E, B]
- func Of[S, R, E, A any](a A) StateReaderIOEither[S, R, E, A]
- func Right[S, R, E, A any](a A) StateReaderIOEither[S, R, E, A]
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 ¶
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]
Click to show internal directories.
Click to hide internal directories.