witherable

package
v2.3.8 Latest Latest
Warning

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

Go to latest
Published: May 20, 2026 License: Apache-2.0 Imports: 5 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Filter

func Filter[A, HKT_G_A, HKT_F_HKT_G_A any](
	fmap functor.MapType[HKT_G_A, HKT_G_A, HKT_F_HKT_G_A, HKT_F_HKT_G_A],
	ffilter filterable.FilterType[A, HKT_G_A],
) func(func(A) bool) func(HKT_F_HKT_G_A) HKT_F_HKT_G_A

func FilterMap

func FilterMap[A, B, HKT_G_A, HKT_G_B, HKT_F_HKT_G_A, HKT_F_HKT_G_B any](
	fmap functor.MapType[HKT_G_A, HKT_G_B, HKT_F_HKT_G_A, HKT_F_HKT_G_B],
	ffilter filterable.FilterMapType[A, B, HKT_G_A, HKT_G_B],
) func(func(A) Option[B]) func(HKT_F_HKT_G_A) HKT_F_HKT_G_B

Types

type Option

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

type Separated added in v2.3.6

type Separated[A, B any] = pair.Pair[A, B]

type WiltType added in v2.3.6

type WiltType[A, HKTWA, HKTFEBC, HKTSWBC any] = func(func(A) HKTFEBC) func(HKTWA) HKTSWBC

HKTWA = W[A] HKTFEBC = F[Either[B, C]] HKTSWBC = F[Either[W[B], W[C]]]

type WitherType added in v2.3.6

type WitherType[A, HKTWA, HKTFOB, HKTFWB any] = func(func(A) HKTFOB) func(HKTWA) HKTFWB

HKTWA = W[A] HKTFOB = F[Option[B]] HKTFWB = F[W[B]]

Jump to

Keyboard shortcuts

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