list

Documentation

Index

• type Class
• type Type
  • func NewType[A any, L []A]() Type[A, L]
  • func (t Type[A, L]) MAppend(x, y L) L
  • func (t Type[A, L]) MConcat(xs []L) L
  • func (t Type[A, L]) MEmpty() L
  • func (t Type[A, L]) SAssoc(x, y L) L

Types

type Class

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

type Type

type Type[A any, L []A] struct{}

func NewType

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

func (Type[A, L]) MAppend

func (t Type[A, L]) MAppend(x, y L) L

func (Type[A, L]) MConcat

func (t Type[A, L]) MConcat(xs []L) L

func (Type[A, L]) MEmpty

func (t Type[A, L]) MEmpty() L

func (Type[A, L]) SAssoc

func (t Type[A, L]) SAssoc(x, y L) L