Copyright	(c) Roman Leshchinskiy 2009-2012
License	BSD-style
Maintainer	Roman Leshchinskiy <rl@cse.unsw.edu.au>
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Primitive.Types

Description

Basic types and classes for primitive array operations

Synopsis

Documentation

class Prim a where Source #

Class of types supporting primitive array operations

Minimal complete definition

sizeOf#, alignment#, indexByteArray#, readByteArray#, writeByteArray#, setByteArray#, indexOffAddr#, readOffAddr#, writeOffAddr#, setOffAddr#

Methods

sizeOf# :: a -> Int# Source #

Size of values of type a. The argument is not used.

alignment# :: a -> Int# Source #

Alignment of values of type a. The argument is not used.

indexByteArray# :: ByteArray# -> Int# -> a Source #

Read a value from the array. The offset is in elements of type a rather than in bytes.

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, a#) Source #

Read a value from the mutable array. The offset is in elements of type a rather than in bytes.

writeByteArray# :: MutableByteArray# s -> Int# -> a -> State# s -> State# s Source #

Write a value to the mutable array. The offset is in elements of type a rather than in bytes.

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> a -> State# s -> State# s Source #

Fill a slice of the mutable array with a value. The offset and length of the chunk are in elements of type a rather than in bytes.

indexOffAddr# :: Addr# -> Int# -> a Source #

Read a value from a memory position given by an address and an offset. The memory block the address refers to must be immutable. The offset is in elements of type a rather than in bytes.

readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, a#) Source #

Read a value from a memory position given by an address and an offset. The offset is in elements of type a rather than in bytes.

writeOffAddr# :: Addr# -> Int# -> a -> State# s -> State# s Source #

Write a value to a memory position given by an address and an offset. The offset is in elements of type a rather than in bytes.

setOffAddr# :: Addr# -> Int# -> Int# -> a -> State# s -> State# s Source #

Fill a memory block given by an address, an offset and a length. The offset and length are in elements of type a rather than in bytes.

Instances

