~/jendhub

def validate

bendvy-ecs-core@0.1.0.3 · persistence_declaration.bend:25

import bendvy-ecs-core@0.1.0.3/persistence_declaration.bend as PersistenceDeclaration
import Base
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D
import bendvy-ecs-core@0.1.0.3/decode.bend as Complete
import bendvy-ecs-core@0.1.0.3/ordinary_declaration.bend as Canonical

25# The SAME retained declaration supplies complete #46 validation and save codec.
26# Projects once; no caller fuel/depth and no automatic Raw -> arbitrary P inverse.
27def validate(~S:Data,~P:Type,~identity:Canonical.Declaration<S,P>,~project:P -> P & D.Raw,declaration:Constructed<S,P,identity,project>,owner:P) -> D.Receipt<P>:
28  Complete.decode_owner(~P,~project,codec(~S,~P,~identity,~project,declaration),owner)

Uses (7)

Used by (2)