Data.Stack.ST

Provides a stack container for use in the ST monad

Documentation

data Stack s a

A mutable stack in state thread s, containing values of type a

stackNew :: ST s (Stack s a)

Create new empty Stack

stackPush :: Stack s a -> a -> ST s ()

Push item onto Stack

stackPeek :: Stack s a -> ST s (Maybe a)

Pop most recently added item without removing from the Stack

stackPop :: Stack s a -> ST s (Maybe a)

Pop most recently added item from Stack

stackIsEmpty :: Stack s a -> ST s Bool

Test if stack is empty

stackSize :: Stack s a -> ST s Natural

Compute number of elements contained in the Stack