~/jendhub

def admit

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

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/ordinary_declaration.bend as Canonical

39def admit(~S:Data,~P:Type,~identity:Canonical.Declaration<S,P>,~project:P -> P & D.Raw,context:Context<S,P,identity,project>,receipt:D.Receipt<P>) -> Context<S,P,identity,project> & D.Checked:
40  match context receipt:
41    case Context{declaration,retained} D.Receipt{owner,checked}:(Context{declaration,owner <> retained},checked)

Uses (8)

Used by (1)