type Param

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

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

15# A typed read parameter. The functions are template indices so the descriptor
16# stores only its declaration metadata while retaining arbitrary affine owners.
17type Param<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> is Data:
18  Param{access:List<&2,String>}