* Move the Redeem related paragraphs up
* Reduce use of "ledger" when discussing RT
* Rewrite the explanation of LT and RT
* Clarify the "moving the clock back" example
* Carrie: remove "a bit" from "challenging"
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: exactly how to assign the record time
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: the choice doesn't do anything
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: has two timestamps:
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: as determined by the participant
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: The only purpose of the RT
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: This is the requirement known as
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Carrie: LT or RT are strictly increasing
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
* Andrae: concept of a current time
* andrae: Non-fp friendly Redeem example
* andrae: better text around the Redeem example
* andrae: Remove details about skew alg
* andrae: remove misleading use of "commit"
* wallace: fix work hours boolean
* andrae: restore the case statement
Co-authored-by: Andrae Muys <andrae.muys@digitalasset.com>
* wallace: fix GitHub merge suggestion issue
* Lois: Correct "It is timestamp..."
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
* Lois: Correct "and is assigned..."
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
* Lois: Replace contraction doesn't
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
* Lois: Remove "Notice..."
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
* Lois: Replace "Now let's look at..."
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
* Lois: Replace "given" and "it's"
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
* Lois: Replace contraction "won't"
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
---------
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
Co-authored-by: Andrae Muys <andrae.muys@digitalasset.com>
Co-authored-by: Lois Kilberg <116729229+loiskilberg-da@users.noreply.github.com>
Co-authored-by: Gary Verhaegen <gary.verhaegen@digitalasset.com>
* Add signatory labels to create and fetch in tree view
* Switch node printing in scala and expected ledger files
* Update docs/images
* Update party formatting to use `x, y and z` and correct verb tense
* Update scala to match haskell, update tests and docs (except images)
* Cleanup code from suggestions
* Fix misformatting, refactor
* Add EventQueryService (conformance disabled)
* Update with review comments
* Limit by ledger end
* Limit iterations searching for visible contract key
* Test with choice that recreates key
* Update proto comments
* Add to event query service to services document
* Inject message into token validator
* Fix docs typo
* Improve docs
* intro to exceptions: test IOUs are created and exception is thrown
Co-authored-by: Gary Verhaegen <gary.verhaegen@digitalasset.com>
* snake_case => camelCase
---------
Co-authored-by: Gary Verhaegen <gary.verhaegen@digitalasset.com>
Corrected an instance of the wrong "its" and adjusted some grammar.
[CHANGELOG_BEGIN]
[CHANGELOG_END]
Co-authored-by: carrie-laben <91496516+carrie-laben@users.noreply.github.com>
* Add Cash template
* Add NFT template
* Add Asset interface
* Add interface instance Asset for Cash
* Add interface instance Asset for NFT
* Add tests for Asset interface instances
* add comment for RejectTransfer/WithdrawProposal
* Use unqualified 'view' function in 'view' definition
* Prefix interface types with I and view types with V
* Use verbose names for templates and choices
* Add example for queryInterface
* Add example for queryInterfaceContractId
* Define tests as functions taking 'Parties'
* Define cashAndNftTest reusing mkAssetTest
* cashAndNftTest checks the return value of queryInterface directly
* Use 'debug' on the result of 'queryInterface{,ContractId}'
* Interface instances
* capitalize names
* Polymorphic Daml Script
* Add hint about serializable types under viewtype
Co-authored-by: Remy <remy.haemmerle@daml.com>
Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
Co-authored-by: Stefano Baghino <43749967+stefanobaghino-da@users.noreply.github.com>
Statements generally are evaluated by preorder traversal. Thus the second and third (last) consequences need to be swapped (as they otherwise would follow level-order traversal).
Adds an H2 immediately following the H1, which should hopefully correct the formatting issue with this page in the TOC
[CHANGELOG_BEGIN]
[CHANGELOG_END]
Co-authored-by: carrie-laben <91496516+carrie-laben@users.noreply.github.com>
* Accept uppercase English alphabet letters in user IDs
changelog_begin
Accept uppercase English alphabet letters in user IDs
changelog_end
* Fix title case in docs change
Co-authored-by: Sergey Kisel <98825453+skisel-da@users.noreply.github.com>
Co-authored-by: Sergey Kisel <98825453+skisel-da@users.noreply.github.com>
* Move datatype DA.Action.State.State into a stable package
* Move datatype DA.Stack.SrcLoc into a stable package
* Move datatype DA.Random.Minstd into a stable package
* Skip doctest for DA.Action.State.Type
* Don't use magic numbers in CodeGenRunnerTests.scala
* Update comment in StablePackageTest.scala
