Enum rtlola_frontend::mir::Type [−][src]
pub enum Type { Bool, Int(IntTy), UInt(UIntTy), Float(FloatTy), String, Bytes, Tuple(Vec<Type>), Option(Box<Type>), Function { args: Vec<Type>, ret: Box<Type>, }, }
Expand description
Represents an RTLola value type. This does not including pacing information, for this refer to TimeDrivenStream and EventDrivenStream.
Variants
A boolean type
An integer type of fixed bit-width
Tuple Fields of Int
0: IntTy
An unsigned integer type of fixed bit-width
Tuple Fields of UInt
0: UIntTy
A floating point type of fixed bit-width
Tuple Fields of Float
0: FloatTy
A unicode string
A sequence of 8-bit bytes
An n-ary tuples where n is the length of the contained vector
An optional value type, e.g., resulting from accessing a past value of a stream
A type describing a function
Fields of Function
Implementations
Indicates how many bytes a type requires to be stored in memory.
Recursive types yield the sum of their sub-type sizes, unsized types panic, and functions do not have a size, so they produce None
.
Panics
Panics if the type is an instance of Type::Option, Type::String, or Type::Bytes because their size is undetermined.
Trait Implementations
Performs the conversion.
Auto Trait Implementations
impl RefUnwindSafe for Type
impl UnwindSafe for Type
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.
type Output = T
type Output = T
Should always be Self