Deon Digital CSL platform documentation

This is an introduction to and overview of Deon Digital’s Contract Specification Language (CSL). As the name implies, CSL is used to specify contracts – details such as the particular execution method or how participating parties are authenticated/validated are deliberately not included in the CSL specification.

If you encounter any problems, don’t hesitate to contact us at support@deondigital.com.

Introduction

For an introduction to the CSL language with a simple walk-through of your first contract and explanation of the basic concepts, start here:

• Contracts 101
• Your first CSL contract
  • Specifying events
  • Encoding events
  • Specifying the desired behaviour
• Contract life cycle
  • Instantiating contracts
  • Submitting events to contracts
• Guideline for using Deon Digital’s GUI
  • Composer
  • Viewer
  • Actions
  • Reports

Reference

The following chapters are useful as reference once you know the basic concepts:

• Contract language reference
  • The successfully completed contract
  • The breached contract
  • The prefixed-contract
  • Sequentially composed contracts
  • Concurrently composed contracts
  • Choice between contracts
  • Contract functions
  • Contract definitions
  • Contract templates
  • Guardedness
• Value expression language
  • Primitive values and value literals
  • Operators
  • Constructors and sum types
  • Lists
  • Records
  • Type aliases
  • Functions
  • Conditional expressions (if-then-else)
  • Type case expressions
  • Upcast annotation
  • Let-expressions
  • Type annotations
  • Equality checking
  • External declarations
• Modules
• Scoping
  • Sequential bindings
  • Simultaneous bindings
  • Local scopes
  • Recursive bindings
  • Overview
• Report query language
  • Overview
  • Relations
  • for expressions
• Testing CSL
  • Unit tests
  • Scenario tests
  • Properties
• The CSL Standard Library
  • Functions operating on numbers
  • String functions
  • Boolean functions
  • Instant
  • Time
  • Year
  • Month
  • Date
  • DateTime
  • DayCount
  • ZonedDateTime
  • Period
  • Duration
  • Signed functions
  • General combinators
  • Tuple
  • Maybe
  • Ordering
  • List
  • NonEmptyList
  • Map
  • Set
  • Event
  • RoundingMode
  • Features for Testing CSL
  • Built-in functions and types
  • CSL standard library source code
• CSL grammar

Tooling

In this chapter we introduce the code generation tool sic and describe how to use it:

• The sic code generator
  • Overview
  • Using Kotlin as the target language
  • Using TypeScript as the target language
  • Emit JSON representation of core AST
  • Emit JSON representation of type definitions
  • Emit declaration signature
  • Projects with multiple CSL files

Editor Tools

In this chapter we describe how to configure text editors to conveniently interact with CSL:

• Editor Integration
  • Visual Studio Code
  • Emacs

Architecture

In this chapter we provide an architectural overview of the Deon Digital platform

• Architectual overview

Examples

For various examples look in these chapters:

• Examples of CSL contracts
  • Delivery deadline relative to payment
  • Late payment
  • Partial payments
  • Escrow
  • Transferable contract
  • Signing contracts
  • Pattern matching contracts
• Examples of CSL reports
  • Late payment
  • Partial payments
  • Periodic payments

Exercises

Some more advanced exercises and solutions to most exercises presented in this guide:

• Exercises
  • Writing and running contracts
  • Expressions and reports
• Solutions
  • Solution: Pay on delivery
  • Solution: Pay or return
  • Solution: Bike and helmet
  • Solution: Late payment
  • Solution: Age-restricted purchase
  • Solution: Shopping basket
  • Solution: Two-buyer protocol
  • Solution: Bank account balance
  • Solution: Reimbursement for business travel