kw provide
Reserved keyword
The list of words: §1.4
Syntax
Provide = "provide" Type "=" Expr [ "for" "role" IdentList ] ;Grammar: App. A
Defined in
- 12.7 Dependencies — provide Type = expression (for role r, …)?
- 2.4 Entry points and start-up order — A program is a package that contains at least one of
- 16.3 gRPC and protobuf — import proto "payments.proto" generates an extern service and types; calls are as to ordinary services through connect.
- 18.2 Assertions and fixtures — assert expr is executed in all profiles, including prod (profiles switch off only contracts, §6.7, and the output of dbg, §2.2); on failure
- 1.4 Keywords — Reserved (cannot be used as names)
Examples
provide Db = Db.open(App.get().dbUrl) for role api, saga
provide Payments = PaymentsClient.new(App.get().stripeKey)
impl Orders { dep db: Db; dep pay: Payments }Related diagnostics
duplicate-provide, missing-provide, unknown-role, bad-main, no-entry-point, import-skip, fixture-yield