syntax

Oct 8, 2026

Changes in this version

type Try

+ End diag.Pos

+ Wrap *Lambda

Oct 7, 2026

Changes in this version

type File

+ PatternLineStarts []diag.Pos

Oct 7, 2026

Changes in this version

type File

+ LegacyStagedLists []LegacyStagedList

+ type LegacyStagedList struct

+ Edits []diag.TextEdit

+ End diag.Pos

+ Pos diag.Pos

Oct 7, 2026

Changes in this version

type Match

+ Filter bool

Oct 7, 2026

Changes in this version

type Generate

+ Comprehension bool

Oct 7, 2026

Changes in this version

type File

+ IterationOperators []diag.Pos

type For

+ Pattern Pattern

Oct 7, 2026

Changes in this version

type File

+ HeadParentheses []SourceSpan

Oct 7, 2026

Changes in this version

+ const MetadataFamilyKeyword

type TypeDecl

+ MetadataFamily bool

+ MetadataPos diag.Pos

Oct 7, 2026

Changes in this version

type Expr

+ func ParseExpression(path string, src []byte, diags *diag.List) (out Expr)

Oct 6, 2026

Changes in this version

type FieldDecl

+ TagGroups []*TagGroup

+ type TagGroup struct

+ End diag.Pos

+ Entries []*FieldInit

+ Name string

+ Pos diag.Pos

type TypeDecl

+ TagGroups []*TagGroup

type VariantDecl

+ Doc string

+ TagGroups []*TagGroup

Oct 6, 2026

Changes in this version

type File

+ DeriveHelpers []*FuncDecl

+ Templates []*InstanceDecl

type For

+ Comprehension bool

+ Comptime bool

type FuncDecl

+ Derivation bool

type If

+ Comptime bool

type InstanceDecl

+ Derivation bool

+ Metadata []*InstanceMetadata

+ type InstanceMetadata struct

+ Pos diag.Pos

+ Type *TypeExpr

+ Value Expr

type Match

+ Comptime bool

Oct 6, 2026

Changes in this version

type For

+ Clauses bool

+ Cond Expr

+ Init []*Binding

+ Post []*Binding

+ func (f *For) Form() ForForm

+ type ForForm int

+ const ForClauses

+ const ForIn

+ const ForInfinite

+ const ForWhile

type RecordLit

+ Positional bool

+ type Select struct

+ Arms []*SelectArm

+ Close diag.Pos

+ Pos diag.Pos

+ func (e *Select) Position() diag.Pos

+ type SelectArm struct

+ Body Expr

+ Name string

+ NamePos diag.Pos

+ Op Expr

+ Pos diag.Pos

type Uses

+ func (u *Uses) TailRec() (diag.Pos, bool)

type VariantDecl

+ Positional bool

+ Slots []*TypeExpr

type VariantPat

+ Elems []Pattern

+ Owner *TypeExpr

+ PayloadEnd diag.Pos

+ PayloadPos diag.Pos

+ Positional bool

Oct 5, 2026

Changes in this version

+ type DeriveDecl struct

+ Class string

+ ClassPos diag.Pos

+ End diag.Pos

+ Pos diag.Pos

+ Type *TypeExpr

type File

+ Derives []*DeriveDecl

Oct 5, 2026

Changes in this version

type File

+ PatternTestOperators []diag.Pos

+ type Is struct

+ End diag.Pos

+ Pattern Pattern

+ Pos diag.Pos

+ X Expr

+ func (x *Is) Position() diag.Pos

Oct 5, 2026

Changes in this version

+ type TupleBinding struct

+ Pattern *TuplePat

+ Pos diag.Pos

+ Value Expr

+ type TupleLit struct

+ Elems []Expr

+ End diag.Pos

+ Pos diag.Pos

+ func (e *TupleLit) Position() diag.Pos

+ type TuplePat struct

+ Elems []Pattern

+ End diag.Pos

+ Pos diag.Pos

+ func (p *TuplePat) Position() diag.Pos

type TypeExpr

+ Tuple []*TypeExpr

Oct 5, 2026

Changes in this version

type Kind

+ const Amp

+ const Caret

+ const Shl

+ const Shr

Oct 5, 2026

Changes in this version

type ContextName

+ NamePos diag.Pos

type VariantPat

+ Context bool

+ End diag.Pos

+ NamePos diag.Pos

Oct 4, 2026

Changes in this version

type FuncDecl

+ End diag.Pos

Oct 4, 2026

Changes in this version

+ type ExpressionSpan struct

+ Expr Expr

type File

+ ExpressionSpans []ExpressionSpan

+ type SourceSpan struct

+ End diag.Pos

+ Start diag.Pos

Oct 4, 2026

Changes in this version

type Import

+ End diag.Pos

