Module rtlola_frontend::ty

This module contains the basic definition of types

It is inspired by https://doc.rust-lang.org/nightly/nightly-rustc/rustc/ty/index.html

Structs

Freq	The frequency with which a stream gets executed.
Ty	The type of an expression consists of both, a value type (Bool, String, etc.) and a stream type (periodic or event-based).
TypeConfig	Configuration of the type system in the frontend.

Enums

Activation	The activation condition describes when an event-based stream produces a new value.
FloatTy	The possible floating-point value types.
IntTy	The possible signed integer value types.
StreamTy	The possible stream types describing the temporal behavior of a stream.
TypeConstraint	Type constraint used during type checking and type inference.
UIntTy	The possible unsigned integer value types.
ValueTy	The value type, storing information about the stored values (Bool, UInt8, etc.)