def save_each

stelliferous@0.0.2.0 · tensor_model.bend:144

import Base
import stelliferous@0.0.2.0/tensor_file.bend as Files

144def save_each(store: Store,+folder: String) -> IO(Store):
145  match store:
146    case Empty{}: IO.pure(Store,Empty{})
147    case Entry{+name,tensor,rest}:
148      do IO<Store>:
149        saved : Tensor() <- Files.save_npy(folder ++ "/" ++ name ++ ".npy",tensor)
150        others : Store <- save_each(rest,folder)
151        IO.pure(Store,entry(name,saved,others))