Oct 4, 2026

Changes in this version

type Match

+ Close diag.Pos

+ TrailingSeparator bool

Oct 4, 2026

Changes in this version

+ func Keywords() []string

Oct 4, 2026

Changes in this version

+ func Lex(file string, src []byte, diags *diag.List) ([]Token, []Comment)

+ func LexCompiler(file string, src []byte, diags *diag.List) ([]Token, []Comment)

+ type AmbientDecl struct

+ Logged *diag.Pos

+ Name string

+ Pos diag.Pos

+ Propagated *Propagated

+ Type *TypeExpr

+ type Argument struct

+ End diag.Pos

+ Name string

+ NameEnd diag.Pos

+ Pos diag.Pos

+ RemovalStart diag.Pos

+ ValueStart diag.Pos

+ type Arm struct

+ Body Expr

+ Pattern Pattern

+ type Binary struct

+ Op Kind

+ Pos diag.Pos

+ X Expr

+ Y Expr

+ func (e *Binary) Position() diag.Pos

+ type Binding struct

+ AsyncPos diag.Pos

+ AsyncScope Expr

+ Lazy bool

+ LazyPos diag.Pos

+ Name string

+ Package bool

+ Pos diag.Pos

+ Type *TypeExpr

+ Value Expr

+ type Block struct

+ End diag.Pos

+ Pos diag.Pos

+ Stmts []Stmt

+ Tail Expr

+ func (e *Block) Position() diag.Pos

+ type BoolLit struct

+ Pos diag.Pos

+ Value bool

+ func (e *BoolLit) Position() diag.Pos

+ type Bundle struct

+ Items []*Use

+ Name string

+ Pos diag.Pos

+ type Call struct

+ Args []Expr

+ Arguments []Argument

+ End diag.Pos

+ Fun Expr

+ FunEnd diag.Pos

+ Pipe diag.Pos

+ PipeBare bool

+ PipeEnd diag.Pos

+ PipeStart diag.Pos

+ PipeTargetEnd diag.Pos

+ PipeWrap bool

+ Pos diag.Pos

+ Start diag.Pos

+ TypeArgs []*TypeExpr

+ func (e *Call) Position() diag.Pos

+ type ClassDecl struct

+ Methods []*FuncDecl

+ Name string

+ Pos diag.Pos

+ TypeParams []*TypeParam

+ type Comment struct

+ End diag.Pos

+ Pos diag.Pos

+ Text string

+ type Comptime struct

+ Body *Block

+ Pos diag.Pos

+ func (e *Comptime) Position() diag.Pos

+ type ContextName struct

+ End diag.Pos

+ Name string

+ Pos diag.Pos

+ func (e *ContextName) Position() diag.Pos

+ type Copy struct

+ Pos diag.Pos

+ Updates []*CopyUpdate

+ X Expr

+ func (e *Copy) Position() diag.Pos

+ type CopyUpdate struct

+ Path []string

+ PathEnd diag.Pos

+ Pos diag.Pos

+ Value Expr

+ ValueEnd diag.Pos

+ ValueStart diag.Pos

+ type Effect struct

+ Name string

+ Pos diag.Pos

+ type Expr interface

+ Position func() diag.Pos

+ type ExprStmt struct

+ X Expr

+ type FieldDecl struct

+ Default Expr

+ Doc string

+ GoTags []GoTag

+ Lazy bool

+ LazyPos diag.Pos

+ Name string

+ Pos diag.Pos

+ Type *TypeExpr

+ type FieldInit struct

+ Name string

+ Pos diag.Pos

+ Value Expr

+ type FieldPat struct

+ Field string

+ Pattern Pattern

+ Pos diag.Pos

+ type File struct

+ Ambients []*AmbientDecl

+ Bindings []*Binding

+ Bundles []*Bundle

+ Classes []*ClassDecl

+ Comments []Comment

+ Funcs []*FuncDecl

+ Imports []*Import

+ Instances []*InstanceDecl

+ Package string

+ Path string

+ Prelude bool

+ Providers []*ProviderBundle

+ Rules []*RuleDecl

+ Script bool

+ Source string

+ Tests []*TestDecl

+ Types []*TypeDecl

+ Uses []*Use

+ func Parse(path string, src []byte, diags *diag.List) *File

+ func ParseEmbedded(path string, src []byte, diags *diag.List) *File

+ func ParseFiles(paths []string, srcs [][]byte, embedded bool, diags *diag.List) []*File

+ func ParseScript(path string, src []byte, diags *diag.List) *File

+ type FloatLit struct

+ Pos diag.Pos

+ Text string

+ func (e *FloatLit) Position() diag.Pos

+ type For struct

+ Body *Block

+ Items Expr

+ Name string

