Module Daml.Finance.Interface.Claims.Types

Data Types

type C

= Claim Time Decimal Deliverable Observable

The specialized claim type.

type Deliverable

= InstrumentKey

Type used to reference assets in the claim tree.

type Observable

= Text

Type used to reference observables in the claim tree.

data Pending

Type used to record pending payments.

Pending

Field	Type	Description
t	Time
tag	Text
instrument	Deliverable
amount	Decimal

instance Eq Pending

instance Show Pending

data TaggedClaim

A claim and a textual tag.

TaggedClaim

Field	Type	Description
claim	C
tag	Text

instance Eq TaggedClaim

instance Show TaggedClaim

instance HasMethod Claim "getClaims" (GetClaims -> Update [TaggedClaim])