def recover

bendvy-ecs-core@0.1.0.4 · ordinary_app_reader_fields.bend:69

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_reader_system.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/ordinary_app_reader_parameter.bend as Parameter
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields

69def recover(~S:Data,~Context:Type,~Registry:Type,~Reader:Type,~Param:Data,result:Ordinary.Definition<Context,Ordinary.Provider<Registry,Reader,Param,List<&2,Fields.DeclaredUse>>,Param,List<&2,Fields.DeclaredUse>>) -> Recovered<S,Context,Ordinary.Provider<Registry,Reader,Param,List<&2,Fields.DeclaredUse>>,Param>:
70  match result:
71    case Ordinary.DefinitionRegistered{context,provider}:Registered{context,provider}
72    case Ordinary.DefinitionRejected{context,parameter,uses}:Rejected{context,Parameter.Declared{parameter,uses}}
73    case Ordinary.DefinitionDisposalRejected{context,provider,parameter}:disposal_recovered(~S,~Context,~Registry,~Reader,~Param,context,parameter,provider)