op .

.

Defined in

• 5.2 Precedence and associativity — Precedence and associativity
• 5.3 Overloading and user-defined operators — Overloading built-in operators — op declarations in impl
• 1.6 Operators and delimiters — + - * / % ** +% -% % +| -| | & | ^ ~ << >> && || !
• 4.3 Construction and constructors — Literal. T{ f1: e1, f2, ..base }
• 12.6 Distributed computation — cluster.shards(src) is for sharded tables and actors; map runs close to the data, the function MUST be transferable (§7.3).
• 13.4 Authorisation and policies — The subject of a policy

Examples

policy Orders {
  allow get(id)        if caller.isUser(db.find(Order, id)?.userId)
  allow list, recent   if caller.has(role: .Support)
  allow *              if caller.service("billing")
  deny  delete         unless caller.has(role: .Admin) && caller is .User(mfa: true, ..)
}

@public rpc health() -> Ok
@allow(role: .Admin) rpc purge() -> Ok
@internal rpc create(…) -> Order

— 13.4 Authorisation and policies

Related diagnostics

chained-comparison, not-callable, not-overloadable, operator-decl, range-not-iterable, invalid-char, bad-init, missing-field, must-close, positional-literal, sealed-literal, data-rights, missing-policy, unknown-policy-target