predicate

type And struct {
	L []Predicate
}

type BindName = string

type BindValue struct{ BindName BindName }

type Bindable interface {
	AcceptBindable(g BindableVisitor) any
}

type BindableUnionJSON struct {
	Type      string          `json:"$type,omitempty"`
	BindValue json.RawMessage `json:"predicate.BindValue,omitempty"`
	Literal   json.RawMessage `json:"predicate.Literal,omitempty"`
	Locatable json.RawMessage `json:"predicate.Locatable,omitempty"`
}

type BindableVisitor interface {
	VisitBindValue(v *BindValue) any
	VisitLiteral(v *Literal) any
	VisitLocatable(v *Locatable) any
}

type Comparable struct {
	Location string `( @Location`
	Operator string `  @Operator`
	BindName Value  `  @@)`
}

type Compare struct {
	Location  string
	Operation string
	BindValue Bindable
}

type Condition struct {
	Operand *Comparable `  @@`
	Not     *Condition  `| "NOT" @@`
}

type Expression struct {
	Or []*OrCondition `@@ ( "OR" @@ )*`
}

type Literal struct{ Value schema.Schema }

type Locatable struct{ Location string }

type Not struct {
	P Predicate
}

type Or struct {
	L []Predicate
}

type OrCondition struct {
	And []*Condition `@@ ( "AND" @@ )*`
}

type ParamBinds map[BindName]schema.Schema

type Predicate interface {
	AcceptPredicate(g PredicateVisitor) any
}

type PredicateUnionJSON struct {
	Type    string          `json:"$type,omitempty"`
	And     json.RawMessage `json:"predicate.And,omitempty"`
	Or      json.RawMessage `json:"predicate.Or,omitempty"`
	Not     json.RawMessage `json:"predicate.Not,omitempty"`
	Compare json.RawMessage `json:"predicate.Compare,omitempty"`
}

type PredicateVisitor interface {
	VisitAnd(v *And) any
	VisitOr(v *Or) any
	VisitNot(v *Not) any
	VisitCompare(v *Compare) any
}

type Value struct {
	BindName *string  `(  @Bind`
	Number   *float64 `| @Number`
	String   *string  `| @String`
	Bool     *string  `| @("TRUE" | "FALSE" | "true" | "false") `
	Location *string  `| @Location )`
}

type WherePredicates struct {
	Predicate Predicate
	Params    ParamBinds
}