Enum polar_core::terms::Value
source · [−]pub enum Value {
Number(Numeric),
String(String),
Boolean(bool),
ExternalInstance(ExternalInstance),
Dictionary(Dictionary),
Pattern(Pattern),
Call(Call),
List(TermList),
Variable(Symbol),
RestVariable(Symbol),
Expression(Operation),
}
Variants
Number(Numeric)
String(String)
Boolean(bool)
ExternalInstance(ExternalInstance)
Dictionary(Dictionary)
Pattern(Pattern)
Call(Call)
List(TermList)
Variable(Symbol)
RestVariable(Symbol)
Expression(Operation)
Implementations
Trait Implementations
sourceimpl<'de> Deserialize<'de> for Value
impl<'de> Deserialize<'de> for Value
sourcefn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
sourceimpl From<ExternalInstance> for Value
impl From<ExternalInstance> for Value
sourcefn from(other: ExternalInstance) -> Self
fn from(other: ExternalInstance) -> Self
Converts to this type from the input type.
sourceimpl From<Value> for TestHelper<Term>
impl From<Value> for TestHelper<Term>
sourceimpl From<Value> for TestHelper<Parameter>
impl From<Value> for TestHelper<Parameter>
impl Eq for Value
impl StructuralEq for Value
impl StructuralPartialEq for Value
Auto Trait Implementations
impl RefUnwindSafe for Value
impl Send for Value
impl Sync for Value
impl Unpin for Value
impl UnwindSafe for Value
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