def listing

stelliferous@0.0.2.0 · tensor_model.bend:153

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel

import Base

153def listing(result: Result<&1,&1,U32 & String,File>,text: String) -> IO(Unit):
154  match result:
155    case Fail{error}: IO.pure(Unit,Unit{})
156    case Done{file}:
157      do IO<Unit>:
158        written : File & Result<&1,&1,U32 & String,Unit> <- File.write(file,text)
159        File.close(first(written))

Uses (12)

Used by (1)

stelliferous@0.0.2.0/tensor_model:save_listed