fromoption

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

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.