SAT.Mios.Data.Stack

stack of Int, by adding the length field as the zero-th element to a Vec

Documentation

data Stack

Unboxed mutable stack for Int.

Instances

VectorFamily Stack Int

Methods

clear :: Stack -> IO ()

dump :: String -> Stack -> IO String

asVec :: Stack -> IOVector Int

asList :: Stack -> IO [Int]

newStack :: Int -> IO Stack

returns a new stack which size is size

clearStack :: Stack -> IO ()

clear stack

sizeOfStack :: Stack -> IO Int

returns the number of elements

pushToStack :: Stack -> Int -> IO ()

pushs an int to Stack

popFromStack :: Stack -> IO ()

drops the first element from Stack

lastOfStack :: Stack -> IO Int

peeks the last element in Stack

shrinkStack :: Stack -> Int -> IO ()

Shrink the stack. The given arg means the number of discards. therefore, shrink s n == for [1 .. n] $ _ -> pop s

asSizedVec :: Stack -> Vec

converts Stack to sized Vec; this is the method to get the internal vector