def stat.fin

bend-kit-files@0.3.1.0 · files.bend:242

import bend-kit-files@0.3.1.0/files.bend as Files

import Base

242def stat.fin(r: Result<&1, &1, U32 & String, U32 & U32 & U32>) ->
243  Result<&1, &1, U32 & String, Info>:
244  match r:
245    case Fail{e}:
246      Fail{e}
247    case Done{(k, size, mtime)}:
248      Done{Info{stat.kind(k), size, mtime}}

Uses (7)

Used by (1)

bend-kit-files@0.3.1.0/files:stat