type Checked

bendvy-ecs-core@0.1.0.3 · check.bend:35

import Base
import world.bend as W

35# Check outcome retaining World with either a preflight Error or Bool.
36# False is a successful condition result, distinct from missing requirements.
37type Checked<S:Data,Store:Type,R:Type,E:Data> is Type:
38  Checked{world:W.World<S,Store,R,E>,result:Result<&2,&2,Error,Bool>}