Module Daml.Trigger.LowLevel

Typeclasses

class HasTime m => ActionTrigger m where

Low-level trigger actions.

liftTF

: TriggerF a -> m a

instance ActionTrigger (TriggerRule s)

instance ActionTrigger TriggerSetup

Data Types

data ActiveContracts

ActiveContracts

Field	Type	Description
activeContracts	[Created]

instance HasField "activeContracts" ActiveContracts [Created]

instance HasField "initialState" (Trigger s) (Party -> [Party] -> ActiveContracts -> TriggerSetup s)

data AnyContractId

This type represents the contract id of an unknown template. You can use fromAnyContractId to check which template it corresponds to.

instance Eq AnyContractId

instance Ord AnyContractId

instance Show AnyContractId

instance HasField "activeContracts" ACS (Map TemplateTypeRep (Map AnyContractId AnyTemplate))

instance HasField "contractId" AnyContractId (ContractId ())

instance HasField "contractId" Archived AnyContractId

instance HasField "contractId" Command AnyContractId

instance HasField "contractId" Created AnyContractId

instance HasField "pendingContracts" ACS (Map CommandId [AnyContractId])

instance HasField "pendingContracts" (TriggerAState s) (Map CommandId [AnyContractId])

instance HasField "templateId" AnyContractId TemplateTypeRep

data Archived

The data in an Archived event.

Archived

Field	Type	Description
eventId	EventId
contractId	AnyContractId

instance Eq Archived

instance Show Archived

instance HasField "contractId" Archived AnyContractId

instance HasField "eventId" Archived EventId

data Command

A ledger API command. To construct a command use createCmd and exerciseCmd.

CreateCommand

Field	Type	Description
templateArg	AnyTemplate

ExerciseCommand

Field	Type	Description
contractId	AnyContractId
choiceArg	AnyChoice

CreateAndExerciseCommand

Field	Type	Description
templateArg	AnyTemplate
choiceArg	AnyChoice

ExerciseByKeyCommand

Field	Type	Description
tplTypeRep	TemplateTypeRep
contractKey	AnyContractKey
choiceArg	AnyChoice

instance HasField "choiceArg" Command AnyChoice

instance HasField "commands" Commands [Command]

instance HasField "commandsInFlight" (TriggerAState s) (Map CommandId [Command])

instance HasField "commandsInFlight" (TriggerState s) (Map CommandId [Command])

instance HasField "commandsInFlight" TriggerUpdateState (Map CommandId [Command])

instance HasField "contractId" Command AnyContractId

instance HasField "contractKey" Command AnyContractKey

instance HasField "templateArg" Command AnyTemplate

instance HasField "tplTypeRep" Command TemplateTypeRep

data CommandId

CommandId Text

instance Eq CommandId

instance Ord CommandId

instance Show CommandId

instance HasField "commandId" Commands CommandId

instance HasField "commandId" Completion CommandId

instance HasField "commandId" Transaction (Optional CommandId)

instance HasField "commandsInFlight" (TriggerAState s) (Map CommandId [Command])

instance HasField "commandsInFlight" (TriggerState s) (Map CommandId [Command])

instance HasField "commandsInFlight" TriggerUpdateState (Map CommandId [Command])

instance HasField "pendingContracts" ACS (Map CommandId [AnyContractId])

instance HasField "pendingContracts" (TriggerAState s) (Map CommandId [AnyContractId])

data Commands

A set of commands that are submitted as a single transaction.

Commands

Field	Type	Description
commandId	CommandId
commands	[Command]

instance HasField "commandId" Commands CommandId

instance HasField "commands" Commands [Command]

data Completion

A completion message. Note that you will only get completions for commands emitted from the trigger. Contrary to the ledger API completion stream, this also includes synchronous failures.

Completion

Field	Type	Description
commandId	CommandId
status	CompletionStatus

instance Show Completion

instance HasField "commandId" Completion CommandId

instance HasField "status" Completion CompletionStatus

data CompletionStatus

Failed

Field	Type	Description
status	Int
message	Text

Succeeded

Field	Type	Description
transactionId	TransactionId

instance Show CompletionStatus

instance HasField "message" CompletionStatus Text

instance HasField "status" Completion CompletionStatus

instance HasField "status" CompletionStatus Int

instance HasField "transactionId" CompletionStatus TransactionId

data Created

The data in a Created event.

Created

Field	Type	Description
eventId	EventId
contractId	AnyContractId
argument	AnyTemplate

instance HasField "activeContracts" ActiveContracts [Created]

instance HasField "argument" Created AnyTemplate

instance HasField "contractId" Created AnyContractId

instance HasField "eventId" Created EventId

data Event

An event in a transaction. This definition should be kept consistent with the object EventVariant defined in triggers/runner/src/main/scala/com/digitalasset/daml/lf/engine/trigger/Converter.scala

CreatedEvent Created

ArchivedEvent Archived

instance HasField "events" Transaction [Event]

data EventId

EventId Text

instance Eq EventId

instance Show EventId

instance HasField "eventId" Archived EventId

