stdcxx-0.7.0.1: Binding to Standard Template Library C++
Safe HaskellSafe-Inferred
LanguageHaskell2010

STD.Vector.Template

Documentation

data RawVector tp1 Source #

Instances

Instances details
Castable (Vector tp1) (Ptr (RawVector tp1)) Source # 
Instance details

Defined in STD.Vector.Template

Methods

cast :: Vector tp1 -> (Ptr (RawVector tp1) -> IO r) -> IO r #

uncast :: Ptr (RawVector tp1) -> (Vector tp1 -> IO r) -> IO r #

newtype Vector tp1 Source #

Constructors

Vector (Ptr (RawVector tp1)) 

Instances

Instances details
FPtr (Vector tp1) Source # 
Instance details

Defined in STD.Vector.Template

Associated Types

type Raw (Vector tp1) #

Methods

get_fptr :: Vector tp1 -> Ptr (Raw (Vector tp1)) #

cast_fptr_to_obj :: Ptr (Raw (Vector tp1)) -> Vector tp1 #

Castable (Vector tp1) (Ptr (RawVector tp1)) Source # 
Instance details

Defined in STD.Vector.Template

Methods

cast :: Vector tp1 -> (Ptr (RawVector tp1) -> IO r) -> IO r #

uncast :: Ptr (RawVector tp1) -> (Vector tp1 -> IO r) -> IO r #

type Raw (Vector tp1) Source # 
Instance details

Defined in STD.Vector.Template

type Raw (Vector tp1) = RawVector tp1

class IVector tp1 where Source #

Methods

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 #