Skip to content

Instantly share code, notes, and snippets.

@nemanja-da

nemanja-da/VehicleProperties.hs

Created August 30, 2021 13:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save nemanja-da/dc4c6353b77d68424d83fa7dd25958b5 to your computer and use it in GitHub Desktop.
Save nemanja-da/dc4c6353b77d68424d83fa7dd25958b5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
VehicleProperties.hs
template VehicleProperties
with
operator: Party -- A vehicle is associated to an operator
id: VehicleId -- Vehicle identifier
speed: Decimal
where
signatory operator
observer id.driver -- Driver should be able to see the properties
-- For a given operator, name of the vehicle should be unique
key (operator, id.name): (Party, Text)
maintainer key._1
data VehicleId = VehicleId
with
driver: Party
name: Text
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment