Documentation
¶
Overview ¶
Package ast provides builder helpers for ergonomic AST construction.
Package ast defines the Abstract Syntax Tree (AST) for TypeQL queries.
Package ast defines the Abstract Syntax Tree (AST) for TypeQL queries.
It decouples query construction from string formatting, providing a structured way to build TypeQL queries programmatically.
Index ¶
- func DeleteArtifact(identifier, typeName string) (string, error)
- func DeleteArtifactWithOptions(identifier, typeName string, opts DeleteArtifactOptions) (string, error)
- func EscapeString(s string) string
- func FormatGoValue(value any) string
- func FormatLiteral(val any, valueType string) string
- func PaginatedSearch(types []string, opts PaginatedSearchOptions) (string, error)
- func UpdateAttribute(varName, typeName, attrName string, value any) (string, error)
- type AggregateExpr
- type ArithmeticValue
- type AttributePattern
- type Clause
- type Compiler
- type Constraint
- type DeleteArtifactOptions
- type DeleteClause
- type DeleteHasStatement
- type DeleteThingStatement
- type EntityPattern
- type FetchAttribute
- type FetchAttributeList
- type FetchClause
- type FetchFunction
- type FetchItem
- type FetchNestedWildcard
- type FetchVariable
- type FetchWildcard
- type FunctionBuilder
- type FunctionCallValue
- type FunctionOutputBuilder
- func (b FunctionOutputBuilder) Build() (string, error)
- func (b FunctionOutputBuilder) BuildNodes() []QueryNode
- func (b FunctionOutputBuilder) Limit(count int) FunctionResultStage
- func (b FunctionOutputBuilder) Nodes() []QueryNode
- func (b FunctionOutputBuilder) Offset(count int) FunctionResultStage
- func (b FunctionOutputBuilder) Select(vars ...string) FunctionResultStage
- func (b FunctionOutputBuilder) Sort(variable, direction string) FunctionResultStage
- type FunctionResultStage
- type FunctionStage
- type HasConstraint
- type HasPattern
- type HasStatement
- type IdentifierMatcher
- type IidConstraint
- type IidPattern
- type InsertClause
- type IsaConstraint
- type IsaStatement
- type LetAssignment
- type LimitClause
- type LiteralValue
- type MatchBuilder
- func (b MatchBuilder) Build() (string, error)
- func (b MatchBuilder) BuildNodes() []QueryNode
- func (b MatchBuilder) DeleteHas(attrVar, ownerVar string) MatchStage
- func (b MatchBuilder) DeleteThing() MatchStage
- func (b MatchBuilder) Fetch(varName string, attrNames ...string) MatchResultStage
- func (b MatchBuilder) Has(attrName string, value any) MatchStage
- func (b MatchBuilder) Iid(iid string) MatchStage
- func (b MatchBuilder) InsertHas(ownerVar, attrName string, value any) MatchStage
- func (b MatchBuilder) Let(assignments ...LetAssignment) MatchStage
- func (b MatchBuilder) MatchByIdentifier(identifier, attrName string, matcher IdentifierMatcher) MatchStage
- func (b MatchBuilder) Nodes() []QueryNode
- func (b MatchBuilder) Or(alternatives ...[]Pattern) MatchStage
- func (b MatchBuilder) Select(vars ...string) MatchResultStage
- func (b MatchBuilder) Set(attrName string, value any) MatchStage
- func (b MatchBuilder) Where(patterns ...Pattern) MatchStage
- type MatchClause
- type MatchLetClause
- type MatchOutputBuilder
- func (b MatchOutputBuilder) Build() (string, error)
- func (b MatchOutputBuilder) BuildNodes() []QueryNode
- func (b MatchOutputBuilder) Fetch(varName string, attrNames ...string) MatchResultStage
- func (b MatchOutputBuilder) Limit(count int) MatchResultStage
- func (b MatchOutputBuilder) Nodes() []QueryNode
- func (b MatchOutputBuilder) Offset(count int) MatchResultStage
- func (b MatchOutputBuilder) Select(vars ...string) MatchResultStage
- func (b MatchOutputBuilder) Sort(variable, direction string) MatchResultStage
- type MatchResultStage
- type MatchStage
- type NotPattern
- type OffsetClause
- type OrPattern
- type PaginatedSearchOptions
- type Pattern
- type PrefixIdentifierMatcher
- type PutClause
- type QueryNode
- type RawPattern
- type RawStatement
- type ReduceAssignment
- type ReduceClause
- type RelationPattern
- type RelationStatement
- type RolePlayer
- type SelectClause
- type SortClause
- type Statement
- type SubTypePattern
- type UpdateClause
- type Value
- type ValueComparisonPattern
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func DeleteArtifact ¶ added in v1.5.0
DeleteArtifact builds a delete query that matches by IID or fallback attribute.
func DeleteArtifactWithOptions ¶ added in v1.5.0
func DeleteArtifactWithOptions(identifier, typeName string, opts DeleteArtifactOptions) (string, error)
DeleteArtifactWithOptions builds a delete query with custom identifier matching options.
func EscapeString ¶
EscapeString escapes special characters in a string for use in TypeQL string literals. It handles backslashes, quotes, newlines, carriage returns, and tabs.
func FormatGoValue ¶
FormatGoValue converts a Go value into its TypeQL literal string representation. It uses reflection to determine the type and handles basic types, pointers, and time.Time. This is the canonical formatting function for Go values; other packages should use this instead of implementing their own formatting logic.
func FormatLiteral ¶
FormatLiteral formats a Go value as a TypeQL literal string.
func PaginatedSearch ¶ added in v1.5.0
func PaginatedSearch(types []string, opts PaginatedSearchOptions) (string, error)
PaginatedSearch builds a standard typed search with sorting and pagination/fetch options.
Types ¶
type AggregateExpr ¶
type AggregateExpr struct {
// FuncName is the name of the aggregate function (count, sum, min, max, mean, std, median).
FuncName string
// Var is the variable being aggregated.
Var string
// AttrName is the optional attribute name to aggregate on if the variable is a thing.
AttrName string
}
AggregateExpr represents an aggregate expression like count($var) or sum($attr).
type ArithmeticValue ¶
type ArithmeticValue struct {
// Left is the left operand (Value or variable string).
Left any
// Operator is the infix operator (+, -, *, /, %, ^).
Operator string
// Right is the right operand (Value or variable string).
Right any
}
ArithmeticValue represents a binary arithmetic operation between two values. It supports TypeQL infix operators like +, -, *, /, %, and ^.
type AttributePattern ¶
type AttributePattern struct {
// Variable is the variable name for the attribute.
Variable string
// TypeName is the name of the attribute type.
TypeName string
// Value is the optional value of the attribute.
Value Value
}
AttributePattern matches an attribute of a specific type and optionally its value.
type Clause ¶
type Clause interface {
QueryNode
// contains filtered or unexported methods
}
Clause is the marker interface for top-level TypeQL clauses.
type Compiler ¶
type Compiler struct{}
Compiler compiles AST nodes into TypeQL query strings. It traverses the AST and generates the corresponding TypeQL syntax.
type Constraint ¶
type Constraint interface {
QueryNode
// contains filtered or unexported methods
}
Constraint is the marker interface for constraints applied to variables in a pattern.
type DeleteArtifactOptions ¶ added in v1.5.0
type DeleteArtifactOptions struct {
VarName string
IDAttr string
Matcher IdentifierMatcher
}
DeleteArtifactOptions configures DeleteArtifact matching behavior.
type DeleteClause ¶
type DeleteClause struct {
// Statements are the statements defining what to delete.
Statements []Statement
}
DeleteClause represents a 'delete' clause containing one or more statements.
func Delete ¶
func Delete(statements ...Statement) DeleteClause
Delete creates a DeleteClause with the given statements.
type DeleteHasStatement ¶
type DeleteHasStatement struct {
// AttrVar is the variable representing the attribute to delete (e.g., "$old").
AttrVar string
// OwnerVar is the variable representing the owner entity/relation (e.g., "$e").
OwnerVar string
}
DeleteHasStatement represents a statement to delete an attribute from its owner. Compiles to: $attrVar of $ownerVar
func DeleteHas ¶
func DeleteHas(attrVar, ownerVar string) DeleteHasStatement
DeleteHas creates a DeleteHasStatement for deleting an attribute from its owner. Compiles to: $attrVar of $ownerVar
type DeleteThingStatement ¶
type DeleteThingStatement struct {
// Variable is the variable representing the thing to delete.
Variable string
}
DeleteThingStatement represents a statement to delete a thing instance identified by a variable.
type EntityPattern ¶
type EntityPattern struct {
// Variable is the variable name for the matched entity.
Variable string
// TypeName is the name of the entity type.
TypeName string
// Constraints are additional constraints applied to the entity.
Constraints []Constraint
// IsStrict indicates whether to use strict type checking (isa!).
IsStrict bool
}
EntityPattern matches an entity with an optional type and constraints.
func Entity ¶
func Entity(varName, typeName string, constraints ...Constraint) EntityPattern
Entity creates an EntityPattern with the given variable, type, and constraints.
type FetchAttribute ¶
type FetchAttribute struct {
// Key is the output key in the result JSON.
Key string
// Var is the variable whose attribute is being fetched.
Var string
// AttrName is the name of the attribute type to fetch.
AttrName string
}
FetchAttribute fetches a single attribute value of a variable.
func FetchAttr ¶
func FetchAttr(key, varName, attrName string) FetchAttribute
FetchAttr creates a FetchAttribute for fetching an attribute value. The attrPath should be like "$var.attrname".
func FetchAttrPath ¶
func FetchAttrPath(key, attrPath string) FetchAttribute
FetchAttrPath is a convenience for creating FetchAttribute from a dotted path like "$p.name".
func (FetchAttribute) FetchKey ¶
func (f FetchAttribute) FetchKey() string
FetchKey returns the output key for the attribute.
type FetchAttributeList ¶
type FetchAttributeList struct {
// Key is the output key in the result JSON.
Key string
// Var is the variable whose attributes are being fetched.
Var string
// AttrName is the name of the attribute type.
AttrName string
}
FetchAttributeList fetches all values of a multi-value attribute as a list.
func (FetchAttributeList) FetchKey ¶
func (f FetchAttributeList) FetchKey() string
FetchKey returns the output key for the attribute list.
type FetchClause ¶
type FetchClause struct {
// Items are the items to fetch, which can be FetchItem nodes or raw strings.
Items []any
}
FetchClause defines the output structure of a query.
func Fetch ¶
func Fetch(items ...FetchItem) FetchClause
Fetch creates a FetchClause with the given items.
type FetchFunction ¶
type FetchFunction struct {
// Key is the output key in the result JSON.
Key string
// FuncName is the name of the function (e.g., "iid").
FuncName string
// Var is the variable the function is applied to.
Var string
}
FetchFunction fetches the result of a function applied to a variable.
func FetchFunc ¶
func FetchFunc(key, funcName, varName string) FetchFunction
FetchFunc creates a FetchFunction for fetching the result of a function.
func (FetchFunction) FetchKey ¶
func (f FetchFunction) FetchKey() string
FetchKey returns the output key for the function result.
type FetchItem ¶
type FetchItem interface {
QueryNode
// FetchKey returns the key under which the item will be returned in the result JSON.
FetchKey() string
// contains filtered or unexported methods
}
FetchItem is the marker interface for items in a 'fetch' clause.
type FetchNestedWildcard ¶
type FetchNestedWildcard struct {
// Key is the output key in the result JSON.
Key string
// Var is the variable being fetched.
Var string
}
FetchNestedWildcard retrieves all attributes and their values recursively in a nested structure.
func (FetchNestedWildcard) FetchKey ¶
func (f FetchNestedWildcard) FetchKey() string
FetchKey returns the output key for the nested wildcard.
type FetchVariable ¶
type FetchVariable struct {
// Key is the output key in the result JSON.
Key string
// Var is the variable being fetched.
Var string
}
FetchVariable fetches a variable directly.
func FetchVar ¶
func FetchVar(key, varName string) FetchVariable
FetchVar creates a FetchVariable for fetching a variable directly.
func (FetchVariable) FetchKey ¶
func (f FetchVariable) FetchKey() string
FetchKey returns the output key for the variable.
type FetchWildcard ¶
type FetchWildcard struct {
// Key is the output key in the result JSON.
Key string
// Var is the variable whose attributes are all fetched.
Var string
}
FetchWildcard fetches all attributes of a variable.
func (FetchWildcard) FetchKey ¶
func (f FetchWildcard) FetchKey() string
FetchKey returns the output key for the wildcard.
type FunctionBuilder ¶ added in v1.5.0
type FunctionBuilder struct {
// contains filtered or unexported fields
}
FunctionBuilder is the concrete immutable pre-output builder for function queries.
func (FunctionBuilder) Select ¶ added in v1.5.0
func (b FunctionBuilder) Select(vars ...string) FunctionResultStage
Select transitions function query to output stage.
type FunctionCallValue ¶
type FunctionCallValue struct {
// Function is the name of the function to call.
Function string
// Args contains the arguments for the function, which can be Value nodes or variable strings.
Args []any
}
FunctionCallValue represents a function call in TypeQL, such as iid($x).
func FuncCall ¶
func FuncCall(funcName string, args ...any) FunctionCallValue
FuncCall creates a FunctionCallValue with the given function name and arguments.
type FunctionOutputBuilder ¶ added in v1.5.0
type FunctionOutputBuilder struct {
// contains filtered or unexported fields
}
FunctionOutputBuilder is the concrete immutable output-stage builder for function queries.
func (FunctionOutputBuilder) Build ¶ added in v1.5.0
func (b FunctionOutputBuilder) Build() (string, error)
Build compiles the fluent query into TypeQL.
func (FunctionOutputBuilder) BuildNodes ¶ added in v1.5.1
func (b FunctionOutputBuilder) BuildNodes() []QueryNode
BuildNodes returns the compiled AST node sequence before string compilation.
func (FunctionOutputBuilder) Limit ¶ added in v1.5.0
func (b FunctionOutputBuilder) Limit(count int) FunctionResultStage
Limit configures a limit clause.
func (FunctionOutputBuilder) Nodes ¶ added in v1.5.0
func (b FunctionOutputBuilder) Nodes() []QueryNode
Nodes returns the compiled AST node sequence before string compilation.
func (FunctionOutputBuilder) Offset ¶ added in v1.5.0
func (b FunctionOutputBuilder) Offset(count int) FunctionResultStage
Offset configures an offset clause.
func (FunctionOutputBuilder) Select ¶ added in v1.5.0
func (b FunctionOutputBuilder) Select(vars ...string) FunctionResultStage
Select adds additional selected variables in output stage.
func (FunctionOutputBuilder) Sort ¶ added in v1.5.0
func (b FunctionOutputBuilder) Sort(variable, direction string) FunctionResultStage
Sort configures a sort clause.
type FunctionResultStage ¶ added in v1.5.0
type FunctionResultStage interface {
Select(vars ...string) FunctionResultStage
Sort(variable, direction string) FunctionResultStage
Limit(count int) FunctionResultStage
Offset(count int) FunctionResultStage
Build() (string, error)
Nodes() []QueryNode
BuildNodes() []QueryNode
}
FunctionResultStage is the output stage for function queries.
type FunctionStage ¶ added in v1.5.0
type FunctionStage interface {
Select(vars ...string) FunctionResultStage
}
FunctionStage is the pre-output stage for function-based match-let queries.
func MatchFunction ¶ added in v1.5.0
func MatchFunction(funcName string, args ...any) FunctionStage
MatchFunction starts a fluent function query compiled as match-let.
type HasConstraint ¶
type HasConstraint struct {
// AttrName is the name of the attribute type.
AttrName string
// Value is the value of the attribute (Value or variable string).
Value any
}
HasConstraint checks if a thing has a specific attribute with a given value.
func Has ¶
func Has(attrName string, value any) HasConstraint
Has creates a HasConstraint for the given attribute name and value. The value can be any Go value that will be formatted via FormatGoValue.
type HasPattern ¶
type HasPattern struct {
// ThingVar is the variable representing the thing (entity or relation).
ThingVar string
// AttrType is the type of the attribute.
AttrType string
// AttrVar is the variable representing the attribute instance.
AttrVar string
}
HasPattern represents a pattern where a thing has an attribute assignment ($x has Type $v).
type HasStatement ¶
type HasStatement struct {
// SubjectVar is the variable representing the thing being assigned an attribute.
SubjectVar string
// AttrName is the name of the attribute type.
AttrName string
// Value is the value being assigned.
Value Value
}
HasStatement assigns an attribute value to a subject variable.
func HasStmt ¶
func HasStmt(subjectVar, attrName string, value Value) HasStatement
HasStmt creates a HasStatement for the given subject variable, attribute name, and value. The value must be a Value type (use Str(), Long(), etc. to create literal values).
type IdentifierMatcher ¶ added in v1.5.0
IdentifierMatcher determines whether an identifier should be treated as an IID.
var DefaultIdentifierMatcher IdentifierMatcher = PrefixIdentifierMatcher{Prefix: "0x"}
DefaultIdentifierMatcher treats values prefixed with "0x" as TypeDB IIDs.
type IidConstraint ¶
type IidConstraint struct {
// IID is the unique instance identifier.
IID string
}
IidConstraint matches a thing by its internal instance ID (IID).
type IidPattern ¶
type IidPattern struct {
// Variable is the variable representing the thing.
Variable string
// IID is the instance ID string.
IID string
}
IidPattern represents a pattern matching a thing by its IID ($x iid 0x...).
type InsertClause ¶
type InsertClause struct {
// Statements are the statements to insert.
Statements []Statement
}
InsertClause represents an 'insert' clause containing one or more statements.
func Insert ¶
func Insert(statements ...Statement) InsertClause
Insert creates an InsertClause with the given statements.
type IsaConstraint ¶
type IsaConstraint struct {
// TypeName is the name of the type.
TypeName string
// Strict indicates whether to use strict type checking (isa!).
Strict bool
}
IsaConstraint checks if a thing is an instance of a specific type.
func Isa ¶
func Isa(typeName string) IsaConstraint
Isa creates an IsaConstraint for the given type name.
func IsaExact ¶
func IsaExact(typeName string) IsaConstraint
IsaExact creates a strict IsaConstraint (isa!) for the given type name.
type IsaStatement ¶
type IsaStatement struct {
// Variable is the variable name.
Variable string
// TypeName is the name of the type.
TypeName string
}
IsaStatement defines the type of a variable in an insert statement.
func IsaStmt ¶
func IsaStmt(variable, typeName string) IsaStatement
IsaStmt creates an IsaStatement for the given variable and type name.
type LetAssignment ¶
type LetAssignment struct {
// Variables are the variables being assigned values.
Variables []string
// Expression is the value or expression being assigned (Value or variable string).
Expression any
// IsStream indicates whether to use stream assignment ('in') or scalar assignment ('=').
IsStream bool
}
LetAssignment represents an assignment in a 'match let' clause.
type LimitClause ¶
type LimitClause struct {
// Count is the maximum number of results to return.
Count int
}
LimitClause represents a 'limit' clause for restricting result count.
type LiteralValue ¶
type LiteralValue struct {
// Val is the actual value.
Val any
// ValueType specifies the TypeQL type of the value (e.g., "string", "long", "boolean").
ValueType string
}
LiteralValue represents a literal value such as a string, number, or boolean.
func Lit ¶
func Lit(value any, valueType string) LiteralValue
Lit creates a LiteralValue with the given value and type.
type MatchBuilder ¶ added in v1.5.0
type MatchBuilder struct {
// contains filtered or unexported fields
}
MatchBuilder is the concrete immutable builder for entity-first match queries.
func (MatchBuilder) Build ¶ added in v1.5.0
func (b MatchBuilder) Build() (string, error)
Build compiles the fluent query into TypeQL.
func (MatchBuilder) BuildNodes ¶ added in v1.5.1
func (b MatchBuilder) BuildNodes() []QueryNode
BuildNodes returns the compiled AST node sequence before string compilation.
func (MatchBuilder) DeleteHas ¶ added in v1.5.1
func (b MatchBuilder) DeleteHas(attrVar, ownerVar string) MatchStage
DeleteHas emits an explicit delete-has statement.
func (MatchBuilder) DeleteThing ¶ added in v1.5.0
func (b MatchBuilder) DeleteThing() MatchStage
DeleteThing deletes the primary matched variable.
func (MatchBuilder) Fetch ¶ added in v1.5.0
func (b MatchBuilder) Fetch(varName string, attrNames ...string) MatchResultStage
Fetch fetches one or more attributes from a variable.
func (MatchBuilder) Has ¶ added in v1.5.0
func (b MatchBuilder) Has(attrName string, value any) MatchStage
Has adds a has constraint to the primary matched variable.
func (MatchBuilder) Iid ¶ added in v1.5.0
func (b MatchBuilder) Iid(iid string) MatchStage
Iid adds an iid constraint to the primary matched variable.
func (MatchBuilder) InsertHas ¶ added in v1.5.1
func (b MatchBuilder) InsertHas(ownerVar, attrName string, value any) MatchStage
InsertHas emits an explicit has insert statement.
func (MatchBuilder) Let ¶ added in v1.5.1
func (b MatchBuilder) Let(assignments ...LetAssignment) MatchStage
Let appends let assignments to the match clause.
func (MatchBuilder) MatchByIdentifier ¶ added in v1.5.0
func (b MatchBuilder) MatchByIdentifier(identifier, attrName string, matcher IdentifierMatcher) MatchStage
MatchByIdentifier matches by IID (as determined by matcher) or falls back to attribute matching.
func (MatchBuilder) Nodes ¶ added in v1.5.0
func (b MatchBuilder) Nodes() []QueryNode
Nodes returns the compiled AST node sequence before string compilation.
func (MatchBuilder) Or ¶ added in v1.5.1
func (b MatchBuilder) Or(alternatives ...[]Pattern) MatchStage
Or appends an or-pattern with alternatives to the match clause.
func (MatchBuilder) Select ¶ added in v1.5.0
func (b MatchBuilder) Select(vars ...string) MatchResultStage
Select adds a select clause with projected variables.
func (MatchBuilder) Set ¶ added in v1.5.0
func (b MatchBuilder) Set(attrName string, value any) MatchStage
Set emits a standard Match-Delete-Insert sequence for updating one attribute.
func (MatchBuilder) Where ¶ added in v1.5.1
func (b MatchBuilder) Where(patterns ...Pattern) MatchStage
Where appends arbitrary patterns to the match clause.
type MatchClause ¶
type MatchClause struct {
// Patterns are the patterns to match.
Patterns []Pattern
}
MatchClause represents a 'match' clause containing one or more patterns.
func Match ¶
func Match(patterns ...Pattern) MatchClause
Match creates a MatchClause with the given patterns.
type MatchLetClause ¶
type MatchLetClause struct {
// Patterns are optional match patterns evaluated before let assignments.
Patterns []Pattern
// Assignments are the let assignments in the clause.
Assignments []LetAssignment
}
MatchLetClause represents a 'match' clause using 'let' assignments.
type MatchOutputBuilder ¶ added in v1.5.0
type MatchOutputBuilder struct {
// contains filtered or unexported fields
}
MatchOutputBuilder is the concrete immutable output-stage builder for match queries.
func (MatchOutputBuilder) Build ¶ added in v1.5.0
func (b MatchOutputBuilder) Build() (string, error)
Build compiles the fluent query into TypeQL.
func (MatchOutputBuilder) BuildNodes ¶ added in v1.5.1
func (b MatchOutputBuilder) BuildNodes() []QueryNode
BuildNodes returns the compiled AST node sequence before string compilation.
func (MatchOutputBuilder) Fetch ¶ added in v1.5.0
func (b MatchOutputBuilder) Fetch(varName string, attrNames ...string) MatchResultStage
Fetch adds fetch attributes in output stage.
func (MatchOutputBuilder) Limit ¶ added in v1.5.0
func (b MatchOutputBuilder) Limit(count int) MatchResultStage
Limit configures a limit clause in output stage.
func (MatchOutputBuilder) Nodes ¶ added in v1.5.0
func (b MatchOutputBuilder) Nodes() []QueryNode
Nodes returns the compiled AST node sequence before string compilation.
func (MatchOutputBuilder) Offset ¶ added in v1.5.0
func (b MatchOutputBuilder) Offset(count int) MatchResultStage
Offset configures an offset clause in output stage.
func (MatchOutputBuilder) Select ¶ added in v1.5.0
func (b MatchOutputBuilder) Select(vars ...string) MatchResultStage
Select adds a select clause with projected variables in output stage.
func (MatchOutputBuilder) Sort ¶ added in v1.5.0
func (b MatchOutputBuilder) Sort(variable, direction string) MatchResultStage
Sort configures a sort clause in output stage.
type MatchResultStage ¶ added in v1.5.0
type MatchResultStage interface {
Fetch(varName string, attrNames ...string) MatchResultStage
Select(vars ...string) MatchResultStage
Sort(variable, direction string) MatchResultStage
Limit(count int) MatchResultStage
Offset(count int) MatchResultStage
Build() (string, error)
Nodes() []QueryNode
BuildNodes() []QueryNode
}
MatchResultStage is the output stage for match queries. It supports fetch/select output shaping and pagination/sorting.
type MatchStage ¶ added in v1.5.0
type MatchStage interface {
Has(attrName string, value any) MatchStage
Iid(iid string) MatchStage
MatchByIdentifier(identifier, attrName string, matcher IdentifierMatcher) MatchStage
Where(patterns ...Pattern) MatchStage
Or(alternatives ...[]Pattern) MatchStage
Let(assignments ...LetAssignment) MatchStage
Set(attrName string, value any) MatchStage
DeleteHas(attrVar, ownerVar string) MatchStage
InsertHas(ownerVar, attrName string, value any) MatchStage
DeleteThing() MatchStage
Fetch(varName string, attrNames ...string) MatchResultStage
Select(vars ...string) MatchResultStage
Build() (string, error)
Nodes() []QueryNode
BuildNodes() []QueryNode
}
MatchStage is the pre-output stage for match queries. It supports matching/mutation operations and can transition to MatchResultStage.
func FluentMatch ¶ added in v1.5.0
func FluentMatch(varName, typeName string) MatchStage
FluentMatch starts a fluent query with a primary matched variable/type.
func FluentPatterns ¶ added in v1.5.1
func FluentPatterns(patterns ...Pattern) MatchStage
FluentPatterns starts a fluent query from arbitrary match patterns.
type NotPattern ¶
type NotPattern struct {
// Patterns are the patterns to negate.
Patterns []Pattern
}
NotPattern represents a negation of one or more patterns (not { ... }).
type OffsetClause ¶
type OffsetClause struct {
// Count is the number of results to skip.
Count int
}
OffsetClause represents an 'offset' clause for skipping results.
func Offset ¶
func Offset(count int) OffsetClause
Offset creates an OffsetClause with the given count.
type OrPattern ¶
type OrPattern struct {
// Alternatives defines the multiple sets of patterns that satisfy the disjunction.
Alternatives [][]Pattern
}
OrPattern represents a disjunction of multiple pattern alternatives ({ ... } or { ... }).
type PaginatedSearchOptions ¶ added in v1.5.0
type PaginatedSearchOptions struct {
VarName string
Limit int
Offset int
Sort string // "name" for asc, "-name" for desc
FetchIIDKey string
FetchEntityKey string
}
PaginatedSearchOptions configures PaginatedSearch output and pagination behavior.
type Pattern ¶
type Pattern interface {
QueryNode
// contains filtered or unexported methods
}
Pattern is the marker interface for patterns used in a match clause.
type PrefixIdentifierMatcher ¶ added in v1.5.0
type PrefixIdentifierMatcher struct {
Prefix string
}
PrefixIdentifierMatcher considers values with the configured prefix as IIDs.
func (PrefixIdentifierMatcher) IsIID ¶ added in v1.5.0
func (m PrefixIdentifierMatcher) IsIID(identifier string) bool
IsIID reports whether identifier matches the configured IID prefix.
type PutClause ¶
type PutClause struct {
// Statements are the statements defining what to put.
Statements []Statement
}
PutClause represents a 'put' clause (upsert) containing one or more statements. Put inserts if not exists, or skips if already exists (based on key attributes).
type QueryNode ¶
type QueryNode interface {
// contains filtered or unexported methods
}
QueryNode is the marker interface for all AST nodes.
type RawPattern ¶
type RawPattern struct {
// Content is the raw TypeQL string.
Content string
}
RawPattern represents a raw TypeQL string pattern, typically for legacy support.
type RawStatement ¶
type RawStatement struct {
// Content is the raw TypeQL string.
Content string
}
RawStatement represents a raw TypeQL string statement.
type ReduceAssignment ¶
type ReduceAssignment struct {
// Variable is the variable receiving the aggregated value.
Variable string
// Expression is the aggregation expression (AggregateExpr or variable string).
Expression any
}
ReduceAssignment represents an assignment in a 'reduce' clause.
type ReduceClause ¶
type ReduceClause struct {
// Assignments are the aggregate assignments.
Assignments []ReduceAssignment
// GroupBy is the optional variable to group the results by.
GroupBy string
}
ReduceClause represents a 'reduce' clause for performing aggregations in TypeQL.
type RelationPattern ¶
type RelationPattern struct {
// Variable is the variable name for the matched relation.
Variable string
// TypeName is the name of the relation type.
TypeName string
// IsStrict indicates whether to use strict type checking (isa!).
IsStrict bool
// RolePlayers defines the participants in the relation.
RolePlayers []RolePlayer
// Constraints are additional constraints applied to the relation.
Constraints []Constraint
}
RelationPattern matches a relation with its role players and optional constraints.
func Relation ¶
func Relation(varName, typeName string, rolePlayers []RolePlayer, constraints ...Constraint) RelationPattern
Relation creates a RelationPattern with the given variable, type, role players, and constraints.
type RelationStatement ¶
type RelationStatement struct {
// Variable is the optional variable name for the relation.
Variable string
// TypeName is the name of the relation type.
TypeName string
// RolePlayers defines the participants in the relation.
RolePlayers []RolePlayer
// IncludeVariable indicates whether to include the variable prefix in the compiled query.
IncludeVariable bool
// Attributes are inline attribute assignments for the relation.
Attributes []HasStatement
}
RelationStatement defines a relation and its participants for an insert statement. In TypeDB 3.x, relations in insert statements often don't use a variable prefix.
func RelationStmt ¶
func RelationStmt(typeName string, rolePlayers ...RolePlayer) RelationStatement
RelationStmt creates a RelationStatement with the given relation type and role players.
type RolePlayer ¶
type RolePlayer struct {
// Role is the name of the role being played.
Role string
// PlayerVar is the variable name of the entity or relation playing the role (e.g., "$p").
PlayerVar string
}
RolePlayer represents a role player in a relation, mapping a role name to a player variable.
func Role ¶
func Role(roleName, playerVar string) RolePlayer
Role creates a RolePlayer with the given role name and player variable.
type SelectClause ¶
type SelectClause struct {
// Variables are the variable names to project (e.g., ["$did", "$name"]).
Variables []string
}
SelectClause represents a 'select' clause for variable projection. Compiles to: select $var1, $var2, ...;
func Select ¶
func Select(variables ...string) SelectClause
Select creates a SelectClause for variable projection.
type SortClause ¶
type SortClause struct {
// Variable is the variable name to sort by (e.g., "$name").
Variable string
// Direction is "asc" or "desc".
Direction string
}
SortClause represents a 'sort' clause for ordering query results.
func Sort ¶
func Sort(variable, direction string) SortClause
Sort creates a SortClause for the given variable and direction.
type Statement ¶
type Statement interface {
QueryNode
// contains filtered or unexported methods
}
Statement is the marker interface for statements used in insert, delete, or update clauses.
type SubTypePattern ¶
type SubTypePattern struct {
// Variable is the variable representing the subtype.
Variable string
// ParentType is the name of the parent type.
ParentType string
}
SubTypePattern matches types that are subtypes of a parent type ($t sub type).
type UpdateClause ¶
type UpdateClause struct {
// Statements are the statements defining what to update.
Statements []Statement
}
UpdateClause represents an 'update' clause containing one or more statements.
func Update ¶
func Update(statements ...Statement) UpdateClause
Update creates an UpdateClause with the given statements.
type Value ¶
type Value interface {
QueryNode
// contains filtered or unexported methods
}
Value is the marker interface for value nodes that can be used in expressions.
func ValueFromGo ¶
ValueFromGo converts a Go value to an AST Value node. Handles common types: string, int, int64, float64, bool, time.Time. Falls back to string representation for unknown types.
type ValueComparisonPattern ¶
type ValueComparisonPattern struct {
// Var is the variable being compared.
Var string
// Operator is the comparison operator (e.g., >, <, ==).
Operator string
// Value is the value to compare against (Value or variable string).
Value any
}
ValueComparisonPattern represents a comparison between a variable and a value ($v > 10).
func Cmp ¶
func Cmp(variable, operator string, value any) ValueComparisonPattern
Cmp creates a ValueComparisonPattern for comparing a variable to a value.