data Claim t x a o
Core data type used to model cashflows of instruments. Check out the Daml Finance documentation(https://digital-asset.github.io/daml-finance/concepts/contingent-claims.html) for a detailed explanation. In the reference paper from Peyton-Jones this is called ‘Contract’. We renamed it to avoid ambiguity.
xrespectively correspond to the
Observationinput type and the resulting output type. An observation is a function from
x. A common choice is to use
ais the representation of an asset, e.g. a
ois the representation of an observable, e.g. a
You should build the
Claimusing the smart constructors (e.g.
and) instead of using the data constructors directly (
And).Represents an absence of claims. Monoid
One aThe bearer acquires one unit of
aimmediately.The obligations of the bearer and issuer are reversed.
instance Corecursive (Claim t x a o) (ClaimF t x a o)
instance Recursive (Claim t x a o) (ClaimF t x a o)
data Inequality t x o
Data type for boolean predicates supported by the library. A boolean predicate is a generic function with signature
t -> x -> Bool. However, a lmited set of predicates is currently supported.
time ≥ t,
time ≤ t,
o(t, x) ≤ o'(t, x),
Falseotherwise for a pair of observations