def ledger.some

ezx@1.11.0.0 · src/ws/workspace.bend:541

import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
import Base

541# a ledger under a directory of at least one segment
542def ledger.some(ds: List<&2, String>, nn: String, ww: Bool) -> Maybe<&2, Ledger>:
543  match ds:
544    case []:
545      None{}
546    case +hd <> tl:
547      Some{Ledger{hd <> tl, nn, ww}}

Uses (5)

Used by (1)