ir

type Alias struct {
	Params []*Param `protobuf:"bytes,1,rep,name=params" json:"params,omitempty"`
	Target *ID      `protobuf:"bytes,2,opt,name=target" json:"target,omitempty"` // indexes Model.types
	// contains filtered or unexported fields
}

type AssocBind struct {
	Name     string    `protobuf:"bytes,1,opt,name=name" json:"name,omitempty"`
	Type     *ID       `protobuf:"bytes,2,opt,name=type" json:"type,omitempty"` // indexes Model.types
	Position *Position `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"`
	// contains filtered or unexported fields
}

type AssocType struct {
	Meta *Meta `protobuf:"bytes,1,opt,name=meta" json:"meta,omitempty"`
	Kind *Kind `protobuf:"bytes,2,opt,name=kind" json:"kind,omitempty"`
	// contains filtered or unexported fields
}

type Class struct {
	Params          []*Param     `protobuf:"bytes,1,rep,name=params" json:"params,omitempty"`
	FunDeps         []*FunDep    `protobuf:"bytes,2,rep,name=fun_deps,json=funDeps" json:"fun_deps,omitempty"`
	RequiresClasses []*ClassRef  `protobuf:"bytes,3,rep,name=requires_classes,json=requiresClasses" json:"requires_classes,omitempty"` // classes an implementor must also satisfy
	Constraints     []*ClassRef  `protobuf:"bytes,4,rep,name=constraints" json:"constraints,omitempty"`                                // the `requires` clause on this class's parameters
	Fields          []*Field     `protobuf:"bytes,5,rep,name=fields" json:"fields,omitempty"`
	RequiresKey     bool         `protobuf:"varint,6,opt,name=requires_key,json=requiresKey" json:"requires_key,omitempty"` // a bare `key` in the body
	AssocTypes      []*AssocType `protobuf:"bytes,7,rep,name=assoc_types,json=assocTypes" json:"assoc_types,omitempty"`
	// contains filtered or unexported fields
}

type ClassRef struct {
	Class    *ID       `protobuf:"bytes,1,opt,name=class" json:"class,omitempty"`   // indexes Model.decls; unset when extern is set
	Extern   *ID       `protobuf:"bytes,2,opt,name=extern" json:"extern,omitempty"` // indexes Model.externs
	Args     []*ID     `protobuf:"bytes,3,rep,name=args" json:"args,omitempty"`     // indexes Model.types
	Position *Position `protobuf:"bytes,4,opt,name=position" json:"position,omitempty"`
	// contains filtered or unexported fields
}

type Constraint struct {
	Name     string     `protobuf:"bytes,1,opt,name=name" json:"name,omitempty"`
	Args     []*Literal `protobuf:"bytes,2,rep,name=args" json:"args,omitempty"`
	Position *Position  `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"`
	// from names the newtype a constraint was inherited from, unset for one
	// written on this declaration. A newtype narrows its parent and never
	// replaces it, so the accumulated set is what a backend needs and the
	// origin is what it needs to explain itself.
	From *ID `protobuf:"bytes,4,opt,name=from" json:"from,omitempty"` // indexes Model.decls
	// contains filtered or unexported fields
}

type Decl struct {
	Meta       *Meta        `protobuf:"bytes,1,opt,name=meta" json:"meta,omitempty"`
	Directives []*Directive `protobuf:"bytes,8,rep,name=directives" json:"directives,omitempty"`
	// Types that are valid to be assigned to Node:
	//
	//	*Decl_Primitive
	//	*Decl_Alias
	//	*Decl_Newtype
	//	*Decl_Structure
	//	*Decl_Enumeration
	//	*Decl_Class
	Node isDecl_Node `protobuf_oneof:"node"`
	// contains filtered or unexported fields
}

type Decl_Alias struct {
	Alias *Alias `protobuf:"bytes,3,opt,name=alias,oneof"`
}

type Decl_Class struct {
	Class *Class `protobuf:"bytes,7,opt,name=class,oneof"`
}

type Decl_Enumeration struct {
	Enumeration *Enum `protobuf:"bytes,6,opt,name=enumeration,oneof"`
}

type Decl_Newtype struct {
	Newtype *Newtype `protobuf:"bytes,4,opt,name=newtype,oneof"`
}

type Decl_Primitive struct {
	Primitive *Primitive `protobuf:"bytes,2,opt,name=primitive,oneof"`
}

