Enum dyon::ty::Type
[−]
[src]
pub enum Type { Unreachable, Void, Any, Bool, F64, Vec4, Text, Link, Array(Box<Type>), Object, Option(Box<Type>), Result(Box<Type>), Secret(Box<Type>), Thread(Box<Type>), AdHoc(Arc<String>, Box<Type>), Closure(Box<Dfn>), }
Variants
Unreachable
Whether a statement is never reached.
Void
Any
Bool
F64
Vec4
Text
Link
Array(Box<Type>)
Object
Option(Box<Type>)
Result(Box<Type>)
Secret(Box<Type>)
Thread(Box<Type>)
AdHoc(Arc<String>, Box<Type>)
Closure(Box<Dfn>)
Methods
impl Type
[src]
fn description(&self) -> String
[src]
fn array() -> Type
[src]
fn object() -> Type
[src]
fn option() -> Type
[src]
fn result() -> Type
[src]
fn thread() -> Type
[src]
fn goes_with(&self, other: &Type) -> bool
[src]
Returns true
if a type goes with another type (directional check).
bool
(argument) goes withsec[bool]
(value)f64
(argument) goes withsec[f64]
(value)
The opposite is not true, since sec
contains extra information.
fn add(&self, other: &Type) -> Option<Type>
[src]
fn add_assign(&self, other: &Type) -> bool
[src]
fn mul(&self, other: &Type, binop: BinOp) -> Option<Type>
[src]
fn pow(&self, other: &Type) -> Option<Type>
[src]
fn from_meta_data(
node: &str,
convert: Convert,
ignored: &mut Vec<Range>
) -> Result<(Range, Type), ()>
[src]
node: &str,
convert: Convert,
ignored: &mut Vec<Range>
) -> Result<(Range, Type), ()>
Trait Implementations
impl Debug for Type
[src]
impl Clone for Type
[src]
fn clone(&self) -> Type
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more