domain/architecture/environment/inventory/ops.bend source

domain/architecture/environment/inventory/ops.bend on the hub · documented module

import Baseimport ./type.bend as Idef owns.go(xs: List<&2, I.Device>, +key: String, +name: String) -> Bool:  match xs:    case []:      False{}    case I.Device{+k, +n, _} <> rest:      (String.eq(key, k) && String.eq(name, n)) || owns.go(rest, key, name)# Whether the owner has the device with this key, under this name.def owns(inv: I.Inventory, +key: String, +name: String) -> Bool:  match inv:    case I.Inventory{_, devices}:      owns.go(devices, key, name)# Whether this provider is the owner's vendor's cloud.def cloud_ok(inv: I.Inventory, +provider: String) -> Bool:  match inv:    case I.Inventory{I.Vendor{_, cloud}, _}:      String.eq(provider, cloud)