sum

Documentation

Index

• type Class
• type InL
  • func (il InL[F, G, A]) DEmpty() bool
  • func (il InL[F, G, A]) DRest() data.Data[Sum[F, G, A]]
  • func (il InL[F, G, A]) DValue() A
• type InR
  • func (ir InR[F, G, A]) DEmpty() bool
  • func (ir InR[F, G, A]) DRest() data.Data[Sum[F, G, A]]
  • func (ir InR[F, G, A]) DValue() A
• type Sum
• type Type
  • func NewType() Type

Types

type Class

type Class interface{}

type InL

type InL[F, G, A any] struct {
	Fn    F
	Value A
}

InL is the left side summation.

func (InL[F, G, A]) DEmpty

func (il InL[F, G, A]) DEmpty() bool

func (InL[F, G, A]) DRest

func (il InL[F, G, A]) DRest() data.Data[Sum[F, G, A]]

func (InL[F, G, A]) DValue

func (il InL[F, G, A]) DValue() A

type InR

type InR[F, G, A any] struct {
	Fn    G
	Value A
}

InR is the right side summation.

func (InR[F, G, A]) DEmpty

func (ir InR[F, G, A]) DEmpty() bool

func (InR[F, G, A]) DRest

func (ir InR[F, G, A]) DRest() data.Data[Sum[F, G, A]]

func (InR[F, G, A]) DValue

func (ir InR[F, G, A]) DValue() A

type Sum

type Sum[F, G, A any] interface {
	data.Data[Sum[F, G, A]]
	// contains filtered or unexported methods
}

Sum is the sum type for Sum.

type Type

type Type struct{}

func NewType

func NewType() Type