The main contract data type

The zero contract has no rights and no obligations.

If you acquire one t you immediately recieve one unit of the Tradeable t.

If you acquire c1 and c2 you immediately acquire both c1 and c2.

Swap the rights and obligations of the party and counterparty.

Make a contract with a named 3rd party as the counterparty.

If you acquire c1 or c2 you immediately acquire your choice of either c1 or c2.

If you acquire cond obs c1 c2 then you acquire c1 if the observable obs is true at the moment of acquistion, and c2 otherwise.

If you acquire scale obs c, then you acquire c at the same moment except that all the subsequent trades of c are multiplied by the value of the observable obs at the moment of acquistion.

Scaling factor (used to scale the One contract)

If you acquire when obs c, you must acquire c as soon as observable obs subsequently becomes true.

Once you acquire anytime obs c, you may acquire c at any time the observable obs is true.

Once acquired, until obs c is exactly like c except that it /must be abandoned/ when observable obs becomes true.

Observe the value of an observable now and save its value to use later.

Currently this requires a unique variable name.

Example:

letin "count" (count-1) $ \count' ->
  ...

A canonical tradeable element, physical or financial

Commodity, e.g. Gas, Electricity

Unit, e.g. tonnes, MWh

Location, e.g. UK, EU

A duration is a span of time, measured in seconds.

Currency, e.g. EUR, USD, GBP

Cashflow type, e.g. cash, premium

Portfolio name

Choice label, used for options

Name of a third party mentioned in a contract

A simple expression language of "observable values". An observable represents is a time-varying value (a function from Time to a value).

Currently there are two types of observables:

• condition observables, type Obs Bool
• real-valued observables, type Obs Double

A constant observable.

A named interal contract program variable.

Usually you should use letin rather than this directly.

A named external real-valued observable

Example:

primVar "gas-price"

A named external condition observable

We use a continuous model of time.

An observable that becomes true at a single given point in time and is false at all other times.

An observable that is true up to a given point in time and is false thereafter.

An observable that becomes true after a given point in time and is false prior to that time.

An observable that is true between two given points in time and is false at all other times.

between t1 t2 = time >= t1 && time < t2

if..then..else for observables (returns an observable)

Unary negation.

Absolute value.