def is_dir.code

bolt@1.27.0.0 · src/walk/disk.bend:39

import bolt@1.27.0.0/src/walk/disk.bend as Disk
import Base

39# whether a first read failed as a directory's does (EISDIR, 21, in C and
40# in node alike)
41def is_dir.code(rr: Result<&1, &1, U32 & String, List<&2, U32>>) -> Bool:
42  match rr:
43    case Fail{e}:
44      (code, _msg) = e
45      U32.is_eq(code, 21)
46    case Done{_bytes}:
47      False{}

Uses (8)

Used by (1)