accepted_types

Types

AcceptedTypes

AcceptedTypes is a union of all the types that can be used as a “filter” over the set of all possible values. This allows us to type params and thus provide annotations that the compiler can leverage to be a more useful guide towards the pit of success.

pub type AcceptedTypes {
  PrimitiveType(primitive_types.PrimitiveTypes)
  CollectionType(collection_types.CollectionTypes(AcceptedTypes))
  ModifierType(modifier_types.ModifierTypes(AcceptedTypes))
  RefinementType(refinement_types.RefinementTypes(AcceptedTypes))
  TypeAliasRef(String)
}

Constructors

PrimitiveType(primitive_types.PrimitiveTypes)

CollectionType(collection_types.CollectionTypes(AcceptedTypes))

ModifierType(modifier_types.ModifierTypes(AcceptedTypes))

RefinementType(refinement_types.RefinementTypes(AcceptedTypes))

```
TypeAliasRef(String)
```
A reference to a type alias (e.g., _env). Must be resolved before validation. This is a compile-time construct that gets inlined during code generation.