array

Documentation

Index

• func Append[GA ~[]A, A any](as GA, a A) GA
• func ConstNil[GA ~[]A, A any]() GA
• func Empty[GA ~[]A, A any]() GA
• func IsEmpty[GA ~[]A, A any](as GA) bool
• func IsNil[GA ~[]A, A any](as GA) bool
• func IsNonNil[GA ~[]A, A any](as GA) bool
• func MonadMap[GA ~[]A, GB ~[]B, A, B any](as GA, f func(a A) B) GB
• func MonadTraverse[GA ~[]A, GB ~[]B, A, B, HKTB, HKTAB, HKTRB any](fof func(GB) HKTRB, fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB, ...) HKTRB
• func MonadTraverseReduce[GA ~[]A, GB, A, B, HKTB, HKTAB, HKTRB any](fof func(GB) HKTRB, fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB, ...) HKTRB
• func Reduce[GA ~[]A, A, B any](fa GA, f func(B, A) B, initial B) B
• func Slice[GA ~[]A, A any](low, high int) func(as GA) GA
• func Traverse[GA ~[]A, GB ~[]B, A, B, HKTB, HKTAB, HKTRB any](fof func(GB) HKTRB, fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB, ...) func(GA) HKTRB
• func TraverseReduce[GA ~[]A, GB, A, B, HKTB, HKTAB, HKTRB any](fof func(GB) HKTRB, fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB, ...) func(GA) HKTRB
• func UpsertAt[GA ~[]A, A any](a A) func(GA) GA

Functions

func Append

func Append[GA ~[]A, A any](as GA, a A) GA

func ConstNil

func ConstNil[GA ~[]A, A any]() GA

func Empty

func Empty[GA ~[]A, A any]() GA

func IsEmpty

func IsEmpty[GA ~[]A, A any](as GA) bool

func IsNil

func IsNil[GA ~[]A, A any](as GA) bool

func IsNonNil

func IsNonNil[GA ~[]A, A any](as GA) bool

func MonadMap

func MonadMap[GA ~[]A, GB ~[]B, A, B any](as GA, f func(a A) B) GB

func MonadTraverse

func MonadTraverse[GA ~[]A, GB ~[]B, A, B, HKTB, HKTAB, HKTRB any](
	fof func(GB) HKTRB,
	fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB,
	fap func(HKTB) func(HKTAB) HKTRB,

	ta GA,
	f func(A) HKTB) HKTRB

* We need to pass the members of the applicative explicitly, because golang does neither support higher kinded types nor template methods on structs or interfaces

HKTRB = HKT<GB> HKTB = HKT<B> HKTAB = HKT<func(A)B>

func MonadTraverseReduce

func MonadTraverseReduce[GA ~[]A, GB, A, B, HKTB, HKTAB, HKTRB any](
	fof func(GB) HKTRB,
	fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB,
	fap func(HKTB) func(HKTAB) HKTRB,

	ta GA,

	transform func(A) HKTB,
	reduce func(GB, B) GB,
	initial GB,
) HKTRB

func Reduce

func Reduce[GA ~[]A, A, B any](fa GA, f func(B, A) B, initial B) B

func Slice

func Slice[GA ~[]A, A any](low, high int) func(as GA) GA

func Traverse

func Traverse[GA ~[]A, GB ~[]B, A, B, HKTB, HKTAB, HKTRB any](
	fof func(GB) HKTRB,
	fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB,
	fap func(HKTB) func(HKTAB) HKTRB,

	f func(A) HKTB) func(GA) HKTRB

func TraverseReduce

func TraverseReduce[GA ~[]A, GB, A, B, HKTB, HKTAB, HKTRB any](
	fof func(GB) HKTRB,
	fmap func(func(GB) func(B) GB) func(HKTRB) HKTAB,
	fap func(HKTB) func(HKTAB) HKTRB,

	transform func(A) HKTB,
	reduce func(GB, B) GB,
	initial GB,
) func(GA) HKTRB

func UpsertAt

func UpsertAt[GA ~[]A, A any](a A) func(GA) GA