files/practicum/StdStack.icl

   1 implementation module StdStack
   2
   3 import StdEnv
   4
   5 :: Stack a
   6
   7 Start  = ( "s0 = newStack = ",        s0,'\n'
   8          , "s1 = push 1 s0 = ",       s1,'\n'
   9          , "s2 = pushes [2..5] s1 = ",s2,'\n'
  10          , "s3 = pop s2 = ",          s3,'\n'
  11          , "s4 = popn 3 s3 = ",       s4,'\n'
  12          , "s5 = top s4 = ",          s5,'\n'
  13          , "s6 = topn 3 s2 = ",       s6,'\n'
  14          , "s7 = elements s2 = ",     s7,'\n'
  15          )
  16 where
  17         s0 = newStack
  18         s1 = push 1 s0
  19         s2 = pushes [2..5] s1
  20         s3 = pop s2
  21         s4 = popn 3 s3
  22         s5 = top s4
  23         s6 = topn 3 s2
  24         s7 = elements s2