summaryrefslogtreecommitdiff
path: root/assignment-13/uFPL/Bootstrap.dcl
diff options
context:
space:
mode:
authorCamil Staps2018-01-03 09:24:21 +0100
committerCamil Staps2018-01-03 09:24:21 +0100
commit33db1946d2a09898761b7d397fe4028725f2215b (patch)
tree1f68cb8b276b7a20f42f325c76e6d4853ea8e68f /assignment-13/uFPL/Bootstrap.dcl
parentCleanup (diff)
Rename & restructure
Diffstat (limited to 'assignment-13/uFPL/Bootstrap.dcl')
-rw-r--r--assignment-13/uFPL/Bootstrap.dcl37
1 files changed, 37 insertions, 0 deletions
diff --git a/assignment-13/uFPL/Bootstrap.dcl b/assignment-13/uFPL/Bootstrap.dcl
new file mode 100644
index 0000000..201957c
--- /dev/null
+++ b/assignment-13/uFPL/Bootstrap.dcl
@@ -0,0 +1,37 @@
+definition module uFPL.Bootstrap
+
+from StdOverloaded import class zero
+
+import uFPL
+
+rwBool :: String Bool -> Expr Bool RW
+roBool :: String Bool -> Expr Bool RO
+
+rwInt :: String Int -> Expr Int RW
+roInt :: String Int -> Expr Int RO
+rwUInt :: String Int -> Expr Int RW
+roUInt :: String Int -> Expr Int RO
+
+rwLong :: String Int -> Expr Int RW
+roLong :: String Int -> Expr Int RO
+rwULong :: String Int -> Expr Int RW
+roULong :: String Int -> Expr Int RO
+
+boolmap :: Bimap Bool CExpr
+intmap :: Bimap Int CExpr
+longmap :: Bimap Int CExpr
+
+b0 :: Expr Bool RO
+b1 :: Expr Bool RO
+b2 :: Expr Bool RO
+b3 :: Expr Bool RO
+b4 :: Expr Bool RO
+
+millis :: Expr Int RO
+
+false :: Expr Bool RO
+true :: Expr Bool RO
+
+rts :: String
+
+instance zero CProg