Module types

Structs

GenericTypeArgGenericTypeWrapper

Wrapper for a specialization generator with a single type arg.

InfoAndTypeConcreteType

Struct providing a ConcreteType with the type info and a wrapped type.

InfoOnlyConcreteType

Struct providing a ConcreteType only with the type info - should not be implemented for concrete types that require any extra data.

TypeInfo

Information on Sierra types required for generic libfunc calls.

Traits

ConcreteType

Trait for a specialized type.

GenericType

Trait for implementing a specialization generator for types.

GenericTypeArgGenericType

Trait for describing a generic type with a single type arg.

GenericTypeEx

Trait for introducing helper methods on GenericType.

NamedType

Trait for implementing a specialization generator with a simple id.

NoGenericArgsGenericType

Trait for describing a generic type with no generic arguments.