Trait Disconnectable

pub trait Disconnectable<L> {
    // Required methods
    fn disconnect_dag_arc(self, other: Arc<L>) -> Dag<Arc<L>>;
    fn disconnect_dag_ref<'s>(&'s self, other: &'s L) -> Dag<&'s L>;
}

Trait representing a “disconnected expression”.

Required Methods

fn disconnect_dag_arc(self, other: Arc<L>) -> Dag<Arc<L>>

Given a generic left child, and treating self as the disconnected right child, produce a Dag node representing a disconnect node.

If the disconnected expression is present, this should yield a Dag::Binary. If it is not present, this should yield a Dag::Unary.

fn disconnect_dag_ref<'s>(&'s self, other: &'s L) -> Dag<&'s L>

Same as Disconnectable::disconnect_dag_ref but takes self by reference.

Implementations on Foreign Types

impl<L> Disconnectable<L> for Option<Arc<L>>

fn disconnect_dag_arc(self, other: Arc<L>) -> Dag<Arc<L>>

fn disconnect_dag_ref<'s>(&'s self, other: &'s L) -> Dag<&'s L>

impl<L> Disconnectable<L> for Arc<str>

fn disconnect_dag_arc(self, other: Arc<L>) -> Dag<Arc<L>>

fn disconnect_dag_ref<'s>(&'s self, other: &'s L) -> Dag<&'s L>

impl<L> Disconnectable<L> for Arc<L>

fn disconnect_dag_arc(self, other: Arc<L>) -> Dag<Arc<L>>

fn disconnect_dag_ref<'s>(&'s self, other: &'s L) -> Dag<&'s L>

Implementors

impl<L> Disconnectable<L> for NoDisconnect