Module Daml.Finance.Interface.Lifecycle.Event.Time


interface Event

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

  • Choice Archive

    (no fields)

  • Choice GetView

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

    Field Type Description
    viewer Party The party retrieving the view.
  • Method advance : Advance -> Update (ContractId Time, ContractId Event)

    Implementation of the Advance choice.

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

    Implementation of the Rewind choice.

  • Method asEvent : I

    Conversion to base Event interface.


class Implementation t => HasImplementation t where

Data Types

type I

= Event

Type synonym for Event.

type Implementation t

= (HasToInterface t Event, Implementation t)

Type constraint for requiring templates to implement Event.

type V

= View

Type synonym for View.

instance HasFromAnyView Event V

data View

View for Event.


(no fields)

instance Eq View

instance Show View


: Event -> I