type Plan

bendvy-ecs-core@0.1.0.4 · owned_compose.bend:9

import Base
import compose.bend as Q

9# Trusted declaration; gameplay can only thread universally quantified H.
10type Plan<-S:Data,-Store:Type,-R:Type,-E:Data,-Ops:Type -> Type,-H:Type> is Type:
11  Plan{caps:Ops(H),select:Q.Frame<S,Store,R,E> -> Q.Frame<S,Store,R,E> & Bool,enter:Q.Frame<S,Store,R,E> -> H,leave:H -> Q.Frame<S,Store,R,E>}