Enum Literal

pub enum Literal {
    Int(i32),
    Bool(bool),
}

A literal value, equivalent to constants in Conjure.

Variants

Int(i32)

Bool(bool)

Trait Implementations

impl Biplate<Literal> for Expression

fn biplate(&self) -> (Tree<Literal>, Box<dyn Fn(Tree<Literal>) -> Expression>)

Returns all the top most children of type to within from.

fn descend_bi(&self, op: Arc<dyn Fn(To) -> To>) -> Self

Like descend but with more general types.

fn universe_bi(&self) -> Vector<To>

fn children_bi(&self) -> Vector<To>

Returns the children of a type. If to == from then it returns the original element (in contrast to children).

fn transform_bi(&self, op: Arc<dyn Fn(To) -> To>) -> Self

impl Biplate<Literal> for Factor

fn biplate(&self) -> (Tree<Literal>, Box<dyn Fn(Tree<Literal>) -> Factor>)

Returns all the top most children of type to within from.

fn descend_bi(&self, op: Arc<dyn Fn(To) -> To>) -> Self

Like descend but with more general types.

fn universe_bi(&self) -> Vector<To>

fn children_bi(&self) -> Vector<To>

Returns the children of a type. If to == from then it returns the original element (in contrast to children).

fn transform_bi(&self, op: Arc<dyn Fn(To) -> To>) -> Self

impl Biplate<Literal> for Literal

fn biplate(&self) -> (Tree<Literal>, Box<dyn Fn(Tree<Literal>) -> Literal>)

Returns all the top most children of type to within from.

fn descend_bi(&self, op: Arc<dyn Fn(To) -> To>) -> Self

Like descend but with more general types.

fn universe_bi(&self) -> Vector<To>

fn children_bi(&self) -> Vector<To>

Returns the children of a type. If to == from then it returns the original element (in contrast to children).

fn transform_bi(&self, op: Arc<dyn Fn(To) -> To>) -> Self

impl Clone for Literal

fn clone(&self) -> Literal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Literal

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Literal

fn deserialize<__D>( __deserializer: __D, ) -> Result<Literal, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Literal

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

Formats the value using the given formatter.

impl From<Literal> for Factor

fn from(value: Literal) -> Factor

Converts to this type from the input type.

impl From<bool> for Literal

fn from(b: bool) -> Literal

Converts to this type from the input type.

impl From<i32> for Literal

fn from(i: i32) -> Literal

Converts to this type from the input type.

impl PartialEq for Literal

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Literal

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Uniplate for Literal

fn uniplate(&self) -> (Tree<Literal>, Box<dyn Fn(Tree<Literal>) -> Literal>)

fn descend(&self, op: Arc<dyn Fn(Self) -> Self>) -> Self

fn universe(&self) -> Vector<Self>

Gets all children of a node, including itself and all children.

fn children(&self) -> Vector<Self>

Gets the direct children (maximal substructures) of a node.

fn with_children(&self, children: Vector<Self>) -> Self

Reconstructs the node with the given children.

fn transform(&self, f: Arc<dyn Fn(Self) -> Self>) -> Self

Applies the given rule to all nodes bottom up.

fn rewrite(&self, f: Arc<dyn Fn(Self) -> Option<Self>>) -> Self

Rewrites by applying a rule everywhere it can.

fn cata<T>(&self, op: Arc<dyn Fn(Self, Vec<T>) -> T>) -> T

Performs a fold-like computation on each value.

impl Eq for Literal

impl StructuralPartialEq for Literal