def save_listed

stelliferous@0.0.2.0 · tensor_model.bend:161

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel

import Base

161def save_listed(pair: Store & String,+folder: String) -> IO(Store):
162  (store,text) = pair
163  do IO<Store>:
164    result : Result<&1,&1,U32 & String,File> <- File.open(folder ++ "/names.txt","w")
165    listing(result,text)
166    save_each(store,folder)

Uses (14)

Used by (1)

stelliferous@0.0.2.0/tensor_model:save