def created.of

bendtorch-core@0.1.0.0 · src/storage/LAWS.bend:89

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

89def created.of(result: Result<&2, &1, Storage.Error, Storage.Storage>) -> Storage.Storage:
90  match result:
91    case Fail{error}:
92      Storage.Empty{}
93    case Done{storage}:
94      storage

Uses (3)

Used by (17)