def definition_cleanup_result

bendvy-ecs-core@0.1.0.4 · ordinary_reader_system.bend:185

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as RP

185def definition_cleanup_result(~Context:Type,~Reader:Type,~View:Data,~Delta:Type,~Declaration:Type,~Registry:Type,
186  ~validateFn:Context -> Reader -> Context & (Reader & Bool),
187  ~prepareFn:Context -> @+cursor:Maybe<&2,Tick.Tick> -> Reader -> Context & (Reader & (View & Delta)),
188  ~commitFn:Context -> Reader -> Delta -> @+cursor:Tick.Tick -> Context & Reader,
189  ~releaseFn:Context -> Reader -> Context,
190  descriptor:RP.Param<Context,Reader,View,Delta,validateFn,prepareFn,commitFn,releaseFn>,
191  disposed:ProviderDisposal<Context,Provider<Registry,Reader,RP.Param<Context,Reader,View,Delta,validateFn,prepareFn,commitFn,releaseFn>,Declaration>,Declaration>) -> Definition<Context,Provider<Registry,Reader,RP.Param<Context,Reader,View,Delta,validateFn,prepareFn,commitFn,releaseFn>,Declaration>,RP.Param<Context,Reader,View,Delta,validateFn,prepareFn,commitFn,releaseFn>,Declaration>:
192  match disposed:
193    case ProviderDisposed{context,declaration}:DefinitionRejected{context,descriptor,declaration}
194    case ProviderDisposalRejected{context,provider}:DefinitionDisposalRejected{context,provider,descriptor}