generic

Documentation

Index

• func Compose[TAB ~func(func(B) HKTB) func(A) HKTA, TSA ~func(func(A) HKTA) func(S) HKTS, ...](ab TAB) func(TSA) TSB
• func Fold[S, A any](sa Traversal[S, A, C.Const[A, S], C.Const[A, A]]) func(S) A
• func FoldMap[M, S, A any](f func(A) M) func(sa Traversal[S, A, C.Const[M, S], C.Const[M, A]]) func(S) M
• func FromTraversable[TAB ~func(func(A) HKTFA) func(HKTTA) HKTAA, A, HKTTA, HKTFA, HKTAA any](traverseF func(HKTTA, func(A) HKTFA) HKTAA) TAB
• func GetAll[GA ~[]A, S, A any](s S) func(sa Traversal[S, A, C.Const[GA, S], C.Const[GA, A]]) GA
• type Traversal

Functions

func Compose

func Compose[
	TAB ~func(func(B) HKTB) func(A) HKTA,
	TSA ~func(func(A) HKTA) func(S) HKTS,
	TSB ~func(func(B) HKTB) func(S) HKTS,
	S, A, B, HKTS, HKTA, HKTB any](ab TAB) func(TSA) TSB

func Fold

func Fold[S, A any](sa Traversal[S, A, C.Const[A, S], C.Const[A, A]]) func(S) A

Fold maps each target to a `Monoid` and combines the result

func FoldMap

func FoldMap[M, S, A any](f func(A) M) func(sa Traversal[S, A, C.Const[M, S], C.Const[M, A]]) func(S) M

FoldMap maps each target to a `Monoid` and combines the result

func FromTraversable

func FromTraversable[
	TAB ~func(func(A) HKTFA) func(HKTTA) HKTAA,
	A,
	HKTTA,
	HKTFA,
	HKTAA any](
	traverseF func(HKTTA, func(A) HKTFA) HKTAA,
) TAB

func GetAll

func GetAll[GA ~[]A, S, A any](s S) func(sa Traversal[S, A, C.Const[GA, S], C.Const[GA, A]]) GA

GetAll gets all the targets of a traversal

Types

type Traversal

type Traversal[S, A, HKTS, HKTA any] func(func(A) HKTA) func(S) HKTS