Module Daml.Finance.Interface.Lifecycle.Observable.TimeObservable

This module defines an interface for a TimeObservable, which is implemented by templates exposing time information.


interface TimeObservable

An interface to inspect a time value.

  • Choice Archive

    (no fields)

  • Choice GetTime

    Retrieves the current time.

    Field Type Description
    actors Parties The party retrieving the current time.
  • Choice GetView

    Retrieves the interface view.

    Field Type Description
    viewer Party The party retrieving the view.
  • Method getTime : Update Time

    Implementation of the GetTime choice.


class Implementation t => HasImplementation t where

Data Types

type I

= TimeObservable

Type synonym for TimeObservable.

instance HasMethod Time "asTimeObservable" I

type Implementation t

= HasToInterface t I

Type constraint for requiring interface implementations for TimeObservable.

type V

= View

Type synonym for View.

instance HasFromAnyView TimeObservable V

data View

View for TimeObservable.


Field Type Description
providers Parties Parties providing the observation.
id Id Textual reference to the observable.

instance Eq View

instance Show View