Ops.visible: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/view/ops.bend as Ops
Lines 102-114 of near-v-framework@0.4.0.0/domain/architecture/view/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&start_line=102&end_line=114

import Base
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

# The keys the view may show: its own, the rest of the system at the level above, and the environment.
def visible(+a: A.Architecture, v: Vw.View) -> List<&2, String>:
  match v:
    case Vw.Context{}:
      O.system_key(a) <> O.environment_keys(a)
    case Vw.Containers{}:
      List.append(&2, String, O.container_keys(O.containers(a)), O.environment_keys(a))
    case Vw.Components{+c}:
      List.append(&2, String, O.components_of(c, O.containers(a)), List.append(&2, String, without(c, O.container_keys(O.containers(a))), O.environment_keys(a)))
    case Vw.Deployment{}:
      []
    case Vw.Dynamic{_}:
      []

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=components_of
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=container_keys
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=containers
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=environment_keys
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=system_key
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/type.bend&name=Architecture
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=without
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/type.bend&name=View