Module marker_api::sem

source ·
Expand description

A module containing semantic representations of types, generics and other parts of the language.

Structs

  • AdtTy
    The semantic representation of an abstract data type. This can be an Enum, Struct, or Union.
  • AliasTy
    The semantic representation of a type alias.
  • ArrayTy
    The semantic representation of an array with a known size like: [T; N]
  • BindingArg
    A semantic generic bound in the form <identifier=type>. For example, Item=i32 would be the generic binding here:
  • BoolTy
    The semantic representation of the bool type.
  • ClosureTy
    The semantic representation of a closure type.
  • ConstArg
  • ConstValue
    The semantic equivalent of a ConstExpr, at least theoretically. This part of the API is sadly not done yet, so this is just a placeholder.
  • FnPtrTy
    The semantic representation of a function pointer, like fn (T) -> U
  • FnTy
    A function item type identifying a specific function and potentualy additional generics.
  • GenericArgs
    The semantic representation of generic arguments for an item or path.
  • GenericTy
    The semantic representation of a generic type. For example
  • NeverTy
    The semantic representation of the never type !.
  • NumTy
    The semantic representation of a numeric type like u32, i32, f64.
  • RawPtrTy
    The semantic representation of a raw pointer like *const T or *mut T
  • RefTy
    The semantic representation of a reference like &T or &mut T
  • SliceTy
    The semantic representation of a variable length slice like [T]
  • TextTy
    The semantic representation of a textual type like char or str.
  • TraitBound
    A semantic trait bound used by TraitTy
  • TraitObjTy
    The semantic representation of a trait object.
  • TupleTy
    The semantic representation of a tuple type like () or (T, U)
  • UnstableTy
    The placeholder type, signalling that the semantic type is still unstable and therefor not represented as part of the API.
  • Visibility
    The declared visibility of an item or field.

Enums