foldable

Apr 22, 2022

Changes in this version

+ func Concat(fa FA, ma MA, ta DA) A

Apr 12, 2022

Changes in this version

type Class

+ Elem func(EA, A, TA) bool

+ Length func(TA) int

+ Maximum func(OA, TA) A

+ Minimum func(OA, TA) A

+ Null func(TA) bool

+ ToList func(TA) []A

+ type T interface

type Type

+ func (t Type[A, B]) Elem(ea eq.Class[A], a A, ta data.Data[A]) bool

+ func (t Type[A, B]) Length(ta data.Data[A]) int

+ func (t Type[A, B]) Maximum(oa ord.Class[A], ta data.Data[A]) A

+ func (t Type[A, B]) Minimum(oa ord.Class[A], ta data.Data[A]) A

+ func (t Type[A, B]) Null(ta data.Data[A]) bool

+ func (t Type[A, B]) ToList(ta data.Data[A]) (result []A)

Apr 6, 2022

Changes in this version

+ type Class interface

+ Fold func(monoid.Class[A], data.Data[A]) A

+ FoldL func(func(B, A) B, B, data.Data[A]) B

+ FoldMap func(monoid.Class[B], func(A) B, data.Data[A]) B

+ FoldR func(func(A, B) B, B, data.Data[A]) B

+ type Type struct

+ func NewType() Type[A, B]

+ func (t Type[A, B]) Fold(ma monoid.Class[A], ta data.Data[A]) A

+ func (t Type[A, B]) FoldL(f func(B, A) B, z B, ta data.Data[A]) B

+ func (t Type[A, B]) FoldMap(mb monoid.Class[B], f func(A) B, ta data.Data[A]) B

+ func (t Type[A, B]) FoldR(f func(A, B) B, z B, ta data.Data[A]) B