Data.Stack

Abstract Stack data type

https://en.wikipedia.org/wiki/Stack_(abstract_data_type)

Documentation

data Stack a

Abstract Stack data type

Instances

Read a => Read (Stack a)

Methods

readsPrec :: Int -> ReadS (Stack a)

readList :: ReadS [Stack a]

readPrec :: ReadPrec (Stack a)

readListPrec :: ReadPrec [Stack a]

Show a => Show (Stack a)

Methods

showsPrec :: Int -> Stack a -> ShowS

show :: Stack a -> String

showList :: [Stack a] -> ShowS

stackNew :: Stack a

Create new Stack

stackPush :: Stack a -> a -> Stack a

Push item onto Stack

(∀x)(∀s)(stackPop (stackPush s x) == Just (s,x))

stackPeek :: Stack a -> Maybe a

Pop most recently added item without removing from the Stack

stackPeek stackNew == Nothing
(∀x)(∀s)(stackPeek (stackPush s x) == Just x)
(∀s)(stackPeek s == fmap snd (stackPop s))

stackPop :: Stack a -> Maybe (Stack a, a)

Pop most recently added item from Stack

stackPop stackNew == Nothing
(∀x)(∀s)(stackPop (stackPush s x) == Just (s,x))

stackIsEmpty :: Stack a -> Bool

Test if stack is empty

stackIsEmpty stackNew == True
(∀x)(∀s)(stackIsEmpty (stackPush s x) == True)
(∀s)((stackSize s == 0) ⇔ (stackIsEmpty s == True))

stackSize :: Stack a -> Int

Compute number of elements contained in the Stack

stackSize stackNew == 0
(∀x)(∀s)((stackSize s == n) ⇒ (stackSize (stackPush s x) == n+1))