Der Knall (!) Operator in Ulme

Question

Was macht der Knall (oder Ausrufezeichen) Operator in Ulme? Ich sah eine Anwendung mit einem init wie folgt aus:

init = emptyModel ! [] 

Ich habe versucht, in die Ulme docs suchen, aber entweder gibt es keine Informationen oder ich konnte sie nicht finden :)

Answer 1

Die Definition der ! Betreiber ist here.

Es nimmt ein Modell, eine Liste der Befehle und gibt ein Tupel (Paar) mit einem Modell und einem einzigen Befehl, der die batch aller Befehle

ist