Documentation
¶
Index ¶
- func BindEitherK[E, S1, S2, T, HKTET, HKTES1, HKTES2 any](mchain func(func(S1) HKTES2) func(HKTES1) HKTES2, ...) func(HKTES1) HKTES2
- func ChainEitherK[A, E, B, HKTEA, HKTEB any](mchain func(func(A) HKTEB) func(HKTEA) HKTEB, ...) func(HKTEA) HKTEB
- func ChainFirstEitherK[A, E, B, HKTEA, HKTEB any](mchain func(func(A) HKTEA) func(HKTEA) HKTEA, ...) func(HKTEA) HKTEA
- func ChainOptionK[A, E, B, HKTEA, HKTEB any](mchain func(HKTEA, func(A) HKTEB) HKTEB, ...) func(f func(A) O.Option[B]) func(ma HKTEA) HKTEB
- func FromOption[A, HKTEA, E any](fromEither func(ET.Either[E, A]) HKTEA, onNone func() E) func(ma O.Option[A]) HKTEA
- func FromOptionK[A, E, B, HKTEB any](fromEither func(ET.Either[E, B]) HKTEB, onNone func() E) func(f func(A) O.Option[B]) func(A) HKTEB
- func FromPredicate[E, A, HKTEA any](fromEither func(ET.Either[E, A]) HKTEA, pred func(A) bool, onFalse func(A) E) func(A) HKTEA
- func MonadChainEitherK[A, E, B, HKTEA, HKTEB any](mchain func(HKTEA, func(A) HKTEB) HKTEB, ...) HKTEB
- func MonadChainFirstEitherK[A, E, B, HKTEA, HKTEB any](mchain func(HKTEA, func(A) HKTEA) HKTEA, mmap func(HKTEB, func(B) A) HKTEA, ...) HKTEA
- func MonadFromOption[E, A, HKTEA any](fromEither func(ET.Either[E, A]) HKTEA, onNone func() E, ma O.Option[A]) HKTEA
- type FromEither
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func BindEitherK ¶
func ChainEitherK ¶
func ChainFirstEitherK ¶
func ChainOptionK ¶
func FromOption ¶
func FromOptionK ¶
func FromPredicate ¶
func MonadChainEitherK ¶
func MonadChainFirstEitherK ¶
Types ¶
type FromEither ¶
type FromEither[E, A, HKTA any] interface { // FromEither converts an Either value into the target monadic type. FromEither(ET.Either[E, A]) HKTA }
FromEither represents a type that can be constructed from an Either value.
This interface provides a way to lift Either values into other monadic contexts, enabling interoperability between Either and other effect types.
Type Parameters:
- E: The error type in the Either
- A: The success value type in the Either
- HKTA: The target higher-kinded type
Click to show internal directories.
Click to hide internal directories.