def opened

stelliferous@0.0.2.0 · tensor_model.bend:114

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel

import Base

114def opened(result: Result<&1,&1,U32 & String,File>,+folder: String) -> IO(Store):
115  match result:
116    case Fail{error}: IO.pure(Store,Empty{})
117    case Done{file}:
118      do IO<Store>:
119        read : File & Result<&1,&1,U32 & String,String> <- File.read(file,1048576)
120        listed(read,folder)

Uses (11)

Used by (1)

stelliferous@0.0.2.0/tensor_model:load