~/jendhub

def descriptor_found

bendvy-ecs-core@0.1.0.4 · restore_graph_validation.bend:13

import bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend as RestoreGraphValidation
import Base
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G

13def descriptor_found(~S:Data,found:Bool,descriptor:G.Descriptor<S>,next:Unit -> Maybe<&2,G.Descriptor<S>>) -> Maybe<&2,G.Descriptor<S>>:
14  match found:
15    case True{}:Some{descriptor}
16    case False{}:next(Unit{})

Uses (4)

Used by (1)