~/jendhub

def rewrite_view

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

import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as ExecutionComposerLayout
import Base

92def rewrite_view(-P:Type,-V:Data,-Out:Type,initialize:P -> Viewed<P,V>,transform:P -> P & Out,value:Viewed<P,V>) -> Viewed<P,V> & Out:
93  match value:
94    case Viewed{owner,_}:rewritten(P,Viewed<P,V>,Out,initialize,transform(owner))

Uses (3)

Used by (1)