Skip to content

Instantly share code, notes, and snippets.

@nemanja-da

nemanja-da/Vehicle.hs

Created August 30, 2021 13:48
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/48fa48a40d17ebbbcb8e383c8f8fbed8 to your computer and use it in GitHub Desktop.
Save nemanja-da/48fa48a40d17ebbbcb8e383c8f8fbed8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Vehicle.hs
template Vehicle
with
operator: Party
id: VehicleId
lastTsLocation: TsLocation
plan: [RideActionCid] -- List of activities to perform (pickups and drop offs)
where
signatory operator
observer id.driver
key (operator, id.name): (Party, Text)
maintainer key._1
data TsLocation = TsLocation with time: Time, space: Location
data Location = Location with x: Decimal, y: Decimal
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment