package eq

import "github.com/IBM/fp-go/eq"

Index ¶

• func Contramap[A, B any](f func(b B) A) func(Eq[A]) Eq[B]
• func Equals[T any](eq Eq[T]) func(T) func(T) bool
• func Monoid[A any]() M.Monoid[Eq[A]]
• func Semigroup[A any]() S.Semigroup[Eq[A]]
• type Eq
• func Empty[T any]() Eq[T]
• func FromEquals[T any](c func(x, y T) bool) Eq[T]
• func FromStrictEquals[T comparable]() Eq[T]

Functions ¶

func Contramap ¶

func Contramap[A, B any](f func(b B) A) func(Eq[A]) Eq[B]

Contramap implements an Equals predicate based on a mapping

func Equals ¶

func Equals[T any](eq Eq[T]) func(T) func(T) bool

Equals returns a predicate to test if one value equals the other under an equals predicate

func Monoid ¶

func Monoid[A any]() M.Monoid[Eq[A]]

func Semigroup ¶

func Semigroup[A any]() S.Semigroup[Eq[A]]

Types ¶

type Eq ¶

type Eq[T any] interface {
	Equals(x, y T) bool
}

func Empty ¶

func Empty[T any]() Eq[T]

Empty returns the equals predicate that is always true

func FromEquals ¶

func FromEquals[T any](c func(x, y T) bool) Eq[T]

FromEquals constructs an [EQ.Eq] from the comparison function

func FromStrictEquals ¶

func FromStrictEquals[T comparable]() Eq[T]

FromStrictEquals constructs an [EQ.Eq] from the canonical comparison function

Source Files ¶

contramap.go eq.go monoid.go

Directories ¶