statereaderioeither

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 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 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 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 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 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]

Functions

func Ap

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

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 Eq

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 FromStrictEquals

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

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 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

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

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 FromEither

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

func FromIO

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

func FromIOEither

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

func FromReader

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

func FromReaderEither

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

func FromReaderIOEither

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

func FromState

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

func Left

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

func MonadAp

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 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]