Daml.Finance.Interface.Instrument.Generic.Instrument

Interfaces

interface Instrument

Interface for generic instruments utilizing Contingent Claims.

viewtype V

  • Choice Archive

    Controller: Signatories of implementing template

    Returns: ()

    (no fields)

  • Choice GetView

    Retrieves the interface view.

    Controller: viewer

    Returns: V

    Field Type Description
    viewer Party The party retrieving the view.

  • Method asBaseInstrument : I

    Conversion to base Instrument interface.

  • Method asClaim : I

    Conversion to claim interface.

Typeclasses

class Implementation t => HasImplementation t where

Data Types

type I

= Instrument

Type synonym for Instrument.

type Implementation t

= (HasToInterface t I, Implementation t, Implementation t)

Type constraint requiring templates to implement Instrument along with BaseInstrument and Disclosure.

type V

= View

Type synonym for View.

instance HasFromAnyView Instrument V

data View

View

Field Type Description
instrument InstrumentKey The instrument’s key.
claims C The claim tree.

instance Eq View

instance Show View