identity

type Declaration ¶

type Declaration struct {
	Module string
	Name   string
	Kind   Kind
}

Declaration identifies one semantic declaration independently from the spelling used at a source reference and from any backend-generated name. Module is the canonical compiler module path. Name is qualified with :: for declarations nested in source modules.

func (d Declaration) Empty() bool

func (d Declaration) Key() string

func (d Declaration) LeafName() string

type Dispatch ¶

type Dispatch struct {
	Owner Declaration
	Name  string
	Class bool
}

Dispatch identifies a source member independently from target-language mangling. Class distinguishes class and instance namespaces.

func (d Dispatch) Empty() bool

type Kind ¶

type Kind string

const (
	Class     Kind = "class"
	Record    Kind = "record"
	Enum      Kind = "enum"
	TypeAlias Kind = "type_alias"
	Newtype   Kind = "newtype"
	Module    Kind = "module"
	Interface Kind = "interface"
	Function  Kind = "function"
	Value     Kind = "value"
)

func (k Kind) IsType() bool