~/jendhub

def expected_storage

stelliferous@0.0.2.0 · tensor.bend:589

import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

589def expected_storage(~Element: Data,result: Result<&2,&1,Problem,Storage.Buffer<Element>>) -> IO(Storage.Buffer<Element>):
590  match result:
591    case Done{storage}: IO.pure(Storage.Buffer<Element>,storage)
592    case Fail{problem}: IO.die(Storage.Buffer<Element>,1,describe(problem))

Uses (7)

Used by (1)