def kind_from_nat

mylsm-lsm-store@0.6.0.1 · src/FilesCompat.bend:17

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

17# Maps the operating-system kind code into the public file classification.
18def kind_from_nat(kind: Nat) -> FileType:
19  match kind:
20    case 0n: Regular{}
21    case 1n+rest:
22      match rest:
23        case 0n: Directory{}
24        case 1n+rest: Other{}

Uses (2)

Used by (1)