def title
near-v-framework@0.4.0.0 · domain/architecture/view/ops.bend:134
import near-v-framework@0.4.0.0/domain/architecture/view/ops.bend as Ops
import Base
import near-v-framework@0.4.0.0/general/rose/type.bend as R
import near-v-framework@0.4.0.0/domain/architecture/type.bend as A
import near-v-framework@0.4.0.0/domain/architecture/ops.bend as O
import near-v-framework@0.4.0.0/domain/architecture/view/type.bend as Vw
134def title(+a: A.Architecture, +rs: List<&2, R.Rose<A.Element>>, v: Vw.View) -> String:
135 match v:
136 case Vw.Context{}:
137 "System context: " ++ ename(element(O.system_key(a), rs))
138 case Vw.Containers{}:
139 "Containers: " ++ ename(element(O.system_key(a), rs))
140 case Vw.Components{c}:
141 "Components: " ++ ename(element(c, rs))
142 case Vw.Deployment{}:
143 "Deployment: " ++ ename(element(O.system_key(a), rs))
144 case Vw.Dynamic{_}:
145 "Dynamic: " ++ ename(element(O.system_key(a), rs))