keiro-dsl-0.15.0.0: test/fixtures/mapped-guard.keiro

language keiro-dsl 4
context mapped-guard

mapped structural record Thing {
  haskell package=example-domain module=Example.Domain type=Thing
  binding = "Example.Bindings.thingBinding"
  binding-version = "1"
  canonical-type = "example.Thing.v1"
  fixtures = "Example.Bindings.thingCases"
  initial = "Example.Bindings.emptyThing"
  wire object constructor=Thing unknown-fields=reject {
    value as "value" : Text required
  }
}

aggregate Holder
  regs
    current Thing = initial
  states Empty Done!
  command Compare { }
  event Compared = fields(Compare)
  Empty -- Compare --> guard current == current ; emit Compared ; goto Done