type Construction

bendvy-ecs-core@0.1.0.3 · bundle_construction.bend:4

import Base

4# Experimental reversible constructor RESULT receipts, not a universal Raw->C
5# inverse or production Decode policy. Only the trusted author supplies undo.
6type Construction<Raw:Type,Cooked:Type,Error:Data> is Type:
7  Constructed{cooked:Cooked,undo:Cooked -> Raw}
8  Invalid{raw:Raw,error:Error}