From 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Thu, 16 Apr 2015 21:22:20 +0200
Subject: update to fp2 yay, public and licence

---
 fp1/week3/mart/StdStack.dcl | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 fp1/week3/mart/StdStack.dcl

(limited to 'fp1/week3/mart/StdStack.dcl')

diff --git a/fp1/week3/mart/StdStack.dcl b/fp1/week3/mart/StdStack.dcl
new file mode 100644
index 0000000..8c861a1
--- /dev/null
+++ b/fp1/week3/mart/StdStack.dcl
@@ -0,0 +1,13 @@
+definition module StdStack
+
+:: Stack a
+
+newStack :: Stack a                        // lege stack
+push     ::  a  (Stack a) -> Stack a       // plaats nieuw element bovenop de stack
+pushes   :: [a] (Stack a) -> Stack a       // plaats elementen achtereenvolgens bovenop stack
+pop      ::     (Stack a) -> Stack a       // haal top element van stack
+popn     :: Int (Stack a) -> Stack a       // haal bovenste $n$ top elementen van stack
+top      ::     (Stack a) -> a             // geef top element van stack
+topn     :: Int (Stack a) -> [a]           // geef bovenste $n$ top elementen van stack
+elements ::     (Stack a) -> [a]           // geef alle elementen van stack
+count    ::     (Stack a) -> Int           // tel aantal elementen in stack
-- 
cgit v1.2.3