type Decl_Structure struct {
	Structure *Struct `protobuf:"bytes,5,opt,name=structure,oneof"`
}

type Deprecation struct {
	Reason   string    `protobuf:"bytes,1,opt,name=reason" json:"reason,omitempty"` // empty when written without one
	Position *Position `protobuf:"bytes,2,opt,name=position" json:"position,omitempty"`
	// contains filtered or unexported fields
}

type Directive struct {
	Name     string     `protobuf:"bytes,1,opt,name=name" json:"name,omitempty"`
	Args     []*Literal `protobuf:"bytes,2,rep,name=args" json:"args,omitempty"`
	Position *Position  `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"`
	// target names the block this came from, since a model may carry
	// directives for several backends at once.
	Target string `protobuf:"bytes,4,opt,name=target" json:"target,omitempty"`
	// from_class is set when the directive was written against a class and
	// expanded onto everything satisfying it, which is what makes a rule
	// written once apply to many types.
	FromClass *ID `protobuf:"bytes,5,opt,name=from_class,json=fromClass" json:"from_class,omitempty"` // indexes Model.decls
	// contains filtered or unexported fields
}

type Enum struct {
	Params      []*Param    `protobuf:"bytes,1,rep,name=params" json:"params,omitempty"`
	Variants    []*Variant  `protobuf:"bytes,2,rep,name=variants" json:"variants,omitempty"`
	Conforms    []*ClassRef `protobuf:"bytes,3,rep,name=conforms" json:"conforms,omitempty"`
	Constraints []*ClassRef `protobuf:"bytes,4,rep,name=constraints" json:"constraints,omitempty"`
	// contains filtered or unexported fields
}

type Extern struct {
	Package  string    `protobuf:"bytes,1,opt,name=package" json:"package,omitempty"`   // the declaring package
	Name     string    `protobuf:"bytes,2,opt,name=name" json:"name,omitempty"`         // the declaration's name within it
	Position *Position `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"` // where this model first referred to it
	// contains filtered or unexported fields
}

type Field struct {
	Meta         *Meta         `protobuf:"bytes,1,opt,name=meta" json:"meta,omitempty"`
	Type         *ID           `protobuf:"bytes,2,opt,name=type" json:"type,omitempty"`    // indexes Model.types
	Key          bool          `protobuf:"varint,3,opt,name=key" json:"key,omitempty"`     // part of the entity's identity
	Owned        bool          `protobuf:"varint,4,opt,name=owned" json:"owned,omitempty"` // composition rather than reference
	Constraints  []*Constraint `protobuf:"bytes,6,rep,name=constraints" json:"constraints,omitempty"`
	DefaultValue *Literal      `protobuf:"bytes,7,opt,name=default_value,json=defaultValue" json:"default_value,omitempty"` // unset when the field has no default
	Directives   []*Directive  `protobuf:"bytes,8,rep,name=directives" json:"directives,omitempty"`
	// included_from names the mixin a field was copied from, so a backend
	// that can express the grouping does not have to reconstruct it. Unset
	// for a field the declaration wrote itself.
	IncludedFrom *ID `protobuf:"bytes,5,opt,name=included_from,json=includedFrom" json:"included_from,omitempty"` // indexes Model.decls
	// contains filtered or unexported fields
}

type FunDep struct {
	From     []string  `protobuf:"bytes,1,rep,name=from" json:"from,omitempty"`
	To       []string  `protobuf:"bytes,2,rep,name=to" json:"to,omitempty"`
	Position *Position `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"`
	// contains filtered or unexported fields
}

type ID struct {
	Index int32  `protobuf:"varint,1,opt,name=index" json:"index,omitempty"`
	Name  string `protobuf:"bytes,2,opt,name=name" json:"name,omitempty"`
	// contains filtered or unexported fields
}

type Import struct {
	Path     string    `protobuf:"bytes,1,opt,name=path" json:"path,omitempty"`       // as written
	Alias    string    `protobuf:"bytes,2,opt,name=alias" json:"alias,omitempty"`     // "_" merges the imported names into this scope
	Package  string    `protobuf:"bytes,3,opt,name=package" json:"package,omitempty"` // the package the imported file declares
	Position *Position `protobuf:"bytes,4,opt,name=position" json:"position,omitempty"`
	// contains filtered or unexported fields
}

