Help us shape the future of Go! Take the 2026 Go Developer Survey

fromoption

package
v2.10.2 Latest Latest
Warning

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

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

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func ChainOptionK

func ChainOptionK[A, B, HKTEA, HKTEB any](
	mchain func(func(A) HKTEB) func(HKTEA) HKTEB,
	fromOption func(Option[B]) HKTEB,
	f func(A) Option[B]) func(HKTEA) HKTEB

func FromPredicate

func FromPredicate[A, HKTEA any](fromOption func(Option[A]) HKTEA, pred func(A) bool) func(A) HKTEA

func MonadChainOptionK

func MonadChainOptionK[A, B, HKTEA, HKTEB any](
	mchain func(HKTEA, func(A) HKTEB) HKTEB,
	fromOption func(Option[B]) HKTEB,
	ma HKTEA,
	f func(A) Option[B]) HKTEB

Types

type FromOption

type FromOption[A, HKTA any] interface {
	// FromEither converts an Option value into the target monadic type.
	// Note: The method name should probably be FromOption, but is FromEither for compatibility.
	FromEither(Option[A]) HKTA
}

FromOption represents a type that can be constructed from an Option value.

This interface provides a way to lift Option values into other monadic contexts, enabling interoperability between Option and other effect types.

Type Parameters:

  • A: The value type in the Option
  • HKTA: The target higher-kinded type

type Option

type Option[T any] = option.Option[T]

Option represents an optional value that may or may not be present.

Jump to

Keyboard shortcuts

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