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>),
In(Box<Type>),
AdHoc(Arc<String>, Box<Type>),
Closure(Box<Dfn>),
}Variants
UnreachableWhether a statement is never reached.
VoidAnyBoolF64Vec4TextLinkArray(Box<Type>)ObjectOption(Box<Type>)Result(Box<Type>)Secret(Box<Type>)Thread(Box<Type>)In(Box<Type>)AdHoc(Arc<String>, Box<Type>)Closure(Box<Dfn>)
Methods
impl Type[src]
impl Typepub fn description(&self) -> String[src]
pub fn description(&self) -> Stringpub fn array() -> Type[src]
pub fn array() -> Typepub fn object() -> Type[src]
pub fn object() -> Typepub fn option() -> Type[src]
pub fn option() -> Typepub fn result() -> Type[src]
pub fn result() -> Typepub fn thread() -> Type[src]
pub fn thread() -> Typepub fn in_ty() -> Type[src]
pub fn in_ty() -> Typepub fn goes_with(&self, other: &Type) -> bool[src]
pub fn goes_with(&self, other: &Type) -> boolReturns 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.
pub fn add(&self, other: &Type) -> Option<Type>[src]
pub fn add(&self, other: &Type) -> Option<Type>pub fn add_assign(&self, other: &Type) -> bool[src]
pub fn add_assign(&self, other: &Type) -> boolpub fn mul(&self, other: &Type, binop: BinOp) -> Option<Type>[src]
pub fn mul(&self, other: &Type, binop: BinOp) -> Option<Type>pub fn pow(&self, other: &Type) -> Option<Type>[src]
pub fn pow(&self, other: &Type) -> Option<Type>pub fn from_meta_data(
node: &str,
convert: Convert,
ignored: &mut Vec<Range>
) -> Result<(Range, Type), ()>[src]
pub fn from_meta_data(
node: &str,
convert: Convert,
ignored: &mut Vec<Range>
) -> Result<(Range, Type), ()>Trait Implementations
impl Debug for Type[src]
impl Debug for Typefn fmt(&self, f: &mut Formatter) -> Result[src]
fn fmt(&self, f: &mut Formatter) -> ResultFormats the value using the given formatter. Read more
impl Clone for Type[src]
impl Clone for Typefn clone(&self) -> Type[src]
fn clone(&self) -> TypeReturns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
fn clone_from(&mut self, source: &Self)1.0.0
[src]Performs copy-assignment from source. Read more
impl PartialEq for Type[src]
impl PartialEq for Type