Module arithmetic_typing::arith

Types allowing to customize various aspects of the type system, such as type constraints and behavior of unary / binary ops.

Structs

• BinaryOpContext
  Code spans related to a binary operation.
• BoolArithmetic
  Simplest TypeArithmetic implementation that defines unary / binary ops only on the Boolean type. Useful as a building block for more complex arithmetics.
• ConstraintSet
  Set of Constraints.
• Linearity
  Constraint for numeric types that can be subject to unary - and can participate in T op Num / Num op T operations.
• NumArithmetic
  Arithmetic on Numbers.
• OpConstraintSettings
  Settings for constraints placed on arguments of binary arithmetic operations.
• Ops
  Constraint for numeric types that can participate in binary arithmetic ops (T op T).
• StructConstraint
  Helper to define structural Constraints, i.e., constraints recursively checking the provided type.
• Substitutions
  Set of equations and constraints on type variables.
• UnaryOpContext
  Code spans related to a unary operation.

Enums

• Num
  Primitive types for the numeric arithmetic: Numeric type and Boolean.

Traits

• Constraint
  Constraint that can be placed on Types.
• LinearType
  Primitive type which supports a notion of linearity. Linear types are types that can be used in arithmetic ops.
• MapPrimitiveType
  Maps a literal value from a certain Grammar to its type. This assumes that all literals are primitive.
• ObjectSafeConstraint
  Marker trait for object-safe constraints, i.e., constraints that can be included into a DynConstraints.
• TypeArithmetic
  Arithmetic allowing to customize primitive types and how unary and binary operations are handled during type inference.
• WithBoolean
  PrimitiveType that has Boolean type as one of its variants.