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.

viewtype V

  • Choice Archive

    Controller: Signatories of implementing template

    Returns: ()

    (no fields)

  • Choice GetView

    Retrieves the interface view.

    Controller: viewer

    Returns: View

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

    Observe the Observable.

    Controller: actors

    Returns: Decimal

    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.

Data Types

type I

= NumericObservable

Type synonym for Observable.

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