Contract

Contracts

The contract type and primitives

data Contract

zero

one

and

give

party

or

cond

scale

type ScaleFactor

when

anytime

until

read

letin

Tradable items

data Tradeable

data Commodity

data Unit

data Location

data Duration

data Currency

data CashFlowType

data Portfolio

Choice identifiers

type ChoiceId

type PartyName

Observables

data Obs a

konst

var

primVar

primCond

type Time

at

before

after

between

ifthen

negate

max

min

abs

(%==)

(%>)

(%>=)

(%<)

(%<=)

(%&&)

(%||)

(%+)

(%-)

(%*)

(%/)