Enum deskc_types::Type
source · [−]pub enum Type {
Number,
String,
Product(Vec<Self>),
Sum(Vec<Self>),
Function {
parameters: Vec<Self>,
body: Box<Self>,
},
Array(Box<Self>),
Set(Box<Self>),
Variable(Id),
ForAll {
variable: Id,
body: Box<Self>,
},
Effectful {
ty: Box<Self>,
effects: EffectExpr,
},
Brand {
brand: String,
item: Box<Self>,
},
Label {
label: String,
item: Box<Self>,
},
}
Variants
Number
String
Product(Vec<Self>)
Sum(Vec<Self>)
Function
Array(Box<Self>)
Set(Box<Self>)
Variable(Id)
ForAll
Effectful
Brand
Label
Implementations
Trait Implementations
sourceimpl Ord for Type
impl Ord for Type
sourceimpl PartialOrd<Type> for Type
impl PartialOrd<Type> for Type
sourcefn partial_cmp(&self, other: &Type) -> Option<Ordering>
fn partial_cmp(&self, other: &Type) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl Eq for Type
impl StructuralEq for Type
impl StructuralPartialEq for Type
Auto Trait Implementations
impl RefUnwindSafe for Type
impl Send for Type
impl Sync for Type
impl Unpin for Type
impl UnwindSafe for Type
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more