eq

Documentation

Index

• func Comparable[A comparable](x, y A) bool
• func Conform[A any, CA Class[A]](c CA) func(t *testing.T, x, y, z A)
• type Class
• type EqualFn
• type Type
  • func NewType[A any](equalFn EqualFn[A]) Type[A]
  • func (t Type[A]) Equal(x, y A) bool
  • func (t Type[A]) NE(x, y A) bool

Examples

• NewType

Functions

func Comparable

func Comparable[A comparable](x, y A) bool

Comparable implements EqualFn for natively comparable types.

func Conform

func Conform[A any, CA Class[A]](c CA) func(t *testing.T, x, y, z A)

Conform returns a function testing if the implementation abides by its laws.

Types

type Class

type Class[A any] interface {
	Equal(A, A) bool
	NE(A, A) bool
}

type EqualFn

type EqualFn[A any] func(A, A) bool

type Type

type Type[A any] struct {
	// contains filtered or unexported fields
}

func NewType

func NewType[A any](equalFn EqualFn[A]) Type[A]

Example

package main

import (
	"fmt"

	"github.com/calebcase/base/data/eq"
)

func main() {
	t := eq.NewType[int](eq.Comparable[int])

	fmt.Println(t.Equal(1, 1))
	fmt.Println(t.NE(1, 2))

}

Output:

true
true

func (Type[A]) Equal

func (t Type[A]) Equal(x, y A) bool

func (Type[A]) NE

func (t Type[A]) NE(x, y A) bool