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

language keiro-dsl 4
context mapped-guard-natural

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

aggregate Holder
  regs
    marker Bool = False
  states Empty Done!
  command Compare { value:Natural }
  event Compared = fields(Compare)
  Empty -- Compare --> guard value < value ; emit Compared ; goto Done