Module Daml.Finance.Interface.Claims.Claim

Interfaces

interface Claim

Interface implemented by templates that can be represented as Contingent Claims.

• Choice Archive

  (no fields)

• Choice GetClaims

  Retrieves the list of claims representing the instrument. This might involve fetching reference data, such as calendars, on which the actor must have visibility.

  Field	Type	Description
  actor	Party	The party retrieving the claims.

• Choice GetView

  Retrieves the interface view.

  Field	Type	Description
  viewer	Party	The party retrieving the view.

• Method asBaseInstrument : I

  Conversion to base Instrument interface.

• Method getClaims : GetClaims -> Update [TaggedClaim]

  The list of claims representing the instrument.

Typeclasses

class Implementation t => HasImplementation t where

Data Types

type I

= Claim

Type synonym for Claim.

instance HasMethod Instrument "asClaim" I

type Implementation t

= (HasToInterface t I, Implementation t)

Type constraint for requiring templates to implement Claim.

type V

= View

Type synonym for View.

instance HasFromAnyView Claim V

data View

View for Claim.

View

Field	Type	Description
acquisitionTime	Time	The claim’s acquisition time.

instance Eq View

instance Show View

Functions

asBaseInstrument

: Claim -> I

getClaims

: Claim -> GetClaims -> Update [TaggedClaim]

getClaim

: Party -> Claim -> Update C

Retrieves the single claim representing the template. An error is thrown if there are zero or more than one claims.

getAcquisitionTime

: Claim -> Time

Retrieves the claim’s acquisition time.