Enum piske::ptype::PType

pub enum PType {
    String,
    Float,
    Int,
    Boolean,
    Complex,
    Set,
    Void,
}

The types available in the piske programming language. Implements the sindra Type trait.

Variants

String

Built-in string type

Float

Floating-point numbers

Int

Integers (signed)

Boolean

Boolean (true / false)

Complex

Complex

Set

Set (collection)

Void

Empty type

Trait Implementations

impl PartialEq<PType> for PType

fn eq(&self, other: &PType) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Copy for PType

impl Clone for PType

fn clone(&self) -> PType

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> From<&'a str> for PType

fn from(s: &'a str) -> PType

Performs the conversion.

impl<'a> From<&'a Value> for PType

fn from(v: &'a Value) -> PType

Performs the conversion.

impl Debug for PType

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for PType

fn fmt(&self, f: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl Hash for PType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl Type for PType

fn name(&self) -> &str

Generates the name of the type, for display purposes

impl Typed<PType> for Annotation

fn ty(&self) -> Option<PType>

Retrieve the Type (if set).

fn set_type(&mut self, ty: Option<PType>)

Set (or unset if passing None) the Type.

fn promote_type(&self) -> Option<PType>

Retrieve the promotion Type (if set). Defaults to ty() if not implemented.

fn set_promote_type(&mut self, ty: Option<PType>)

Set (or unset if passing None) the promotion Type. Default to set_type() if not implemented.

fn promoted(&self) -> Option<PType>

Retrieve promoted type, if any type is set.

impl Coerce<PType> for Value

fn coerce(self, dest_ty: Option<PType>) -> Value

Coerce a value to target type, depending on the value of the option.

impl Coerce<PType> for PType

fn coerce(self, dest_ty: Option<PType>) -> PType

Coerce a value to target type, depending on the value of the option.

impl Cast<PType> for Value

fn cast(self, dest_ty: PType) -> Value

Cast a value to the target type (should return unchanged value if case is not possible).

impl Cast<PType> for PType

fn cast(self, dest_ty: PType) -> PType

Cast a value to the target type (should return unchanged value if case is not possible).

impl InferPromotion for PType

fn infer_promotion(&self, dest_ty: PType) -> Option<PType>

Returns Some(...) when a promotion is necessary, and None when either a promotion is not possible or when is not necessary.

impl BinaryOperator<PType, Value> for InfixOp

fn op(&self, ty: PType, left: &Value, right: &Value) -> Result<Value, String>

Performs the operation with operands left and right, with output type ty.

impl UnaryOperator<PType, Value> for PrefixOp

fn op(&self, ty: PType, operand: &Value) -> Result<Value, String>

Performs the oepration with the operand operand, with outpu type ty.type

impl UnaryOperator<PType, Value> for PostfixOp

fn op(&self, ty: PType, operand: &Value) -> Result<Value, String>

Performs the oepration with the operand operand, with outpu type ty.type