list

Documentation

Index

• func Conform[A any, CA Class[A]](c CA) func(t *testing.T, x, y, z List[A])
• func NewEqualFn[A any](e eq.Class[A]) func(x, y List[A]) bool
• type Class
• type List
  • func (l List[A]) DEmpty() bool
  • func (l List[A]) DRest() data.Data[A]
  • func (l List[A]) DValue() A
• type Type
  • func NewType[A any]() Type[A]

Functions

func Conform

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

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

func NewEqualFn

func NewEqualFn[A any](e eq.Class[A]) func(x, y List[A]) bool

NewEqualFn returns a list equality checking function given the eq.Class for the type A.

Types

type Class

type Class[A any] interface {
	monoid.Class[List[A]]
}

type List

type List[A any] []A

func (List[A]) DEmpty

func (l List[A]) DEmpty() bool

func (List[A]) DRest

func (l List[A]) DRest() data.Data[A]

func (List[A]) DValue

func (l List[A]) DValue() A

type Type

type Type[
	A any,
] struct {
	monoid.Type[List[A]]
}

func NewType

func NewType[
	A any,
]() Type[A]