Expand description
Types and type operations for Typst.
Structs§
- The state of a type variable (bounds of some type in program)
- A conditional type
if t1 then t2 else t3 - An instance of a typst type
- An ordered list of names
- A package identifier.
- Describes a function parameter.
- Describes a parameter type.
- An iterator over the variants of PathPreference
- A record type
- A field selection type
- A typst function type
- A type with partially applied arguments
- A binary operation type
- A frozen type variable (bounds of some type in program)
t :> t1 | ... | tn <: f1 & ... & fnlbs------------- ubs------------- - The type information on a group of syntax structures (typing)
- The syntax source (definition) of a type node todo: whether we should store them in the type node
- A unary operation type
- A type variable
- A type variable bounds
Enums§
- A type variable bounds
- All possible types in tinymist
- A function parameter type
Statics§
Traits§
- A type context.
- A mutable type context.
- A common type kinds for those types that has fields (Abstracted record type).
- Extension common methods for
TypeInterface.
Functions§
- Gets the type of a value.
Type Aliases§
- A function argument type
- The kind of binary operation
- A pattern type