| Copyright | (c) Masahiro Sakai 2014 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
| Extensions |
|
ToySolver.Internal.Data.Vec
Description
Simple 1-dimentional resizable array
Synopsis
- data GenericVec a e
- type Vec e = GenericVec IOArray e
- type UVec e = GenericVec IOUArray e
- type Index = Int
- new :: MArray a e IO => IO (GenericVec a e)
- clone :: MArray a e IO => GenericVec a e -> IO (GenericVec a e)
- getSize :: GenericVec a e -> IO Int
- read :: MArray a e IO => GenericVec a e -> Int -> IO e
- write :: MArray a e IO => GenericVec a e -> Int -> e -> IO ()
- modify :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()
- modify' :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()
- unsafeRead :: MArray a e IO => GenericVec a e -> Int -> IO e
- unsafeWrite :: MArray a e IO => GenericVec a e -> Int -> e -> IO ()
- unsafeModify :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()
- unsafeModify' :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO ()
- resize :: MArray a e IO => GenericVec a e -> Int -> IO ()
- growTo :: MArray a e IO => GenericVec a e -> Int -> IO ()
- push :: MArray a e IO => GenericVec a e -> e -> IO ()
- pop :: MArray a e IO => GenericVec a e -> IO e
- popMaybe :: MArray a e IO => GenericVec a e -> IO (Maybe e)
- unsafePop :: MArray a e IO => GenericVec a e -> IO e
- peek :: MArray a e IO => GenericVec a e -> IO e
- unsafePeek :: MArray a e IO => GenericVec a e -> IO e
- clear :: MArray a e IO => GenericVec a e -> IO ()
- getElems :: MArray a e IO => GenericVec a e -> IO [e]
- getArray :: GenericVec a e -> IO (a Index e)
- getCapacity :: MArray a e IO => GenericVec a e -> IO Int
- resizeCapacity :: MArray a e IO => GenericVec a e -> Int -> IO ()
Vec type
data GenericVec a e Source #
Instances
| Eq (GenericVec a e) Source # | |
Defined in ToySolver.Internal.Data.Vec Methods (==) :: GenericVec a e -> GenericVec a e -> Bool # (/=) :: GenericVec a e -> GenericVec a e -> Bool # | |
type Vec e = GenericVec IOArray e Source #
type UVec e = GenericVec IOUArray e Source #
Constructors
clone :: MArray a e IO => GenericVec a e -> IO (GenericVec a e) Source #
Operators
unsafeRead :: MArray a e IO => GenericVec a e -> Int -> IO e Source #
unsafeWrite :: MArray a e IO => GenericVec a e -> Int -> e -> IO () Source #
unsafeModify :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO () Source #
unsafeModify' :: MArray a e IO => GenericVec a e -> Int -> (e -> e) -> IO () Source #
unsafePeek :: MArray a e IO => GenericVec a e -> IO e Source #
Low-level operators
getCapacity :: MArray a e IO => GenericVec a e -> IO Int Source #
Get the internal representation array
resizeCapacity :: MArray a e IO => GenericVec a e -> Int -> IO () Source #
Pre-allocate internal buffer for n elements.