type Instance struct {
	Meta     *Meta        `protobuf:"bytes,1,opt,name=meta" json:"meta,omitempty"`
	Params   []*Param     `protobuf:"bytes,2,rep,name=params" json:"params,omitempty"`
	Class    *ClassRef    `protobuf:"bytes,3,opt,name=class" json:"class,omitempty"`
	Requires []*ClassRef  `protobuf:"bytes,4,rep,name=requires" json:"requires,omitempty"` // conditions on this instance
	Binds    []*AssocBind `protobuf:"bytes,5,rep,name=binds" json:"binds,omitempty"`
	// contains filtered or unexported fields
}

type Kind struct {
	Atom  KindAtom `protobuf:"varint,1,opt,name=atom,enum=tdl.ir.v1.KindAtom" json:"atom,omitempty"` // unset when paren is set
	Paren *Kind    `protobuf:"bytes,2,opt,name=paren" json:"paren,omitempty"`
	Arrow *Kind    `protobuf:"bytes,3,opt,name=arrow" json:"arrow,omitempty"` // unset for a bare atom
	// contains filtered or unexported fields
}

type KindAtom int32

type Literal struct {
	Kind     LiteralKind `protobuf:"varint,1,opt,name=kind,enum=tdl.ir.v1.LiteralKind" json:"kind,omitempty"`
	Text     string      `protobuf:"bytes,2,opt,name=text" json:"text,omitempty"`   // decoded for STRING, the pattern for REGEX, the name for NAME
	Items    []*Literal  `protobuf:"bytes,3,rep,name=items" json:"items,omitempty"` // set for LIST
	Range    *Range      `protobuf:"bytes,4,opt,name=range" json:"range,omitempty"` // set for RANGE
	Position *Position   `protobuf:"bytes,5,opt,name=position" json:"position,omitempty"`
	// variant names the enum variant a NAME literal resolves to, checked
	// against the field's type. Unset when it did not resolve.
	Variant *ID `protobuf:"bytes,6,opt,name=variant" json:"variant,omitempty"`
	// contains filtered or unexported fields
}

type LiteralKind int32

type Meta struct {
	Name       string       `protobuf:"bytes,1,opt,name=name" json:"name,omitempty"` // fully qualified for a declaration, bare for a member
	Doc        []string     `protobuf:"bytes,2,rep,name=doc" json:"doc,omitempty"`
	Position   *Position    `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"`
	Deprecated *Deprecation `protobuf:"bytes,4,opt,name=deprecated" json:"deprecated,omitempty"` // unset when not deprecated
	Order      int32        `protobuf:"varint,5,opt,name=order" json:"order,omitempty"`
	// contains filtered or unexported fields
}

type Model struct {
	Package   string          `protobuf:"bytes,1,opt,name=package" json:"package,omitempty"`
	Decls     []*Decl         `protobuf:"bytes,2,rep,name=decls" json:"decls,omitempty"`
	Types     []*Type         `protobuf:"bytes,3,rep,name=types" json:"types,omitempty"`
	Imports   []*Import       `protobuf:"bytes,4,rep,name=imports" json:"imports,omitempty"`
	Externs   []*Extern       `protobuf:"bytes,5,rep,name=externs" json:"externs,omitempty"`
	Instances []*Instance     `protobuf:"bytes,6,rep,name=instances" json:"instances,omitempty"`
	Satisfies []*Satisfaction `protobuf:"bytes,7,rep,name=satisfies" json:"satisfies,omitempty"`
	Targets   []*TargetBlock  `protobuf:"bytes,8,rep,name=targets" json:"targets,omitempty"`
	// contains filtered or unexported fields
}

type Newtype struct {
	Params           []*Param      `protobuf:"bytes,1,rep,name=params" json:"params,omitempty"`
	Base             *ID           `protobuf:"bytes,2,opt,name=base" json:"base,omitempty"`                                                 // indexes Model.types
	Constraints      []*ClassRef   `protobuf:"bytes,3,rep,name=constraints" json:"constraints,omitempty"`                                   // the `requires` clause on its parameters
	ValueConstraints []*Constraint `protobuf:"bytes,4,rep,name=value_constraints,json=valueConstraints" json:"value_constraints,omitempty"` // the `where` block, accumulated down the chain
	// contains filtered or unexported fields
}

type Param struct {
	Name     string    `protobuf:"bytes,1,opt,name=name" json:"name,omitempty"`
	Kind     *Kind     `protobuf:"bytes,2,opt,name=kind" json:"kind,omitempty"` // unset when inferred from use
	Position *Position `protobuf:"bytes,3,opt,name=position" json:"position,omitempty"`
	// contains filtered or unexported fields
}

