def named

stelliferous@0.0.2.0 · tensor_model.bend:103

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel

import Base

103def named(text: Result<&1,&1,U32 & String,String>,+folder: String) -> IO(Store):
104  match text:
105    case Fail{error}: IO.pure(Store,Empty{})
106    case Done{text}: load_each(String.lines(text),folder)

Uses (9)

Used by (1)

stelliferous@0.0.2.0/tensor_model:listed