def validate

bendvy-ecs-core@0.1.0.3 · ordinary_schema.bend:47

import bendvy-ecs-core@0.1.0.3/ordinary_schema.bend as OrdinarySchema
import Base
import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as Fragment

47# Check composed declaration entries for schema conflicts, returning the
48# structured Fragment.Validation result. No World exists in this operation;
49# validation neither constructs payloads nor proves trusted storage lens laws.
50def validate(~S:Data,~C:Type,~R:Type,value:Schema<S,C,R>) -> Fragment.Validation:
51  Fragment.validate_loop(~S,entries(~S,~C,~R,value),[])

Uses (5)

Used by (0)

No other definition uses this definition.