Crate rue_typing

Crate rue_typing 

Source

Structs§

Alias
Represents an alias to a type with a set of generic parameters that must be mapped prior to use.
Callable
Represents something which can be called with arguments and returns a given type.
Enum
Represents an enum type which can have multiple variants.
Lazy
Allows you to map generic types lazily without having to resolve them immediately. This prevents stack overflows when resolving generic type definitions that reference themselves. When reducing a type to its structural form, lazy types should be removed.
StandardTypes
Struct
Struct types are just wrappers around a structural type that provide field information.
TypeSystem
Variant
Represents a variant type which can optionally have fields.

Enums§

Check
CheckError
Comparison
Type
TypePath

Functions§

bigint_to_bytes
construct_items
Constructs a structural type consisting of the items in a list.
deconstruct_items
Deconstructs a structural type into a list of items and a rest value.
index_to_path
unwrap_list
Unwraps a list type into its inner type.

Type Aliases§

HashMap
HashSet
TypeId