def place

ezx@1.11.0.0 · src/sha/nar.bend:380

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

380# a path inside the directory on top: a directory is opened, anything else
381# is an entry of it, with its leaf's node
382def place(
383  is_dir: Bool,
384  +name: String,
385  +at: String,
386  +node: String,
387  more: List<&2, Ent>,
388  top: Frame,
389  up: List<&2, Frame>
390) -> Move:
391  match is_dir:
392    case True{}:
393      Next{State{more, Frame{at, name, []}, top <> up}}
394    case False{}:
395      Frame{a, n, ks} = top
396      Next{State{more, Frame{a, n, K.Item{name, node} <> ks}, up}}