Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class IVector tp1 where Source #
newVector :: IO (Vector tp1) Source #
begin :: Vector tp1 -> IO (VectorIterator tp1) Source #
end :: Vector tp1 -> IO (VectorIterator tp1) Source #
push_back :: Vector tp1 -> tp1 -> IO () Source #
pop_back :: Vector tp1 -> IO () Source #
at :: Vector tp1 -> CInt -> IO tp1 Source #
size :: Vector tp1 -> IO CInt Source #
deleteVector :: Vector tp1 -> IO () Source #