+ NamePos diag.Pos

+ Pos diag.Pos

+ func (e *For) Position() diag.Pos

+ type FuncDecl struct

+ Body *Block

+ Constructor *TypeExpr

+ GoBind *GoBind

+ GoBody *GoCode

+ Instance *InstanceDecl

+ IsMethod bool

+ IsPred bool

+ Name string

+ Needs *Needs

+ Params []*Param

+ ParamsEnd diag.Pos

+ Pos diag.Pos

+ Requires Expr

+ Result *TypeExpr

+ ScriptMain bool

+ TypeParams []*TypeParam

+ Uses *Uses

+ func (fd *FuncDecl) IsGo() bool

+ type FuncTypeExpr struct

+ Params []*TypeExpr

+ Result *TypeExpr

+ Uses *Uses

+ type Generate struct

+ Body *Block

+ Elem *TypeExpr

+ Pos diag.Pos

+ func (e *Generate) Position() diag.Pos

+ type GoBind struct

+ Name string

+ Pos diag.Pos

+ type GoCode struct

+ Body string

+ ImportAliases map[string]string

+ Imports []string

+ Pos diag.Pos

+ type GoTag struct

+ Name string

+ Pos diag.Pos

+ Value string

+ type Ident struct

+ Name string

+ Pos diag.Pos

+ func (e *Ident) Position() diag.Pos

+ type If struct

+ Cond Expr

+ Else Expr

+ Pos diag.Pos

+ Then *Block

+ func (e *If) Position() diag.Pos

+ type Import struct

+ Name string

+ Path string

+ Pos diag.Pos

+ type InstanceDecl struct

+ Class string

+ ClassPos diag.Pos

+ Methods []*FuncDecl

+ Name string

+ Pos diag.Pos

+ Type *TypeExpr

+ TypeParams []*TypeParam

+ type IntLit struct

+ Pos diag.Pos

+ Text string

+ func (e *IntLit) Position() diag.Pos

+ type Interp struct

+ Exprs []Expr

+ Parts []string

+ Pos diag.Pos

+ Prefix Expr

+ PrefixEnd diag.Pos

+ func (e *Interp) Position() diag.Pos

+ type Kind int

+ const AndAnd

+ const Arrow

+ const Assign

+ const Colon

+ const Comma

+ const Dot

+ const EOF

+ const Ellipsis

+ const Eq

+ const Gt

+ const GtEq

+ const Illegal

+ const KwAnd

+ const KwBreak

+ const KwContinue

+ const KwElse

+ const KwFalse

+ const KwFn

+ const KwFor

+ const KwGenerate

+ const KwIf

+ const KwMatch

+ const KwOr

+ const KwPred

+ const KwReturn

+ const KwRule

+ const KwSealed

+ const KwTrue

+ const KwTrust

+ const KwType

+ const KwUnsafe

+ const KwWhere

+ const KwYield

+ const LBrace

+ const LBrack

+ const LParen

+ const Lt

+ const LtEq

+ const Minus

+ const Not

+ const NotEq

+ const OrOr

+ const Pct

+ const Pipe

+ const PipeGt

+ const Plus

+ const Quest

+ const RBrace

+ const RBrack

+ const RParen

+ const Semi

+ const Slash

+ const Star

+ const TFloat

+ const TGoCode

+ const TIdent

+ const TInt

+ const TInterp

+ const TRune

+ const TString

+ const Underscore

+ func (k Kind) String() string

+ type Lambda struct

+ Body Expr

+ Params []*Param

+ Pos diag.Pos

+ func (e *Lambda) Position() diag.Pos

+ type ListLit struct

+ Elems []Expr

+ Pos diag.Pos

+ func (e *ListLit) Position() diag.Pos

+ type ListPat struct

+ Elems []Pattern

+ HasRest bool

+ Pos diag.Pos

+ Rest string

+ RestPos diag.Pos

+ func (p *ListPat) Position() diag.Pos

+ type LitPat struct

+ Pos diag.Pos

+ Value Expr

+ func (p *LitPat) Position() diag.Pos

+ type LoopControl struct

+ Continue bool

+ Pos diag.Pos

+ func (e *LoopControl) Position() diag.Pos

+ type MapLit struct

+ Keys []Expr

+ Pos diag.Pos

+ Values []Expr

+ func (e *MapLit) Position() diag.Pos

+ type Match struct

+ Arms []*Arm

+ Pos diag.Pos

+ X Expr

+ func (e *Match) Position() diag.Pos

+ type MockStmt struct

+ Body *Block

+ MockPos diag.Pos

+ Name string

+ Params []*Param

+ ParamsEnd diag.Pos

+ ParamsStart diag.Pos

+ Pos diag.Pos

+ Requires Expr

+ Target Expr

