def validate

bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:30

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

30def validate(~W:Type,~Owner:Type,~View:Data,~Delta:Type,~validateFn:W -> Owner -> W & (Owner & Bool),~prepareFn:W -> @+cursor:Maybe<&2,Tick.Tick> -> Owner -> W & (Owner & (View & Delta)),~commitFn:W -> Owner -> Delta -> @+cursor:Tick.Tick -> W & Owner,~releaseFn:W -> Owner -> W,param:Param<W,Owner,View,Delta,validateFn,prepareFn,commitFn,releaseFn>,world:W,owner:Owner) -> W & (Owner & Bool):
31  match param:
32    case Param{_}:validateFn(world,owner)