Template assignment 12

1 files changed, 26 insertions, 0 deletions

diff --git a/assignment-12/cashModel.dcl b/assignment-12/cashModel.dcl
new file mode 100644
index 0000000..6d1b452
--- /dev/null
+++ b/assignment-12/cashModel.dcl
@@ -0,0 +1,26 @@
+definition module cashModel
+/*
+	Pieter Koopman, Radboud University, 2017
+	pieter@cs.ru.nl
+	Advanced programming
+
+	A simple state model for an automated cash register
+*/
+
+import StdEnv, GenEq
+
+:: Euro = {euro :: Int, cent :: Int}
+:: Product = Pizza | Beer | Cola
+:: Action = Add Product | Rem Product | Pay
+
+class euro a :: a -> Euro
+instance euro Product, Euro
+instance euro Int, (Int, Int), [e] | euro e
+instance + Euro
+instance - Euro
+instance zero Euro
+derive gEq Euro
+instance ~ Euro
+instance == Euro, Product
+
+model :: [Product] Action -> ([Product],[Euro])