fp1/week3/camil/StdStack.dcl

   1 definition module StdStack
   2
   3 :: Stack a
   4
   5 newStack :: Stack a                        // lege stack
   6 push     ::  a  (Stack a) -> Stack a       // plaats nieuw element bovenop de stack
   7 pushes   :: [a] (Stack a) -> Stack a       // plaats elementen achtereenvolgens bovenop stack
   8 pop      ::     (Stack a) -> Stack a       // haal top element van stack
   9 popn     :: Int (Stack a) -> Stack a       // haal bovenste $n$ top elementen van stack
  10 top      ::     (Stack a) -> a             // geef top element van stack
  11 topn     :: Int (Stack a) -> [a]           // geef bovenste $n$ top elementen van stack
  12 elements ::     (Stack a) -> [a]           // geef alle elementen van stack
  13 count    ::     (Stack a) -> Int           // tel aantal elementen in stack