sum

package

v0.0.4 Latest Latest Go to latest Published: Apr 6, 2022 License: MIT Imports: 1 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type Class interface{}

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

InL is the left side summation.

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

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

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

InR is the right side summation.

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

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

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 struct{}

func NewType() Type