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

Interfaces

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 : 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.

• Method asEvent : I

  Conversion to base Event interface.

Typeclasses

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.

View

(no fields)

instance Eq View

instance Show View

Functions

asEvent

: Event -> I