def opened

mlbend-datasets@0.1.6.0 · main.bend:245

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets

import Base

245def opened(r: Result<&1, &1, U32 & String, File>) -> IO(Maybe<&1, String>):
246  match r:
247    case Fail{e}:
248      IO.pure(Maybe<&1, String>, None{})
249    case Done{file}:
250      do IO<Maybe<&1, String>>:
251        pair : File & Result<&1, &1, U32 & String, U32> <- File.size(file)
252        m : Maybe<&1, String> <- sized_done(pair)
253        return m

Uses (11)

Used by (1)

mlbend-datasets@0.1.6.0/main:read_cached