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
Eventinterface.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
Advancechoice.Method rewind : ContractId Time -> Rewind -> Update (ContractId Time, ContractId Event)
Implementation of the
Rewindchoice.Method asEvent : I
Conversion to base
Eventinterface.
Typeclasses¶
class Implementation t => HasImplementation t where
Data Types¶
- 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