+ type Need struct

+ Name string

+ Optional bool

+ Pos diag.Pos

+ type Needs struct

+ End diag.Pos

+ Items []*Need

+ Pos diag.Pos

+ type Param struct

+ Default Expr

+ In string

+ InPos diag.Pos

+ Name string

+ Pos diag.Pos

+ Type *TypeExpr

+ type Pattern interface

+ Position func() diag.Pos

+ type PredRef struct

+ Args []Expr

+ Name string

+ Or []*PredRef

+ Pos diag.Pos

+ type Propagated struct

+ Header string

+ HeaderPos diag.Pos

+ Pos diag.Pos

+ type ProviderBundle struct

+ Entries []*ProviderEntry

+ Name string

+ NamePos diag.Pos

+ Pos diag.Pos

+ type ProviderEntry struct

+ Name string

+ Pos diag.Pos

+ Provider Expr

+ type RecordLit struct

+ End diag.Pos

+ Fields []*FieldInit

+ Type Expr

+ func (e *RecordLit) Position() diag.Pos

+ type Return struct

+ Pos diag.Pos

+ Value Expr

+ func (e *Return) Position() diag.Pos

+ type RuleDecl struct

+ Conclusions []Expr

+ Name string

+ Params []*Param

+ Pos diag.Pos

+ Premises []Expr

+ type RuneLit struct

+ Pos diag.Pos

+ Text string

+ func (e *RuneLit) Position() diag.Pos

+ type ScopeExpr struct

+ Body *Block

+ Name string

+ Policies []Expr

+ Pos diag.Pos

+ func (e *ScopeExpr) Position() diag.Pos

+ type Selector struct

+ Name string

+ Pos diag.Pos

+ X Expr

+ func (e *Selector) Position() diag.Pos

+ type StaticPartsLit struct

+ Parts []string

+ Pos diag.Pos

+ func (e *StaticPartsLit) Position() diag.Pos

+ type Stmt interface

+ type StringLit struct

+ Pos diag.Pos

+ Value string

+ func (e *StringLit) Position() diag.Pos

+ type TestDecl struct

+ Body *Block

+ Name string

+ Params []*Param

+ Pos diag.Pos

+ type Token struct

+ End diag.Pos

+ Kind Kind

+ Pos diag.Pos

+ Text string

+ type TrustStmt struct

+ Call *Call

+ Pos diag.Pos

+ type Try struct

+ Pos diag.Pos

+ X Expr

+ func (e *Try) Position() diag.Pos

+ type TypeDecl struct

+ Alias *TypeExpr

+ Derive []string

+ DerivePos diag.Pos

+ Fields []*FieldDecl

+ GoName *GoBind

+ Kind TypeKind

+ Name string

+ Pos diag.Pos

+ Private bool

+ TypeParams []*TypeParam

+ Variants []*VariantDecl

+ Where []*PredRef

+ type TypeExpr struct

+ Args []*TypeExpr

+ Func *FuncTypeExpr

+ Name string

+ Pos diag.Pos

+ Union []*TypeExpr

+ Uses *Uses

+ Where []*PredRef

+ type TypeHead struct

+ End diag.Pos

+ Type *TypeExpr

+ func (e *TypeHead) Position() diag.Pos

+ type TypeKind int

+ const AliasType

+ const GoType

+ const RecordType

+ const ResourceType

+ const SealedType

+ type TypeParam struct

+ Bounds []string

+ Name string

+ Pos diag.Pos

+ type TypePat struct

+ Name string

+ Pos diag.Pos

+ Type *TypeExpr

+ func (p *TypePat) Position() diag.Pos

+ type Unary struct

+ Op Kind

+ Pos diag.Pos

+ X Expr

+ func (e *Unary) Position() diag.Pos

+ type Use struct

+ Name string

+ Pos diag.Pos

+ type Uses struct

+ Effects []Effect

+ End diag.Pos

+ Pos diag.Pos

+ type VariantDecl struct

+ Fields []*FieldDecl

+ Name string

+ Pos diag.Pos

+ Where []*PredRef

+ type VariantPat struct

+ Braces bool

+ Fields []*FieldPat

+ Path []string

+ Pos diag.Pos

+ func (p *VariantPat) Position() diag.Pos

+ type WildcardPat struct

+ Pos diag.Pos

+ func (p *WildcardPat) Position() diag.Pos

+ type WithBinding struct

+ Name string

+ Pos diag.Pos

+ Value Expr

+ type WithExpr struct

+ Bindings []*WithBinding

+ Body *Block

+ Pos diag.Pos

+ func (e *WithExpr) Position() diag.Pos

+ type Yield struct

+ Pos diag.Pos

+ Value Expr

+ func (e *Yield) Position() diag.Pos