~/jendhub

def get_checked

bendvy-ecs-core@0.1.0.4 · owned_family.bend:55

import bendvy-ecs-core@0.1.0.4/owned_family.bend as OwnedFamily
import Base
import restored_row.bend as R
import component.bend as C

55def get_checked(~S:Data,~H:Type,~Rest:Type,~MetaRest:Type,~C:Type,~V:Data,~put:Rest -> R.Cell<S,C> -> H,~put_header:MetaRest -> Header<S> -> Rest,~project:C -> C & V,~bridge:H -> H & C.Access<V>,rest:MetaRest,cell:R.Cell<S,C>,observed:Header<S> & Bool) -> H & C.Access<V>:
56  match observed:
57    case (header,False{}): (put(put_header(rest,header),cell),C.MissingEntity{})
58    case (header,True{}): get_targeted(~S,~H,~Rest,~MetaRest,~C,~V,~put,~put_header,~project,~bridge,rest,cell,target(S,header))

Uses (8)

Used by (1)