Trait arithmetic_typing::arith::MapPrimitiveType

pub trait MapPrimitiveType<Val> {
    type Prim: PrimitiveType;

    // Required method
    fn type_of_literal(&self, lit: &Val) -> Self::Prim;
}

Maps a literal value from a certain Grammar to its type. This assumes that all literals are primitive.

Required Associated Types

type Prim: PrimitiveType

Types of literals output by this mapper.

Required Methods

fn type_of_literal(&self, lit: &Val) -> Self::Prim

Gets the type of the provided literal value.

Implementors

impl<Val> MapPrimitiveType<Val> for NumArithmetic

where Val: Clone + NumOps + PartialEq,

type Prim = Num