def resource_rest_generic

bendvy-ecs-core@0.1.0.3 · execution_composer_layout.bend:153

import Base

153def resource_rest_generic(-S:Data,layout:Layout,route:Route) -> Type:
154  match layout route:
155    case LayoutLeaf{_,V,_,_,_} AtLeaf{}:Unit
156    case ClassifiedLayoutLeaf{_,V,_,_,_,_} AtLeaf{}:Unit
157    case LayoutPair{left,right} InLeft{rest}:resources_generic(S,right) & resource_rest_generic(S,left,rest)
158    case LayoutPair{left,right} InRight{rest}:resources_generic(S,left) & resource_rest_generic(S,right,rest)
159    case layout _:resources_generic(S,layout)