~/jendhub

def get_ready

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

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

41def get_ready(~S:Data,~H:Type,~Rest:Type,~C:Type,~V:Data,~put:Rest -> R.Cell<S,C> -> H,~project:C -> C & V,~bridge:H -> H & C.Access<V>,rest:Rest,cell:R.Cell<S,C>,same:Bool) -> H & C.Access<V>:
42  match same:
43    case False{}: bridge(put(rest,cell))
44    case True{}: projected(~S,~H,~Rest,~C,~V,~put,~bridge,rest,R.project(~S,~C,~V,~project,cell))

Uses (6)

Used by (1)