Module Daml.Finance.Interface.Claims.Claim


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.


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.


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

instance Eq View

instance Show View


: Claim -> I
: Claim -> GetClaims -> Update [TaggedClaim]

: Party -> Claim -> Update C

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


: Claim -> Time

Retrieves the claim’s acquisition time.