Skip to content

Latest commit

 

History

History

pure

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
eq
eq
 
 
foldable
foldable
 
 
monoid
monoid
 
 
ord
ord
 
 
semigroup
semigroup
 
 
README.md
README.md
 
 
constraints.go
constraints.go
 
 
doc.go
doc.go
 
 
go.mod
go.mod
 
 
go.sum
go.sum
 
 
hkt.go
hkt.go
 
 
types.go
types.go
 
 
version.go
version.go
 
 

README.md

Pure Functional Abstractions (pure)

The module provides generic purely functional abstractions:

Type traits

  • hkt Higher-Kinded Type
  • eq is Eq (equality) type trait
  • foldable is Foldable type trait define rules of folding data structures to a summary value.
  • monoid is Monoid type trait defined an algebraic structure consisting of Semigroup and Empty element.
  • ord is Ord (ordering) type trait
  • semigroup is Semigroup type trait defined an associative binary operation for a set.