def is_cap

near-architecture@0.9.1.0 · arc.bend:516

import Base

516# ---- what it is: minimality, every capability provided exactly once ----
517def is_cap(want: Cap, c: Cap) -> Bool:
518  match want c:
519    case Hosting{} Hosting{}:
520      True{}
521    case PrivateHosting{} PrivateHosting{}:
522      True{}
523    case Realtime{} Realtime{}:
524      True{}
525    case BlobStore{} BlobStore{}:
526      True{}
527    case Observability{} Observability{}:
528      True{}
529    case _ _:
530      False{}