Module Daml.Finance.Interface.Lifecycle.Observable.NumericObservable

This module defines an interface for a NumericObservable, which is used to inspect time-dependent numerical values.


interface NumericObservable

An interface to inspect some (time-dependent) numerical values (e.g. a stock price or an interest rate fixing) required when processing a lifecycle rule.

  • Choice Archive

    (no fields)

  • Choice GetView

    Retrieves the interface view.

    Field Type Description
    viewer Party The party retrieving the view.
  • Choice Observe

    Observe the Observable.

    Field Type Description
    actors Parties Parties calling this ‘Observe’ choice.
    t Time Time at which the value is observed.
  • Method observe : Time -> Update Decimal

    Implementation of the Observe choice.


class Implementation t => HasImplementation t where

Data Types

type I

= NumericObservable

Type synonym for Observable.

instance HasMethod Observation "asNumericObservable" I

type Implementation t

= HasToInterface t I

Type constraint for requiring templates to implement NumericObservable.

type V

= View

Type synonym for View.

instance HasFromAnyView NumericObservable V

data View

View for Observable.


Field Type Description
provider Party Party providing the observations.
id Id Textual reference to the observable.

instance Eq View

instance Show View