Daml.Finance.Interface.Claims.Claim

Interfaces

interface Claim

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

viewtype V

• Choice Archive

  Controller: Signatories of implementing template

  Returns: ()

  (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.

  Controller: actor

  Returns: [TaggedClaim]

  Field	Type	Description
  actor	Party	The party retrieving the claims.

• Choice GetView

  Retrieves the interface view.

  Controller: viewer

  Returns: 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.