Module Daml.Finance.Interface.Instrument.Swap.CreditDefault.Factory


interface Factory

Factory interface to instantiate credit default swaps.

  • Choice Archive

    (no fields)

  • Choice Create

    Create a new instrument.

    Field Type Description
    creditDefault CreditDefault Attributes to create a credit default swap.
    observers PartiesMap The instrument’s observers.
  • Choice Remove

    Archive an instrument.

    Field Type Description
    instrument InstrumentKey The instrument’s key.
  • Method asDisclosure : I

    Conversion to Disclosure interface.

  • Method create’ : Create -> Update (ContractId I)

    Implementation of Create choice.

  • Method remove : Remove -> Update ()

    Implementation of Remove choice.


class Implementation t => HasImplementation t where

Data Types

type F

= Factory

Type synonym for Factory.

type Implementation t

= (HasToInterface t Factory, Implementation t)

Type constraint for requiring templates to implement Factory along with Disclosure.

type V

= View

Type synonym for View.

instance HasFromAnyView Factory V

data View

View of Factory.


Field Type Description
provider Party The provider of the Factory.

instance Eq View

instance Show View


: Factory -> I
: Factory -> Create -> Update (ContractId I)
: Factory -> Remove -> Update ()