Trait CloneAtom

pub trait CloneAtom: Atom + Clone {
    // Provided method
    fn clone_atom(&self) -> Self { ... }
}

A trait to provide cloning on atoms.

This trait provides a self.clone_atom() method that can be used as an alias of (*self).clone() in apply functions to produce a owned clone of the atom.

Provided Methods

fn clone_atom(&self) -> Self

Clones current atom.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T> CloneAtom for T

where T: Atom + Clone,