Module reference

References types

The reference is a special type in the compiler that is used to track references to things that might not yet exist in the context. They are usually created in the builder stage and the compiler will attempt to resolve them in the checker stage by replacing them with the appropriate type.

Structs

BehaviorMarker

ComponentDefinitionMarker

ComponentMarker

DefinitionTarget

Definition target in the specification.

GoalMarker

IndexTarget

Index target inside a definition. The correct container should be selected based on the type alias.

NeedMarker

ParameterMarker

Reference

Reference that is to be resolved later.

RelatingParameterMarker

RelationDefinitionMarker

RelationMarker

RequiringParameterMarker

ReturningParameterMarker

TargetError

TransformationMarker

TypeDefinitionMarker

VariableGroupMarker

VariableMarker

VerbDefinitionMarker

Traits

FetchTarget

Trait that fetches a targeted item from a specification.

Resolved

Trait that signals whether something has all it’s references resolved.

Type Aliases

BehaviorTarget

Behavior requirement target inside a component definition.

ComponentDefinitionTarget

Component definition target.

ComponentTarget

Component target inside a component definition.

GoalTarget

Goal requirement target inside a component definition.

NeedTarget

Need target inside a component definition.

ParameterTarget

Parameter target inside a component definition.

RelatingParameterTarget

Relating parameter target inside a relation definition.

RelationDefinitionTarget

Relation definition target.

RelationTarget

Relation target inside a component definition.

RequiringParameterTarget

Requiring parameter target inside a relation definition.

ReturningParameterTarget

Returning parameter target inside a relation definition.

TransformationTarget

Transformation requirement target inside a component definition.

TypeDefinitionTarget

Type definition target.

VariableGroupTarget

Variable group target inside a component definition.

VariableTarget

Variable target inside a component definition.

VerbDefinitionTarget

Verb definition target.