keiro-dsl-0.17.0.0: test/fixtures/contract-declared-id-prefix-change.keiro
language keiro-dsl 6
context contract-declared-id
id TemplateId prefix=project
id ClaimId prefix=claim using {
haskell package=keiro-dsl module=Conformance.ContractDeclaredId.Domain type=ClaimId
binding = "Conformance.ContractDeclaredId.Bindings.claimIdBinding"
binding-version = "1"
canonical-type = "conformance.contract-declared-id.ClaimId.v1"
fixtures = "Conformance.ContractDeclaredId.Bindings.claimIdFixtures"
}
contract templates {
schemaVersion 1
discriminator messageType
topic templateEvents "templates.events"
event TemplateClaimed on templateEvents {
templateId: TemplateId
claimId: ClaimId
legacyTemplateId: typeid "template"
}
}