Enum Naming 

enum Naming<'a> {
    Keep,
    Mint(&'a mut Allocator),
}

How a paste names what it inserts. Keeping the ids is what makes a cut and its paste one displacement rather than a deletion and an unrelated arrival: the entity that comes back is the entity that left, so an undo of either half addresses the same thing. Minting is the copying half, and every reference inside the snapshot is remapped onto the mint.

Variants

Keep

Mint(&'a mut Allocator)

Implementations

impl Naming<'_>

fn name<K: IdKind>(&mut self, source: Id<K>) -> Id<K>

fn endpoint( &self, doc: &Document, pasted: Option<PinId>, source: PinId, ) -> Option<PinId>

The endpoint a pasted wire lands on: the pin this paste made from the one it was drawn to, or — where the ids are kept — the pin it already names, which the document may still hold outside the snapshot. None leaves the wire nothing to land on.

fn slot( &self, landing: Landing, carried: PinSlot, boundary: &mut Boundary<'_>, ) -> Option<PinSlot>

The slot a pasted pin takes. It keeps the one it carried unless it is a copy joining the target boundary, which has to find room among the pins already there.