parser

type Anon struct {
	Values []FieldDefinition `"[" @@ "]"`
}

type CellRef struct {
	TypeExpression TypeExpression `"^" @@`
}

type Combinator struct {
	Name            string           `@Ident`
	TypeExpressions []TypeExpression `@@*`
}

type CombinatorDeclaration struct {
	Constructor      Constructor        `@@`
	FieldDefinitions []*FieldDefinition `@@*`
	Equal            string             `"="`
	Combinator       Combinator         `@@`
	End              string             `";"`
}

type Constructor struct {
	Name   string `@Ident`
	Prefix string `@(HexTag|BinTag)?`
}

type FieldDefinition struct {
	Implicit   *ImplicitDefinition `@@`
	NamedField *NamedField         `| @@`
	CellRef    *CellRef            `| @@`
}

type ImplicitDefinition struct {
	Start      string          `"{"`
	Implicit   *ImplicitField  `(@@`
	Expression *TypeExpression `| @@)`
	End        string          `"}"`
}

type ImplicitField struct {
	Name string `@Ident`
	Sep  string `":"`
	Type string `@("#"|"Type")`
}

type NamedField struct {
	Name       string         `@(Ident|"_")`
	Sep        string         `":"`
	Expression TypeExpression `@@`
}

type ParenExpression struct {
	Name      TypeExpression   `"(" @@ `
	Parameter []TypeExpression `@@* ")"`
}

type TLB struct {
	Declarations []*CombinatorDeclaration `@@*`
}

type TypeExpression struct {
	Tilda                string           `@"~"?`
	ParenExpression      *ParenExpression `@@`
	AnonymousConstructor *Anon            `| @@`
	CellRef              *CellRef         `| @@`
	BuiltIn              *string          `| @BuiltIn`
	NUMBER               *string          `| @NUMBER`
	NamedRef             *string          `| @Ident`
}