example

Documentation

Index

• type A1
• type And
• type B2
• type Boat
• type Branch
• type C3
• type Car
• type Eq
• type Leaf
• type Lit
• type MatchAlphabetNumberTuple
• type Mul
• type MyTriesMatch
• type N0
• type N1
• type One
• type Or
• type Path
• type Plane
• type Sum

Types

type A1

type A1 struct{}

type And

type And []WherePredicate

type B2

type B2 struct{}

type Boat

type Boat struct{}

type Branch

type Branch struct{ L, R Tree }

type C3

type C3 struct{}

type Car

type Car struct{}

type Eq

type Eq struct{ V interface{} }

type Leaf

type Leaf struct{ Value int }

type Lit

type Lit struct{ V int }

type MatchAlphabetNumberTuple

type MatchAlphabetNumberTuple[T0 Alphabet, T1 Number] interface {
	Match1(x *A1, y *N0)
	Match2(x *C3, y any)
	Match3(x, y any)
}

type Mul

type Mul struct{ Left, Right Calc }

type MyTriesMatch

type MyTriesMatch[T0, T1 Tree] interface {
	MatchLeafs(*Leaf, *Leaf)
	MatchBranches(*Branch, any)
	MatchMixed(any, any)
}

type N0

type N0 struct{}

type N1

type N1 struct{}

type One

type One struct{}

type Or

type Or []WherePredicate

type Path

type Path struct {
	Parts     []string
	Condition WherePredicate
	Then      []WherePredicate
	X         Eq
	Y         map[string]WherePredicate
}

type Plane

type Plane struct{}

type Sum

type Sum struct{ Left, Right Calc }