Prim Char Source #
Methods sizeOf# :: Char -> Int# Source # alignment# :: Char -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Char Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Char#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Char -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Char -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Char Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Char#) Source # writeOffAddr# :: Addr# -> Int# -> Char -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Char -> State# s -> State# s Source #
Prim Double Source #
Methods sizeOf# :: Double -> Int# Source # alignment# :: Double -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Double Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Double#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Double -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Double -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Double Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Double#) Source # writeOffAddr# :: Addr# -> Int# -> Double -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Double -> State# s -> State# s Source #
Prim Float Source #
Methods sizeOf# :: Float -> Int# Source # alignment# :: Float -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Float Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Float#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Float -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Float -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Float Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Float#) Source # writeOffAddr# :: Addr# -> Int# -> Float -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Float -> State# s -> State# s Source #
Prim Int Source #
Methods sizeOf# :: Int -> Int# Source # alignment# :: Int -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Int Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Int -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Int Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int#) Source # writeOffAddr# :: Addr# -> Int# -> Int -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Int -> State# s -> State# s Source #
Prim Int8 Source #
Methods sizeOf# :: Int8 -> Int# Source # alignment# :: Int8 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Int8 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int8#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int8 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Int8 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int8#) Source # writeOffAddr# :: Addr# -> Int# -> Int8 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Int8 -> State# s -> State# s Source #
Prim Int16 Source #
Methods sizeOf# :: Int16 -> Int# Source # alignment# :: Int16 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Int16 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int16#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int16 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Int16 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int16#) Source # writeOffAddr# :: Addr# -> Int# -> Int16 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Int16 -> State# s -> State# s Source #
Prim Int32 Source #
Methods sizeOf# :: Int32 -> Int# Source # alignment# :: Int32 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Int32 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int32#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int32 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Int32 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int32#) Source # writeOffAddr# :: Addr# -> Int# -> Int32 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Int32 -> State# s -> State# s Source #
Prim Int64 Source #
Methods sizeOf# :: Int64 -> Int# Source # alignment# :: Int64 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Int64 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int64#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int64 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Int64 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Int64#) Source # writeOffAddr# :: Addr# -> Int# -> Int64 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Int64 -> State# s -> State# s Source #
Prim Word Source #
Methods sizeOf# :: Word -> Int# Source # alignment# :: Word -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Word Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Word -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Word Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word#) Source # writeOffAddr# :: Addr# -> Int# -> Word -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Word -> State# s -> State# s Source #
Prim Word8 Source #
Methods sizeOf# :: Word8 -> Int# Source # alignment# :: Word8 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Word8 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word8#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word8 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Word8 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word8#) Source # writeOffAddr# :: Addr# -> Int# -> Word8 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Word8 -> State# s -> State# s Source #
Prim Word16 Source #
Methods sizeOf# :: Word16 -> Int# Source # alignment# :: Word16 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Word16 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word16#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Word16 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word16 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Word16 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word16#) Source # writeOffAddr# :: Addr# -> Int# -> Word16 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Word16 -> State# s -> State# s Source #
Prim Word32 Source #
Methods sizeOf# :: Word32 -> Int# Source # alignment# :: Word32 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Word32 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word32#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Word32 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word32 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Word32 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word32#) Source # writeOffAddr# :: Addr# -> Int# -> Word32 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Word32 -> State# s -> State# s Source #
Prim Word64 Source #
Methods sizeOf# :: Word64 -> Int# Source # alignment# :: Word64 -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Word64 Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word64#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Word64 -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word64 -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Word64 Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Word64#) Source # writeOffAddr# :: Addr# -> Int# -> Word64 -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Word64 -> State# s -> State# s Source #
Prim Addr Source #
Methods sizeOf# :: Addr -> Int# Source # alignment# :: Addr -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Addr Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Addr#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Addr -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Addr -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Addr Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Addr#) Source # writeOffAddr# :: Addr# -> Int# -> Addr -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Addr -> State# s -> State# s Source #
Prim (Ptr a) Source #
Methods sizeOf# :: Ptr a -> Int# Source # alignment# :: Ptr a -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Ptr a Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Ptr a#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Ptr a -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Ptr a -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Ptr a Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Ptr a#) Source # writeOffAddr# :: Addr# -> Int# -> Ptr a -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Ptr a -> State# s -> State# s Source #
Prim (FunPtr a) Source #
Methods sizeOf# :: FunPtr a -> Int# Source # alignment# :: FunPtr a -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> FunPtr a Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, FunPtr a#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> FunPtr a -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> FunPtr a -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> FunPtr a Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, FunPtr a#) Source # writeOffAddr# :: Addr# -> Int# -> FunPtr a -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> FunPtr a -> State# s -> State# s Source #

sizeOf :: Prim a => a -> Int Source #

Size of values of type a. The argument is not used.

alignment :: Prim a => a -> Int Source #

Alignment of values of type a. The argument is not used.

data Addr Source #

A machine address

Constructors

Addr Addr#

Instances

Eq Addr Source #
Methods (==) :: Addr -> Addr -> Bool # (/=) :: Addr -> Addr -> Bool #
Data Addr Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Addr -> c Addr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Addr # toConstr :: Addr -> Constr # dataTypeOf :: Addr -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Addr) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Addr) # gmapT :: (forall b. Data b => b -> b) -> Addr -> Addr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Addr -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Addr -> r # gmapQ :: (forall d. Data d => d -> u) -> Addr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Addr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Addr -> m Addr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Addr -> m Addr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Addr -> m Addr #
Ord Addr Source #
Methods compare :: Addr -> Addr -> Ordering # (<) :: Addr -> Addr -> Bool # (<=) :: Addr -> Addr -> Bool # (>) :: Addr -> Addr -> Bool # (>=) :: Addr -> Addr -> Bool # max :: Addr -> Addr -> Addr # min :: Addr -> Addr -> Addr #
Prim Addr Source #
Methods sizeOf# :: Addr -> Int# Source # alignment# :: Addr -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> Addr Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Addr#) Source # writeByteArray# :: MutableByteArray# s -> Int# -> Addr -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Addr -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> Addr Source # readOffAddr# :: Addr# -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Addr#) Source # writeOffAddr# :: Addr# -> Int# -> Addr -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> Addr -> State# s -> State# s Source #