Union TypeInfopub

Source

:union(pub) TypeInfo
  | IntInfo IntTypeInfo
  | FloatInfo FloatTypeInfo
  | StrInfo
  | BoolInfo
  | RecordInfo RecordTypeInfo
  | UnionInfo UnionTypeInfo
  | EnumInfo EnumTypeInfo
  | NewtypeInfo NewtypeTypeInfo
  | AliasInfo AliasTypeInfo
  | QuotationInfo QuotationTypeInfo
  | VecInfo VecTypeInfo
  | ExistentialInfo ExistentialTypeInfo

Description

Top-level reflected type descriptor. Variants cover every structured type form Silo exposes to reflection: Int, Float, Str, Bool, records, unions, enums, newtypes, aliases, quotations, vectors, and existentials.

Variants

| IntInfo IntTypeInfo
| FloatInfo FloatTypeInfo
| StrInfo
| BoolInfo
| RecordInfo RecordTypeInfo
| UnionInfo UnionTypeInfo
| EnumInfo EnumTypeInfo
| NewtypeInfo NewtypeTypeInfo
| AliasInfo AliasTypeInfo
| QuotationInfo QuotationTypeInfo
| VecInfo VecTypeInfo
| ExistentialInfo ExistentialTypeInfo