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.

viewtype V

  • Choice Archive

    Controller: Signatories of implementing template

    Returns: ()

    (no fields)

  • Choice GetTime

    Retrieves the current time.

    Controller: actors

    Returns: Time

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

    Retrieves the interface view.

    Controller: viewer

    Returns: View

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

    Implementation of the GetTime choice.

Data Types

type I

= TimeObservable

Type synonym 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