exchange -is:module

O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
Apply the ExchangeRate to the given Dense src monetary value. Identity law:
exchange (exchangeRateRecip x) . exchange x  ==  id
Use the Identity law for reasoning about going back and forth between src and dst in order to manage any leftovers that might not be representable as a Discrete monetary value of src.
Perform the initial credentials exchange to obtain a valid OAuthToken suitable for authorizing requests.
This is used internally by the Iso code to provide efficient access to the two functions that make up an isomorphism.
Reifies the structure of Isos
Opaque handle to an exchange.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
Exchange point & mark.
(default empty); A set of arguments for the declaration. The syntax and semantics of these arguments depends on the server implementation.
(default False); If set, the exchange is deleted when all queues have finished using it.
(default True); If set when creating a new exchange, the exchange will be marked as durable. Durable exchanges remain active when a server restarts. Non-durable exchanges (transient exchanges) are purged if/when a server restarts.