def prepared_view_state

bendvy-ecs-core@0.1.0.3 · column.bend:458

import bendvy-ecs-core@0.1.0.3/column.bend as Column

import Base

458def prepared_view_state(~S:Data,~C:Type,~V:Data,~project:C -> C & V,+id:U32,state:State<S,C>) -> Column<S,C> & Maybe<&2,V>:
459  match state:
460    case State{values,stamps,+capacity,+current,owner,remaining,past}: prepared_view_checked(~S,~C,~V,~project,id,values,stamps,capacity,current,owner,remaining,past,U32.is_gt(id,0) && U32.is_le(id,capacity),U32.is_eq(id,current))

Uses (10)

Used by (1)

bendvy-ecs-core@0.1.0.3/column:view