instance HasField "eventId" Created EventId

data Message

Either a transaction or a completion. This definition should be kept consistent with the object MessageVariant defined in triggers/runner/src/main/scala/com/digitalasset/daml/lf/engine/trigger/Converter.scala

MTransaction Transaction

MCompletion Completion

MHeartbeat

instance HasField "update" (Trigger s) (Message -> TriggerRule s ())

instance HasField "updateState" (Trigger s) (Message -> TriggerUpdateA s ())

data RegisteredTemplates

AllInDar

Listen to events for all templates in the given DAR.

RegisteredTemplates [RegisteredTemplate]

instance HasField "registeredTemplates" (Trigger s) RegisteredTemplates

instance HasField "registeredTemplates" (Trigger s) RegisteredTemplates

data Transaction

Transaction

Field	Type	Description
transactionId	TransactionId
commandId	Optional CommandId
events	[Event]

instance HasField "commandId" Transaction (Optional CommandId)

instance HasField "events" Transaction [Event]

instance HasField "transactionId" Transaction TransactionId

data TransactionId

TransactionId Text

instance Eq TransactionId

instance Show TransactionId

instance HasField "transactionId" CompletionStatus TransactionId

instance HasField "transactionId" Transaction TransactionId

data Trigger s

Trigger is (approximately) a left-fold over Message with an accumulator of type s.

Trigger

Field	Type	Description
initialState	Party -> [Party] -> ActiveContracts -> TriggerSetup s
update	Message -> TriggerRule s ()
registeredTemplates	RegisteredTemplates
heartbeat	Optional RelTime

instance HasField "heartbeat" (Trigger s) (Optional RelTime)

instance HasField "initialState" (Trigger s) (Party -> [Party] -> ActiveContracts -> TriggerSetup s)

instance HasField "registeredTemplates" (Trigger s) RegisteredTemplates

instance HasField "update" (Trigger s) (Message -> TriggerRule s ())

data TriggerRule s a

TriggerRule

Field	Type	Description
runTriggerRule	StateT s (Free TriggerF) a

instance ActionTrigger (TriggerRule s)

instance Functor (TriggerRule s)

instance ActionState s (TriggerRule s)

instance HasTime (TriggerRule s)

instance Action (TriggerRule s)

instance Applicative (TriggerRule s)

instance HasField "runTriggerA" (TriggerA s a) (ACS -> TriggerRule (TriggerAState s) a)

instance HasField "runTriggerRule" (TriggerRule s a) (StateT s (Free TriggerF) a)

instance HasField "update" (Trigger s) (Message -> TriggerRule s ())

data TriggerSetup a

TriggerSetup

Field	Type	Description
runTriggerSetup	Free TriggerF a

instance ActionTrigger TriggerSetup

instance Functor TriggerSetup

instance HasTime TriggerSetup

instance Action TriggerSetup

instance Applicative TriggerSetup

instance HasField "initialState" (Trigger s) (Party -> [Party] -> ActiveContracts -> TriggerSetup s)

instance HasField "runTriggerSetup" (TriggerSetup a) (Free TriggerF a)

Functions

toAnyContractId

: TemplateOrInterface t => ContractId t -> AnyContractId

Wrap a ContractId t in AnyContractId.

fromAnyContractId

: TemplateOrInterface t => AnyContractId -> Optional (ContractId t)

Check if a AnyContractId corresponds to the given template or return None otherwise.

fromCreated

: Template t => Created -> Optional (EventId, ContractId t, t)

Check if a Created event corresponds to the given template.

fromArchived

: Template t => Archived -> Optional (EventId, ContractId t)

Check if an Archived event corresponds to the given template.

registeredTemplate

: Template t => RegisteredTemplate

createCmd

: Template t => t -> Command

Create a contract of the given template.

exerciseCmd

: Choice t c r => ContractId t -> c -> Command

Exercise the given choice.

createAndExerciseCmd

: (Template t, Choice t c r) => t -> c -> Command

Create a contract of the given template and immediately exercise the given choice on it.

exerciseByKeyCmd

: (Choice t c r, TemplateKey t k) => k -> c -> Command

fromCreate

: Template t => Command -> Optional t

Check if the command corresponds to a create command for the given template.

fromCreateAndExercise

: (Template t, Choice t c r) => Command -> Optional (t, c)

Check if the command corresponds to a create and exercise command for the given template.

fromExercise

: Choice t c r => Command -> Optional (ContractId t, c)

Check if the command corresponds to an exercise command for the given template.

fromExerciseByKey

: (Choice t c r, TemplateKey t k) => Command -> Optional (k, c)

Check if the command corresponds to an exercise by key command for the given template.

execStateT

: Functor m => StateT s m a -> s -> m s

zoom

: Functor m => (t -> s) -> (t -> s -> t) -> StateT s m a -> StateT t m a

simulateRule

: TriggerRule s a -> Time -> s -> (s, [Commands], a)

Run a rule without running it. May lose information from the rule; meant for testing purposes only.

submitCommands

: ActionTrigger m => [Command] -> m CommandId