Daml.Finance.Interface.Lifecycle.Event.Time

Interfaces

interface Event

Event interface for events that signal the passing of (business) time.

viewtype V

• Choice Archive

  Controller: Signatories of implementing template

  Returns: ()

  (no fields)

• Choice GetView

  Retrieves the event view. The event’s time can be retrieved from the generic Event interface.

  Controller: viewer

  Returns: View

  Field	Type	Description
  viewer	Party	The party retrieving the view.

• Method advance : ContractId Time -> Advance -> Update (ContractId Time, ContractId Event)

  Implementation of the Advance choice.

• Method rewind : ContractId Time -> Rewind -> Update (ContractId Time, ContractId Event)

  Implementation of the Rewind choice.

Data Types

type I

= Event

Type synonym for Event.

type V

= View

Type synonym for View.

instance HasFromAnyView Event V

data View

View for Event.

View

(no fields)

instance Eq View

instance Show View