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])