firestorebind

type Bound struct {
	// Literal is the constant form; Param names a parameter instead. Exactly one
	// is set when Present is true.
	Literal int
	Param   string
	Present bool
	Line    int
}

type Condition struct {
	Predicate *Predicate
	Junction  Junction
	Operands  []Condition
	Line      int
}

type Direction string

type IndexProperty struct {
	Name      string
	Direction Direction
}

type Junction string

type Op string

type Order struct {
	Property  string
	Direction Direction
	Line      int
}

type Predicate struct {
	Property string
	Op       Op
	Param    string
	Line     int
}

type Projection struct {
	Name string
	Line int
}

type QueryDecl struct {
	Name       string
	Exported   bool
	Params     []QueryParam
	Shape      ResultShape
	EntityType string
	// Where is the filter tree, or nil when the declaration has no where clause.
	Where *Condition
	// Ancestor names the parameter holding the ancestor key, when the
	// declaration has an ancestor clause.
	Ancestor     string
	AncestorLine int
	Order        []Order
	Limit        Bound
	Offset       Bound
	// Select is the projection: the properties the query returns instead of
	// whole entities. The result type is unchanged; what is not projected
	// arrives as the zero value.
	Select     []Projection
	SelectLine int
	// Distinct collapses results sharing the named properties.
	Distinct     []Projection
	DistinctLine int
	// Start and End name the parameters holding the cursors this query resumes
	// from and stops at.
	Start     string
	StartLine int
	End       string
	EndLine   int
	// Index is the composite index this access pattern needs, when the author
	// declared one. Nothing derives it: the rule for when one is required is
	// subtle, and a derivation that is quietly wrong names an index that does
	// not fix the query.
	Index     []IndexProperty
	IndexLine int
	// HasIndex separates a declared empty index from no index clause.
	HasIndex   bool
	SourcePath string
	Line       int
}

type QueryParam struct {
	Name string
	// Type is the Go type as the declaration spells it, checked later against
	// the property's own Go type.
	Type string
	Line int
}

type ResultShape string