BoundedAuthorityProtocol.V3.Selector (Bounded Authority Protocol v1.0.0)

Copy Markdown View Source

Closed selector type used by BoundedAuthorityProtocol.V3.Operation.

The v2 profile admits the two inclusive range kinds lte and gte (spec/bap-v2.md § 4) alongside the v1 kinds. Both operands of a range comparison must carry the same numeric tag; comparison is by numeric value on the decoder-bounded finite binary64 domain. Selector enforcement is performed through the verification façade.

Summary

Types

t()

Types

t()

@type t() ::
  :all
  | {:equals, [binary()], BoundedAuthorityProtocol.V1.Json.value()}
  | {:one_of, [binary()], [BoundedAuthorityProtocol.V1.Json.value()]}
  | {:lte, [binary()], BoundedAuthorityProtocol.V1.Json.value()}
  | {:gte, [binary()], BoundedAuthorityProtocol.V1.Json.value()}