fromeither

package
v2.1.21 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jan 23, 2026 License: Apache-2.0 Imports: 4 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func BindEitherK

func BindEitherK[
	E, S1, S2, T,
	HKTET,
	HKTES1,
	HKTES2 any](
	mchain func(func(S1) HKTES2) func(HKTES1) HKTES2,
	mmap func(func(T) S2) func(HKTET) HKTES2,
	fromEither func(ET.Either[E, T]) HKTET,
	setter func(T) func(S1) S2,
	f func(S1) ET.Either[E, T],
) func(HKTES1) HKTES2

func ChainEitherK

func ChainEitherK[A, E, B, HKTEA, HKTEB any](
	mchain func(func(A) HKTEB) func(HKTEA) HKTEB,
	fromEither func(ET.Either[E, B]) HKTEB,
	f func(A) ET.Either[E, B]) func(HKTEA) HKTEB

func ChainFirstEitherK

func ChainFirstEitherK[A, E, B, HKTEA, HKTEB any](
	mchain func(func(A) HKTEA) func(HKTEA) HKTEA,
	mmap func(func(B) A) func(HKTEB) HKTEA,
	fromEither func(ET.Either[E, B]) HKTEB,
	f func(A) ET.Either[E, B]) func(HKTEA) HKTEA

func ChainOptionK

func ChainOptionK[A, E, B, HKTEA, HKTEB any](
	mchain func(HKTEA, func(A) HKTEB) HKTEB,
	fromEither func(ET.Either[E, B]) HKTEB,
	onNone func() E,
) func(f func(A) O.Option[B]) func(ma HKTEA) HKTEB

func FromOption

func FromOption[A, HKTEA, E any](fromEither func(ET.Either[E, A]) HKTEA, onNone func() E) func(ma O.Option[A]) HKTEA

func FromOptionK

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

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

func MonadChainEitherK[A, E, B, HKTEA, HKTEB any](
	mchain func(HKTEA, func(A) HKTEB) HKTEB,
	fromEither func(ET.Either[E, B]) HKTEB,
	ma HKTEA,
	f func(A) ET.Either[E, B]) HKTEB

func MonadChainFirstEitherK

func MonadChainFirstEitherK[A, E, B, HKTEA, HKTEB any](
	mchain func(HKTEA, func(A) HKTEA) HKTEA,
	mmap func(HKTEB, func(B) A) HKTEA,
	fromEither func(ET.Either[E, B]) HKTEB,
	ma HKTEA,
	f func(A) ET.Either[E, B]) HKTEA

func MonadFromOption

func MonadFromOption[E, A, HKTEA any](
	fromEither func(ET.Either[E, A]) HKTEA,
	onNone func() E,
	ma O.Option[A],
) HKTEA

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

Jump to

Keyboard shortcuts

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