Documentation
¶
Index ¶
- func Ap[B, E, L, A any](fa ReaderEither[E, L, A]) func(ReaderEither[E, L, func(A) B]) ReaderEither[E, L, B]
- func BiMap[E, E1, E2, A, B any](f func(E1) E2, g func(A) B) func(ReaderEither[E, E1, A]) ReaderEither[E, E2, B]
- func Chain[E, L, A, B any](f func(A) ReaderEither[E, L, B]) func(ReaderEither[E, L, A]) ReaderEither[E, L, B]
- func ChainEitherK[A, B, L, E any](f func(A) ET.Either[L, B]) func(ma ReaderEither[E, L, A]) ReaderEither[E, L, B]
- func ChainOptionK[E, A, B, L any](onNone func() L) func(func(A) O.Option[B]) func(ReaderEither[E, L, A]) ReaderEither[E, L, B]
- func Curry1[R, T1, A any](f func(R, T1) (A, error)) func(T1) ReaderEither[R, error, A]
- func Curry2[R, T1, T2, A any](f func(R, T1, T2) (A, error)) func(T1) func(T2) ReaderEither[R, error, A]
- func Curry3[R, T1, T2, T3, A any](f func(R, T1, T2, T3) (A, error)) func(T1) func(T2) func(T3) ReaderEither[R, error, A]
- func Fold[E, L, A, B any](onLeft func(L) R.Reader[E, B], onRight func(A) R.Reader[E, B]) func(ReaderEither[E, L, A]) R.Reader[E, B]
- func From0[R, A any](f func(R) (A, error)) func() ReaderEither[R, error, A]
- func From1[R, T1, A any](f func(R, T1) (A, error)) func(T1) ReaderEither[R, error, A]
- func From2[R, T1, T2, A any](f func(R, T1, T2) (A, error)) func(T1, T2) ReaderEither[R, error, A]
- func From3[R, T1, T2, T3, A any](f func(R, T1, T2, T3) (A, error)) func(T1, T2, T3) ReaderEither[R, error, A]
- func FromPredicate[E, L, A any](pred func(A) bool, onFalse func(A) L) func(A) ReaderEither[E, L, A]
- func GetOrElse[E, L, A any](onLeft func(L) R.Reader[E, A]) func(ReaderEither[E, L, A]) R.Reader[E, A]
- func Local[E, A, R2, R1 any](f func(R2) R1) func(ReaderEither[R1, E, A]) ReaderEither[R2, E, A]
- func Map[E, L, A, B any](f func(A) B) func(ReaderEither[E, L, A]) ReaderEither[E, L, B]
- func OrElse[E, L1, A, L2 any](onLeft func(L1) ReaderEither[E, L2, A]) func(ReaderEither[E, L1, A]) ReaderEither[E, L2, A]
- func OrLeft[A, L1, E, L2 any](onLeft func(L1) R.Reader[E, L2]) func(ReaderEither[E, L1, A]) ReaderEither[E, L2, A]
- func Read[E1, A, E any](e E) func(ReaderEither[E, E1, A]) ET.Either[E1, A]
- func TraverseArray[E, L, A, B any](f func(A) ReaderEither[E, L, B]) func([]A) ReaderEither[E, L, []B]
- func Uncurry1[R, T1, A any](f func(T1) ReaderEither[R, error, A]) func(R, T1) (A, error)
- func Uncurry2[R, T1, T2, A any](f func(T1) func(T2) ReaderEither[R, error, A]) func(R, T1, T2) (A, error)
- func Uncurry3[R, T1, T2, T3, A any](f func(T1) func(T2) func(T3) ReaderEither[R, error, A]) func(R, T1, T2, T3) (A, error)
- type ReaderEither
- func Ask[E, L any]() ReaderEither[E, L, E]
- func Asks[L, E, A any](r R.Reader[E, A]) ReaderEither[E, L, A]
- func Curry0[R, A any](f func(R) (A, error)) ReaderEither[R, error, A]
- func Flatten[E, L, A any](mma ReaderEither[E, L, ReaderEither[E, L, A]]) ReaderEither[E, L, A]
- func FromEither[E, L, A any](e ET.Either[L, A]) ReaderEither[E, L, A]
- func FromReader[E, L, A any](r R.Reader[E, A]) ReaderEither[E, L, A]
- func Left[E, A, L any](l L) ReaderEither[E, L, A]
- func LeftReader[A, E, L any](l R.Reader[E, L]) ReaderEither[E, L, A]
- func MakeReaderEither[L, E, A any](f func(E) ET.Either[L, A]) ReaderEither[E, L, A]
- func MonadAp[E, L, A, B any](fab ReaderEither[E, L, func(A) B], fa ReaderEither[E, L, A]) ReaderEither[E, L, B]
- func MonadBiMap[E, E1, E2, A, B any](fa ReaderEither[E, E1, A], f func(E1) E2, g func(A) B) ReaderEither[E, E2, B]
- func MonadChain[E, L, A, B any](ma ReaderEither[E, L, A], f func(A) ReaderEither[E, L, B]) ReaderEither[E, L, B]
- func MonadChainEitherK[A, B, L, E any](ma ReaderEither[E, L, A], f func(A) ET.Either[L, B]) ReaderEither[E, L, B]
- func MonadMap[E, L, A, B any](fa ReaderEither[E, L, A], f func(A) B) ReaderEither[E, L, B]
- func Of[E, L, A any](a A) ReaderEither[E, L, A]
- func Right[E, L, A any](r A) ReaderEither[E, L, A]
- func RightReader[L, E, A any](r R.Reader[E, A]) ReaderEither[E, L, A]
- func SequenceArray[E, L, A any](ma []ReaderEither[E, L, A]) ReaderEither[E, L, []A]
- func SequenceT1[L, E, A any](a ReaderEither[E, L, A]) ReaderEither[E, L, T.Tuple1[A]]
- func SequenceT2[L, E, A, B any](a ReaderEither[E, L, A], b ReaderEither[E, L, B]) ReaderEither[E, L, T.Tuple2[A, B]]
- func SequenceT3[L, E, A, B, C any](a ReaderEither[E, L, A], b ReaderEither[E, L, B], c ReaderEither[E, L, C]) ReaderEither[E, L, T.Tuple3[A, B, C]]
- func SequenceT4[L, E, A, B, C, D any](a ReaderEither[E, L, A], b ReaderEither[E, L, B], c ReaderEither[E, L, C], ...) ReaderEither[E, L, T.Tuple4[A, B, C, D]]
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func Ap ¶
func Ap[B, E, L, A any](fa ReaderEither[E, L, A]) func(ReaderEither[E, L, func(A) B]) ReaderEither[E, L, B]
func BiMap ¶
func BiMap[E, E1, E2, A, B any](f func(E1) E2, g func(A) B) func(ReaderEither[E, E1, A]) ReaderEither[E, E2, B]
BiMap maps a pair of functions over the two type arguments of the bifunctor.
func Chain ¶
func Chain[E, L, A, B any](f func(A) ReaderEither[E, L, B]) func(ReaderEither[E, L, A]) ReaderEither[E, L, B]
func ChainEitherK ¶
func ChainEitherK[A, B, L, E any](f func(A) ET.Either[L, B]) func(ma ReaderEither[E, L, A]) ReaderEither[E, L, B]
func ChainOptionK ¶
func ChainOptionK[E, A, B, L any](onNone func() L) func(func(A) O.Option[B]) func(ReaderEither[E, L, A]) ReaderEither[E, L, B]
func Curry1 ¶
func Curry1[R, T1, A any](f func(R, T1) (A, error)) func(T1) ReaderEither[R, error, A]
func Curry2 ¶
func Curry2[R, T1, T2, A any](f func(R, T1, T2) (A, error)) func(T1) func(T2) ReaderEither[R, error, A]
func Curry3 ¶
func Curry3[R, T1, T2, T3, A any](f func(R, T1, T2, T3) (A, error)) func(T1) func(T2) func(T3) ReaderEither[R, error, A]
func From2 ¶
func From2[R, T1, T2, A any](f func(R, T1, T2) (A, error)) func(T1, T2) ReaderEither[R, error, A]
func From3 ¶
func From3[R, T1, T2, T3, A any](f func(R, T1, T2, T3) (A, error)) func(T1, T2, T3) ReaderEither[R, error, A]
func FromPredicate ¶
func FromPredicate[E, L, A any](pred func(A) bool, onFalse func(A) L) func(A) ReaderEither[E, L, A]
func Local ¶
func Local[E, A, R2, R1 any](f func(R2) R1) func(ReaderEither[R1, E, A]) ReaderEither[R2, E, A]
Local changes the value of the local context during the execution of the action `ma` (similar to `Contravariant`'s `contramap`).
func Map ¶
func Map[E, L, A, B any](f func(A) B) func(ReaderEither[E, L, A]) ReaderEither[E, L, B]
func OrElse ¶
func OrElse[E, L1, A, L2 any](onLeft func(L1) ReaderEither[E, L2, A]) func(ReaderEither[E, L1, A]) ReaderEither[E, L2, A]
func OrLeft ¶
func OrLeft[A, L1, E, L2 any](onLeft func(L1) R.Reader[E, L2]) func(ReaderEither[E, L1, A]) ReaderEither[E, L2, A]
func Read ¶
func Read[E1, A, E any](e E) func(ReaderEither[E, E1, A]) ET.Either[E1, A]
Read applies a context to a reader to obtain its value
func TraverseArray ¶
func TraverseArray[E, L, A, B any](f func(A) ReaderEither[E, L, B]) func([]A) ReaderEither[E, L, []B]
TraverseArray transforms an array
func Uncurry1 ¶
func Uncurry1[R, T1, A any](f func(T1) ReaderEither[R, error, A]) func(R, T1) (A, error)
Types ¶
type ReaderEither ¶
func Ask ¶
func Ask[E, L any]() ReaderEither[E, L, E]
func Flatten ¶
func Flatten[E, L, A any](mma ReaderEither[E, L, ReaderEither[E, L, A]]) ReaderEither[E, L, A]
func FromEither ¶
func FromEither[E, L, A any](e ET.Either[L, A]) ReaderEither[E, L, A]
func FromReader ¶
func FromReader[E, L, A any](r R.Reader[E, A]) ReaderEither[E, L, A]
func Left ¶
func Left[E, A, L any](l L) ReaderEither[E, L, A]
func LeftReader ¶
func LeftReader[A, E, L any](l R.Reader[E, L]) ReaderEither[E, L, A]
func MakeReaderEither ¶
func MakeReaderEither[L, E, A any](f func(E) ET.Either[L, A]) ReaderEither[E, L, A]
func MonadAp ¶
func MonadAp[E, L, A, B any](fab ReaderEither[E, L, func(A) B], fa ReaderEither[E, L, A]) ReaderEither[E, L, B]
func MonadBiMap ¶
func MonadBiMap[E, E1, E2, A, B any](fa ReaderEither[E, E1, A], f func(E1) E2, g func(A) B) ReaderEither[E, E2, B]
func MonadChain ¶
func MonadChain[E, L, A, B any](ma ReaderEither[E, L, A], f func(A) ReaderEither[E, L, B]) ReaderEither[E, L, B]
func MonadChainEitherK ¶
func MonadChainEitherK[A, B, L, E any](ma ReaderEither[E, L, A], f func(A) ET.Either[L, B]) ReaderEither[E, L, B]
func MonadMap ¶
func MonadMap[E, L, A, B any](fa ReaderEither[E, L, A], f func(A) B) ReaderEither[E, L, B]
func Of ¶
func Of[E, L, A any](a A) ReaderEither[E, L, A]
func Right ¶
func Right[E, L, A any](r A) ReaderEither[E, L, A]
func RightReader ¶
func RightReader[L, E, A any](r R.Reader[E, A]) ReaderEither[E, L, A]
func SequenceArray ¶
func SequenceArray[E, L, A any](ma []ReaderEither[E, L, A]) ReaderEither[E, L, []A]
SequenceArray converts a homogeneous sequence of either into an either of sequence
func SequenceT1 ¶
func SequenceT1[L, E, A any](a ReaderEither[E, L, A]) ReaderEither[E, L, T.Tuple1[A]]
func SequenceT2 ¶
func SequenceT2[L, E, A, B any]( a ReaderEither[E, L, A], b ReaderEither[E, L, B], ) ReaderEither[E, L, T.Tuple2[A, B]]
func SequenceT3 ¶
func SequenceT3[L, E, A, B, C any]( a ReaderEither[E, L, A], b ReaderEither[E, L, B], c ReaderEither[E, L, C], ) ReaderEither[E, L, T.Tuple3[A, B, C]]
func SequenceT4 ¶
func SequenceT4[L, E, A, B, C, D any]( a ReaderEither[E, L, A], b ReaderEither[E, L, B], c ReaderEither[E, L, C], d ReaderEither[E, L, D], ) ReaderEither[E, L, T.Tuple4[A, B, C, D]]
Source Files
Directories
Click to show internal directories.
Click to hide internal directories.