def received

stelliferous@0.0.2.0 · tensor_file.bend:88

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

88def received(result: Result<&1,&1,U32 & String,List<&2,U32>>,file: File,target: Target,+count: U32) -> Reading:
89  match result:
90    case Fail{error}: End{file,target,False{}}
91    case Done{bytes}: absorbed(bytes,file,target,count)

Uses (10)

Used by (1)

stelliferous@0.0.2.0/tensor_file:taken