def entries.clone

mylsm-lsm-store@0.6.0.1 · src/ByteMemTable.bend:171

import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

import Base

171# Clones an affine entry list while preserving its order.
172def entries.clone(entries: List<&1, Entry>) -> List<&1, Entry> & List<&1, Entry>:
173  match entries:
174    case Nil{}: (Nil{}, Nil{})
175    case Con{entry, tail}:
176      entries.clone.push(entry.clone(entry), entries.clone(tail))

Uses (6)

Used by (14)