type ParamRef struct {
	Name  string `protobuf:"bytes,1,opt,name=name" json:"name,omitempty"`
	Index int32  `protobuf:"varint,2,opt,name=index" json:"index,omitempty"` // into the declaring node's params
	Owner *ID    `protobuf:"bytes,3,opt,name=owner" json:"owner,omitempty"`  // the declaration that declares it
	// contains filtered or unexported fields
}

type Position struct {
	Filename string `protobuf:"bytes,1,opt,name=filename" json:"filename,omitempty"`
	Line     int32  `protobuf:"varint,2,opt,name=line" json:"line,omitempty"`
	Column   int32  `protobuf:"varint,3,opt,name=column" json:"column,omitempty"`
	// contains filtered or unexported fields
}

type Primitive struct {
	Kind *Kind `protobuf:"bytes,1,opt,name=kind" json:"kind,omitempty"` // unset when the kind is left to inference
	// contains filtered or unexported fields
}

type Range struct {
	Low  *int64 `protobuf:"varint,1,opt,name=low" json:"low,omitempty"`
	High *int64 `protobuf:"varint,2,opt,name=high" json:"high,omitempty"`
	// contains filtered or unexported fields
}

type Satisfaction struct {
	Class *ID   `protobuf:"bytes,1,opt,name=class" json:"class,omitempty"` // indexes Model.decls
	Decls []*ID `protobuf:"bytes,2,rep,name=decls" json:"decls,omitempty"` // indexes Model.decls
	// types lists instantiated types that satisfy the class through a
	// conditional instance, as in `Page<Order>` given
	// `instance <T> Auditable<Page<T>> requires Auditable<T>`.
	//
	// A declaration cannot stand in for these: `Page` satisfies nothing on
	// its own, and `Page<Order>` is a type rather than a declaration.
	Types []*ID `protobuf:"bytes,3,rep,name=types" json:"types,omitempty"` // indexes Model.types
	// contains filtered or unexported fields
}

type Struct struct {
	Kind        StructKind  `protobuf:"varint,1,opt,name=kind,enum=tdl.ir.v1.StructKind" json:"kind,omitempty"`
	Params      []*Param    `protobuf:"bytes,2,rep,name=params" json:"params,omitempty"`
	Fields      []*Field    `protobuf:"bytes,3,rep,name=fields" json:"fields,omitempty"`
	Conforms    []*ClassRef `protobuf:"bytes,4,rep,name=conforms" json:"conforms,omitempty"`       // classes this declaration says it satisfies
	Constraints []*ClassRef `protobuf:"bytes,5,rep,name=constraints" json:"constraints,omitempty"` // the `requires` clause on its parameters
	// contains filtered or unexported fields
}

type StructKind int32

type SyntacticForm int32

type TargetBlock struct {
	Meta       *Meta        `protobuf:"bytes,1,opt,name=meta" json:"meta,omitempty"` // name is the target name, such as "go"
	ForPackage string       `protobuf:"bytes,2,opt,name=for_package,json=forPackage" json:"for_package,omitempty"`
	Directives []*Directive `protobuf:"bytes,3,rep,name=directives" json:"directives,omitempty"`
	// contains filtered or unexported fields
}

type Type struct {
	Ctor     *ID           `protobuf:"bytes,1,opt,name=ctor" json:"ctor,omitempty"` // indexes Model.decls; unset when param or extern is set
	Args     []*ID         `protobuf:"bytes,2,rep,name=args" json:"args,omitempty"` // indexes Model.types
	Wrote    SyntacticForm `protobuf:"varint,3,opt,name=wrote,enum=tdl.ir.v1.SyntacticForm" json:"wrote,omitempty"`
	Position *Position     `protobuf:"bytes,4,opt,name=position" json:"position,omitempty"`
	Param    *ParamRef     `protobuf:"bytes,5,opt,name=param" json:"param,omitempty"`   // set instead of ctor for a type parameter
	Extern   *ID           `protobuf:"bytes,6,opt,name=extern" json:"extern,omitempty"` // set instead of ctor; indexes Model.externs
	// contains filtered or unexported fields
}

type Variant struct {
	Meta   *Meta    `protobuf:"bytes,1,opt,name=meta" json:"meta,omitempty"`
	Fields []*Field `protobuf:"bytes,2,rep,name=fields" json:"fields,omitempty"`
	// contains filtered or unexported fields
}