def closed

stelliferous@0.0.2.0 · tensor_file.bend:97

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

97def closed(file: File,target: Target,complete: Bool) -> IO(Outcome):
98  do IO<Outcome>:
99    File.close(file)
100    IO.pure(Outcome,Outcome{target,complete})

Uses (9)

Used by (1)

stelliferous@0.0.2.0/tensor_file:read_all