def ldir_of

mylsm-lsm-store@0.6.0.1 · src/legacy/ManifestIo.bend:260

import Base

260# Handle ldir of in the database recovery effects.
261def ldir_of(idx: Nat) -> Maybe<&2, String>:
262  match idx:
263    case 0n:
264      Some{"l0"}
265    case 1n+m:
266      match m:
267        case 0n:
268          Some{"l1"}
269        case 1n+p:
270          match p:
271            case 0n:
272              Some{"l2"}
273            case 1n+q:
274              match q:
275                case 0n:
276                  Some{"l3"}
277                case 1n+r:
278                  None{}