def to_result

bendtorch-core@0.1.0.0 · src/storage/api.bend:138

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

138def to_result(found: Maybe<&2, F32>) -> Result<&2, &2, Storage.Error, F32>:
139  match found:
140    case None{}:
141      Fail{Storage.InvalidIndex{}}
142    case Some{value}:
143      Done{value}