Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.Prim
Synopsis
- data MutableByteArray s
- newByteArray :: PrimMonad m => Int -> m (MutableByteArray (PrimState m))
- getSizeofMutableByteArray :: PrimMonad m => MutableByteArray (PrimState m) -> m Int
- readByteArray :: HasCallStack => MutableByteArray s -> Int -> ST s Word8
- writeByteArray :: HasCallStack => MutableByteArray s -> Int -> Word8 -> ST s ()
- shrinkMutableByteArray :: HasCallStack => MutableByteArray s -> Int -> ST s ()
- fillByteArray :: HasCallStack => MutableByteArray s -> Int -> Int -> Word8 -> ST s ()
- copyMutableByteArray :: HasCallStack => MutableByteArray s -> Int -> MutableByteArray s -> Int -> Int -> ST s ()
- resizeMutableByteArray :: HasCallStack => MutableByteArray s -> Int -> ST s (MutableByteArray s)
- class Prim a
- data PrimArray a = PrimArray ByteArray#
- data MutablePrimArray s a = MutablePrimArray (MutableByteArray# s)
- newPrimArray :: (PrimMonad m, Prim a) => Int -> m (MutablePrimArray (PrimState m) a)
- getSizeofMutablePrimArray :: (PrimMonad m, Prim a) => MutablePrimArray (PrimState m) a -> m Int
- resizeMutablePrimArray :: (PrimMonad m, Prim a) => MutablePrimArray (PrimState m) a -> Int -> m (MutablePrimArray (PrimState m) a)
- primArrayFromList :: Prim a => [a] -> PrimArray a
- primArrayToList :: Prim a => PrimArray a -> [a]
- foldrPrimArray :: Prim a => (a -> b -> b) -> b -> PrimArray a -> b
- readPrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> ST s a
- writePrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> a -> ST s ()
- setPrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> Int -> a -> ST s ()
- indexPrimArray :: (HasCallStack, Prim a) => PrimArray a -> Int -> a
- sizeofPrimArray :: Prim a => PrimArray a -> Int
- freezePrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> Int -> ST s (PrimArray a)
- emptyPrimArray :: PrimArray a
- copyMutablePrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> MutablePrimArray s a -> Int -> Int -> ST s ()
- data MutableArray s a
- newArray :: PrimMonad m => Int -> a -> m (MutableArray (PrimState m) a)
- sizeofMutableArray :: MutableArray s a -> Int
- readArray :: HasCallStack => MutableArray s a -> Int -> ST s a
- writeArray :: HasCallStack => MutableArray s a -> Int -> a -> ST s ()
- copyMutableArray :: HasCallStack => MutableArray s a -> Int -> MutableArray s a -> Int -> Int -> ST s ()
ByteArray
data MutableByteArray s #
Instances
Typeable s => Data (MutableByteArray s) | |
Defined in Data.Array.Byte Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MutableByteArray s -> c (MutableByteArray s) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MutableByteArray s) toConstr :: MutableByteArray s -> Constr dataTypeOf :: MutableByteArray s -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MutableByteArray s)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MutableByteArray s)) gmapT :: (forall b. Data b => b -> b) -> MutableByteArray s -> MutableByteArray s gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MutableByteArray s -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MutableByteArray s -> r gmapQ :: (forall d. Data d => d -> u) -> MutableByteArray s -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MutableByteArray s -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MutableByteArray s -> m (MutableByteArray s) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MutableByteArray s -> m (MutableByteArray s) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MutableByteArray s -> m (MutableByteArray s) | |
Eq (MutableByteArray s) | |
Defined in Data.Array.Byte Methods (==) :: MutableByteArray s -> MutableByteArray s -> Bool (/=) :: MutableByteArray s -> MutableByteArray s -> Bool |
newByteArray :: PrimMonad m => Int -> m (MutableByteArray (PrimState m)) #
getSizeofMutableByteArray :: PrimMonad m => MutableByteArray (PrimState m) -> m Int #
readByteArray :: HasCallStack => MutableByteArray s -> Int -> ST s Word8 Source #
writeByteArray :: HasCallStack => MutableByteArray s -> Int -> Word8 -> ST s () Source #
shrinkMutableByteArray :: HasCallStack => MutableByteArray s -> Int -> ST s () Source #
fillByteArray :: HasCallStack => MutableByteArray s -> Int -> Int -> Word8 -> ST s () Source #
copyMutableByteArray :: HasCallStack => MutableByteArray s -> Int -> MutableByteArray s -> Int -> Int -> ST s () Source #
resizeMutableByteArray :: HasCallStack => MutableByteArray s -> Int -> ST s (MutableByteArray s) Source #
Array of primitive values
Minimal complete definition
(sizeOfType# | sizeOf#), (alignmentOfType# | alignment#), indexByteArray#, readByteArray#, writeByteArray#, indexOffAddr#, readOffAddr#, writeOffAddr#
Instances
Prim CBool | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CBool -> Int# sizeOf# :: CBool -> Int# alignmentOfType# :: Proxy CBool -> Int# alignment# :: CBool -> Int# indexByteArray# :: ByteArray# -> Int# -> CBool readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBool #) writeByteArray# :: MutableByteArray# s -> Int# -> CBool -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CBool -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CBool readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CBool #) writeOffAddr# :: Addr# -> Int# -> CBool -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CBool -> State# s -> State# s | |
Prim CChar | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CChar -> Int# sizeOf# :: CChar -> Int# alignmentOfType# :: Proxy CChar -> Int# alignment# :: CChar -> Int# indexByteArray# :: ByteArray# -> Int# -> CChar readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CChar #) writeByteArray# :: MutableByteArray# s -> Int# -> CChar -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CChar -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CChar readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CChar #) writeOffAddr# :: Addr# -> Int# -> CChar -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CChar -> State# s -> State# s | |
Prim CClock | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CClock -> Int# sizeOf# :: CClock -> Int# alignmentOfType# :: Proxy CClock -> Int# alignment# :: CClock -> Int# indexByteArray# :: ByteArray# -> Int# -> CClock readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CClock #) writeByteArray# :: MutableByteArray# s -> Int# -> CClock -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CClock -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CClock readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CClock #) writeOffAddr# :: Addr# -> Int# -> CClock -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CClock -> State# s -> State# s | |
Prim CDouble | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CDouble -> Int# sizeOf# :: CDouble -> Int# alignmentOfType# :: Proxy CDouble -> Int# alignment# :: CDouble -> Int# indexByteArray# :: ByteArray# -> Int# -> CDouble readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CDouble #) writeByteArray# :: MutableByteArray# s -> Int# -> CDouble -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CDouble -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CDouble readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CDouble #) writeOffAddr# :: Addr# -> Int# -> CDouble -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CDouble -> State# s -> State# s | |
Prim CFloat | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CFloat -> Int# sizeOf# :: CFloat -> Int# alignmentOfType# :: Proxy CFloat -> Int# alignment# :: CFloat -> Int# indexByteArray# :: ByteArray# -> Int# -> CFloat readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFloat #) writeByteArray# :: MutableByteArray# s -> Int# -> CFloat -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CFloat -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CFloat readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CFloat #) writeOffAddr# :: Addr# -> Int# -> CFloat -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CFloat -> State# s -> State# s | |
Prim CInt | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CInt -> Int# sizeOf# :: CInt -> Int# alignmentOfType# :: Proxy CInt -> Int# alignment# :: CInt -> Int# indexByteArray# :: ByteArray# -> Int# -> CInt readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CInt #) writeByteArray# :: MutableByteArray# s -> Int# -> CInt -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CInt -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CInt readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CInt #) writeOffAddr# :: Addr# -> Int# -> CInt -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CInt -> State# s -> State# s | |
Prim CIntMax | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CIntMax -> Int# sizeOf# :: CIntMax -> Int# alignmentOfType# :: Proxy CIntMax -> Int# alignment# :: CIntMax -> Int# indexByteArray# :: ByteArray# -> Int# -> CIntMax readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIntMax #) writeByteArray# :: MutableByteArray# s -> Int# -> CIntMax -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CIntMax -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CIntMax readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CIntMax #) writeOffAddr# :: Addr# -> Int# -> CIntMax -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CIntMax -> State# s -> State# s | |
Prim CIntPtr | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CIntPtr -> Int# sizeOf# :: CIntPtr -> Int# alignmentOfType# :: Proxy CIntPtr -> Int# alignment# :: CIntPtr -> Int# indexByteArray# :: ByteArray# -> Int# -> CIntPtr readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIntPtr #) writeByteArray# :: MutableByteArray# s -> Int# -> CIntPtr -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CIntPtr -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CIntPtr readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CIntPtr #) writeOffAddr# :: Addr# -> Int# -> CIntPtr -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CIntPtr -> State# s -> State# s | |
Prim CLLong | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CLLong -> Int# sizeOf# :: CLLong -> Int# alignmentOfType# :: Proxy CLLong -> Int# alignment# :: CLLong -> Int# indexByteArray# :: ByteArray# -> Int# -> CLLong readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CLLong #) writeByteArray# :: MutableByteArray# s -> Int# -> CLLong -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CLLong -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CLLong readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CLLong #) writeOffAddr# :: Addr# -> Int# -> CLLong -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CLLong -> State# s -> State# s | |
Prim CLong | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CLong -> Int# sizeOf# :: CLong -> Int# alignmentOfType# :: Proxy CLong -> Int# alignment# :: CLong -> Int# indexByteArray# :: ByteArray# -> Int# -> CLong readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CLong #) writeByteArray# :: MutableByteArray# s -> Int# -> CLong -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CLong -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CLong readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CLong #) writeOffAddr# :: Addr# -> Int# -> CLong -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CLong -> State# s -> State# s | |
Prim CPtrdiff | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CPtrdiff -> Int# sizeOf# :: CPtrdiff -> Int# alignmentOfType# :: Proxy CPtrdiff -> Int# alignment# :: CPtrdiff -> Int# indexByteArray# :: ByteArray# -> Int# -> CPtrdiff readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CPtrdiff #) writeByteArray# :: MutableByteArray# s -> Int# -> CPtrdiff -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CPtrdiff -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CPtrdiff readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CPtrdiff #) writeOffAddr# :: Addr# -> Int# -> CPtrdiff -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CPtrdiff -> State# s -> State# s | |
Prim CSChar | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CSChar -> Int# sizeOf# :: CSChar -> Int# alignmentOfType# :: Proxy CSChar -> Int# alignment# :: CSChar -> Int# indexByteArray# :: ByteArray# -> Int# -> CSChar readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSChar #) writeByteArray# :: MutableByteArray# s -> Int# -> CSChar -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CSChar -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CSChar readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CSChar #) writeOffAddr# :: Addr# -> Int# -> CSChar -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CSChar -> State# s -> State# s | |
Prim CSUSeconds | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CSUSeconds -> Int# sizeOf# :: CSUSeconds -> Int# alignmentOfType# :: Proxy CSUSeconds -> Int# alignment# :: CSUSeconds -> Int# indexByteArray# :: ByteArray# -> Int# -> CSUSeconds readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSUSeconds #) writeByteArray# :: MutableByteArray# s -> Int# -> CSUSeconds -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CSUSeconds -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CSUSeconds readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CSUSeconds #) writeOffAddr# :: Addr# -> Int# -> CSUSeconds -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CSUSeconds -> State# s -> State# s | |
Prim CShort | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CShort -> Int# sizeOf# :: CShort -> Int# alignmentOfType# :: Proxy CShort -> Int# alignment# :: CShort -> Int# indexByteArray# :: ByteArray# -> Int# -> CShort readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CShort #) writeByteArray# :: MutableByteArray# s -> Int# -> CShort -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CShort -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CShort readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CShort #) writeOffAddr# :: Addr# -> Int# -> CShort -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CShort -> State# s -> State# s | |
Prim CSigAtomic | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CSigAtomic -> Int# sizeOf# :: CSigAtomic -> Int# alignmentOfType# :: Proxy CSigAtomic -> Int# alignment# :: CSigAtomic -> Int# indexByteArray# :: ByteArray# -> Int# -> CSigAtomic readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSigAtomic #) writeByteArray# :: MutableByteArray# s -> Int# -> CSigAtomic -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CSigAtomic -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CSigAtomic readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CSigAtomic #) writeOffAddr# :: Addr# -> Int# -> CSigAtomic -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CSigAtomic -> State# s -> State# s | |
Prim CSize | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CSize -> Int# sizeOf# :: CSize -> Int# alignmentOfType# :: Proxy CSize -> Int# alignment# :: CSize -> Int# indexByteArray# :: ByteArray# -> Int# -> CSize readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSize #) writeByteArray# :: MutableByteArray# s -> Int# -> CSize -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CSize -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CSize readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CSize #) writeOffAddr# :: Addr# -> Int# -> CSize -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CSize -> State# s -> State# s | |
Prim CTime | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CTime -> Int# sizeOf# :: CTime -> Int# alignmentOfType# :: Proxy CTime -> Int# alignment# :: CTime -> Int# indexByteArray# :: ByteArray# -> Int# -> CTime readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTime #) writeByteArray# :: MutableByteArray# s -> Int# -> CTime -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CTime -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CTime readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CTime #) writeOffAddr# :: Addr# -> Int# -> CTime -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CTime -> State# s -> State# s | |
Prim CUChar | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUChar -> Int# sizeOf# :: CUChar -> Int# alignmentOfType# :: Proxy CUChar -> Int# alignment# :: CUChar -> Int# indexByteArray# :: ByteArray# -> Int# -> CUChar readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUChar #) writeByteArray# :: MutableByteArray# s -> Int# -> CUChar -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUChar -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUChar readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUChar #) writeOffAddr# :: Addr# -> Int# -> CUChar -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUChar -> State# s -> State# s | |
Prim CUInt | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUInt -> Int# sizeOf# :: CUInt -> Int# alignmentOfType# :: Proxy CUInt -> Int# alignment# :: CUInt -> Int# indexByteArray# :: ByteArray# -> Int# -> CUInt readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUInt #) writeByteArray# :: MutableByteArray# s -> Int# -> CUInt -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUInt -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUInt readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUInt #) writeOffAddr# :: Addr# -> Int# -> CUInt -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUInt -> State# s -> State# s | |
Prim CUIntMax | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUIntMax -> Int# sizeOf# :: CUIntMax -> Int# alignmentOfType# :: Proxy CUIntMax -> Int# alignment# :: CUIntMax -> Int# indexByteArray# :: ByteArray# -> Int# -> CUIntMax readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUIntMax #) writeByteArray# :: MutableByteArray# s -> Int# -> CUIntMax -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUIntMax -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUIntMax readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUIntMax #) writeOffAddr# :: Addr# -> Int# -> CUIntMax -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUIntMax -> State# s -> State# s | |
Prim CUIntPtr | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUIntPtr -> Int# sizeOf# :: CUIntPtr -> Int# alignmentOfType# :: Proxy CUIntPtr -> Int# alignment# :: CUIntPtr -> Int# indexByteArray# :: ByteArray# -> Int# -> CUIntPtr readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUIntPtr #) writeByteArray# :: MutableByteArray# s -> Int# -> CUIntPtr -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUIntPtr -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUIntPtr readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUIntPtr #) writeOffAddr# :: Addr# -> Int# -> CUIntPtr -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUIntPtr -> State# s -> State# s | |
Prim CULLong | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CULLong -> Int# sizeOf# :: CULLong -> Int# alignmentOfType# :: Proxy CULLong -> Int# alignment# :: CULLong -> Int# indexByteArray# :: ByteArray# -> Int# -> CULLong readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CULLong #) writeByteArray# :: MutableByteArray# s -> Int# -> CULLong -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CULLong -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CULLong readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CULLong #) writeOffAddr# :: Addr# -> Int# -> CULLong -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CULLong -> State# s -> State# s | |
Prim CULong | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CULong -> Int# sizeOf# :: CULong -> Int# alignmentOfType# :: Proxy CULong -> Int# alignment# :: CULong -> Int# indexByteArray# :: ByteArray# -> Int# -> CULong readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CULong #) writeByteArray# :: MutableByteArray# s -> Int# -> CULong -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CULong -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CULong readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CULong #) writeOffAddr# :: Addr# -> Int# -> CULong -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CULong -> State# s -> State# s | |
Prim CUSeconds | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUSeconds -> Int# sizeOf# :: CUSeconds -> Int# alignmentOfType# :: Proxy CUSeconds -> Int# alignment# :: CUSeconds -> Int# indexByteArray# :: ByteArray# -> Int# -> CUSeconds readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUSeconds #) writeByteArray# :: MutableByteArray# s -> Int# -> CUSeconds -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUSeconds -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUSeconds readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUSeconds #) writeOffAddr# :: Addr# -> Int# -> CUSeconds -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUSeconds -> State# s -> State# s | |
Prim CUShort | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUShort -> Int# sizeOf# :: CUShort -> Int# alignmentOfType# :: Proxy CUShort -> Int# alignment# :: CUShort -> Int# indexByteArray# :: ByteArray# -> Int# -> CUShort readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUShort #) writeByteArray# :: MutableByteArray# s -> Int# -> CUShort -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUShort -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUShort readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUShort #) writeOffAddr# :: Addr# -> Int# -> CUShort -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUShort -> State# s -> State# s | |
Prim CWchar | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CWchar -> Int# sizeOf# :: CWchar -> Int# alignmentOfType# :: Proxy CWchar -> Int# alignment# :: CWchar -> Int# indexByteArray# :: ByteArray# -> Int# -> CWchar readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CWchar #) writeByteArray# :: MutableByteArray# s -> Int# -> CWchar -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CWchar -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CWchar readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CWchar #) writeOffAddr# :: Addr# -> Int# -> CWchar -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CWchar -> State# s -> State# s | |
Prim IntPtr | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy IntPtr -> Int# sizeOf# :: IntPtr -> Int# alignmentOfType# :: Proxy IntPtr -> Int# alignment# :: IntPtr -> Int# indexByteArray# :: ByteArray# -> Int# -> IntPtr readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, IntPtr #) writeByteArray# :: MutableByteArray# s -> Int# -> IntPtr -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> IntPtr -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> IntPtr readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, IntPtr #) writeOffAddr# :: Addr# -> Int# -> IntPtr -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> IntPtr -> State# s -> State# s | |
Prim WordPtr | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy WordPtr -> Int# sizeOf# :: WordPtr -> Int# alignmentOfType# :: Proxy WordPtr -> Int# alignment# :: WordPtr -> Int# indexByteArray# :: ByteArray# -> Int# -> WordPtr readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, WordPtr #) writeByteArray# :: MutableByteArray# s -> Int# -> WordPtr -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> WordPtr -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> WordPtr readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, WordPtr #) writeOffAddr# :: Addr# -> Int# -> WordPtr -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> WordPtr -> State# s -> State# s | |
Prim Int16 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int16 -> Int# sizeOf# :: Int16 -> Int# alignmentOfType# :: Proxy Int16 -> Int# alignment# :: Int16 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int16 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int16 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int16 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int16 #) writeOffAddr# :: Addr# -> Int# -> Int16 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int16 -> State# s -> State# s | |
Prim Int32 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int32 -> Int# sizeOf# :: Int32 -> Int# alignmentOfType# :: Proxy Int32 -> Int# alignment# :: Int32 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int32 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int32 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int32 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int32 #) writeOffAddr# :: Addr# -> Int# -> Int32 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int32 -> State# s -> State# s | |
Prim Int64 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int64 -> Int# sizeOf# :: Int64 -> Int# alignmentOfType# :: Proxy Int64 -> Int# alignment# :: Int64 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int64 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int64 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int64 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int64 #) writeOffAddr# :: Addr# -> Int# -> Int64 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int64 -> State# s -> State# s | |
Prim Int8 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int8 -> Int# sizeOf# :: Int8 -> Int# alignmentOfType# :: Proxy Int8 -> Int# alignment# :: Int8 -> Int# indexByteArray# :: ByteArray# -> Int# -> Int8 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int8 #) writeByteArray# :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int8 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int8 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int8 #) writeOffAddr# :: Addr# -> Int# -> Int8 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int8 -> State# s -> State# s | |
Prim CBlkCnt | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CBlkCnt -> Int# sizeOf# :: CBlkCnt -> Int# alignmentOfType# :: Proxy CBlkCnt -> Int# alignment# :: CBlkCnt -> Int# indexByteArray# :: ByteArray# -> Int# -> CBlkCnt readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBlkCnt #) writeByteArray# :: MutableByteArray# s -> Int# -> CBlkCnt -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CBlkCnt -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CBlkCnt readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CBlkCnt #) writeOffAddr# :: Addr# -> Int# -> CBlkCnt -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CBlkCnt -> State# s -> State# s | |
Prim CBlkSize | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CBlkSize -> Int# sizeOf# :: CBlkSize -> Int# alignmentOfType# :: Proxy CBlkSize -> Int# alignment# :: CBlkSize -> Int# indexByteArray# :: ByteArray# -> Int# -> CBlkSize readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBlkSize #) writeByteArray# :: MutableByteArray# s -> Int# -> CBlkSize -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CBlkSize -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CBlkSize readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CBlkSize #) writeOffAddr# :: Addr# -> Int# -> CBlkSize -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CBlkSize -> State# s -> State# s | |
Prim CCc | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CCc -> Int# sizeOf# :: CCc -> Int# alignmentOfType# :: Proxy CCc -> Int# alignment# :: CCc -> Int# indexByteArray# :: ByteArray# -> Int# -> CCc readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CCc #) writeByteArray# :: MutableByteArray# s -> Int# -> CCc -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CCc -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CCc readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CCc #) writeOffAddr# :: Addr# -> Int# -> CCc -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CCc -> State# s -> State# s | |
Prim CClockId | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CClockId -> Int# sizeOf# :: CClockId -> Int# alignmentOfType# :: Proxy CClockId -> Int# alignment# :: CClockId -> Int# indexByteArray# :: ByteArray# -> Int# -> CClockId readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CClockId #) writeByteArray# :: MutableByteArray# s -> Int# -> CClockId -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CClockId -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CClockId readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CClockId #) writeOffAddr# :: Addr# -> Int# -> CClockId -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CClockId -> State# s -> State# s | |
Prim CDev | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CDev -> Int# sizeOf# :: CDev -> Int# alignmentOfType# :: Proxy CDev -> Int# alignment# :: CDev -> Int# indexByteArray# :: ByteArray# -> Int# -> CDev readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CDev #) writeByteArray# :: MutableByteArray# s -> Int# -> CDev -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CDev -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CDev readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CDev #) writeOffAddr# :: Addr# -> Int# -> CDev -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CDev -> State# s -> State# s | |
Prim CFsBlkCnt | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CFsBlkCnt -> Int# sizeOf# :: CFsBlkCnt -> Int# alignmentOfType# :: Proxy CFsBlkCnt -> Int# alignment# :: CFsBlkCnt -> Int# indexByteArray# :: ByteArray# -> Int# -> CFsBlkCnt readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFsBlkCnt #) writeByteArray# :: MutableByteArray# s -> Int# -> CFsBlkCnt -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CFsBlkCnt -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CFsBlkCnt readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CFsBlkCnt #) writeOffAddr# :: Addr# -> Int# -> CFsBlkCnt -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CFsBlkCnt -> State# s -> State# s | |
Prim CFsFilCnt | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CFsFilCnt -> Int# sizeOf# :: CFsFilCnt -> Int# alignmentOfType# :: Proxy CFsFilCnt -> Int# alignment# :: CFsFilCnt -> Int# indexByteArray# :: ByteArray# -> Int# -> CFsFilCnt readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFsFilCnt #) writeByteArray# :: MutableByteArray# s -> Int# -> CFsFilCnt -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CFsFilCnt -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CFsFilCnt readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CFsFilCnt #) writeOffAddr# :: Addr# -> Int# -> CFsFilCnt -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CFsFilCnt -> State# s -> State# s | |
Prim CGid | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CGid -> Int# sizeOf# :: CGid -> Int# alignmentOfType# :: Proxy CGid -> Int# alignment# :: CGid -> Int# indexByteArray# :: ByteArray# -> Int# -> CGid readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CGid #) writeByteArray# :: MutableByteArray# s -> Int# -> CGid -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CGid -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CGid readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CGid #) writeOffAddr# :: Addr# -> Int# -> CGid -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CGid -> State# s -> State# s | |
Prim CId | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CId -> Int# sizeOf# :: CId -> Int# alignmentOfType# :: Proxy CId -> Int# alignment# :: CId -> Int# indexByteArray# :: ByteArray# -> Int# -> CId readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CId #) writeByteArray# :: MutableByteArray# s -> Int# -> CId -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CId -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CId readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CId #) writeOffAddr# :: Addr# -> Int# -> CId -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CId -> State# s -> State# s | |
Prim CIno | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CIno -> Int# sizeOf# :: CIno -> Int# alignmentOfType# :: Proxy CIno -> Int# alignment# :: CIno -> Int# indexByteArray# :: ByteArray# -> Int# -> CIno readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIno #) writeByteArray# :: MutableByteArray# s -> Int# -> CIno -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CIno -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CIno readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CIno #) writeOffAddr# :: Addr# -> Int# -> CIno -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CIno -> State# s -> State# s | |
Prim CKey | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CKey -> Int# sizeOf# :: CKey -> Int# alignmentOfType# :: Proxy CKey -> Int# alignment# :: CKey -> Int# indexByteArray# :: ByteArray# -> Int# -> CKey readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CKey #) writeByteArray# :: MutableByteArray# s -> Int# -> CKey -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CKey -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CKey readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CKey #) writeOffAddr# :: Addr# -> Int# -> CKey -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CKey -> State# s -> State# s | |
Prim CMode | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CMode -> Int# sizeOf# :: CMode -> Int# alignmentOfType# :: Proxy CMode -> Int# alignment# :: CMode -> Int# indexByteArray# :: ByteArray# -> Int# -> CMode readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CMode #) writeByteArray# :: MutableByteArray# s -> Int# -> CMode -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CMode -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CMode readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CMode #) writeOffAddr# :: Addr# -> Int# -> CMode -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CMode -> State# s -> State# s | |
Prim CNlink | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CNlink -> Int# sizeOf# :: CNlink -> Int# alignmentOfType# :: Proxy CNlink -> Int# alignment# :: CNlink -> Int# indexByteArray# :: ByteArray# -> Int# -> CNlink readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CNlink #) writeByteArray# :: MutableByteArray# s -> Int# -> CNlink -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CNlink -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CNlink readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CNlink #) writeOffAddr# :: Addr# -> Int# -> CNlink -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CNlink -> State# s -> State# s | |
Prim COff | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy COff -> Int# sizeOf# :: COff -> Int# alignmentOfType# :: Proxy COff -> Int# alignment# :: COff -> Int# indexByteArray# :: ByteArray# -> Int# -> COff readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, COff #) writeByteArray# :: MutableByteArray# s -> Int# -> COff -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> COff -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> COff readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, COff #) writeOffAddr# :: Addr# -> Int# -> COff -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> COff -> State# s -> State# s | |
Prim CPid | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CPid -> Int# sizeOf# :: CPid -> Int# alignmentOfType# :: Proxy CPid -> Int# alignment# :: CPid -> Int# indexByteArray# :: ByteArray# -> Int# -> CPid readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CPid #) writeByteArray# :: MutableByteArray# s -> Int# -> CPid -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CPid -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CPid readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CPid #) writeOffAddr# :: Addr# -> Int# -> CPid -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CPid -> State# s -> State# s | |
Prim CRLim | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CRLim -> Int# sizeOf# :: CRLim -> Int# alignmentOfType# :: Proxy CRLim -> Int# alignment# :: CRLim -> Int# indexByteArray# :: ByteArray# -> Int# -> CRLim readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CRLim #) writeByteArray# :: MutableByteArray# s -> Int# -> CRLim -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CRLim -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CRLim readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CRLim #) writeOffAddr# :: Addr# -> Int# -> CRLim -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CRLim -> State# s -> State# s | |
Prim CSpeed | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CSpeed -> Int# sizeOf# :: CSpeed -> Int# alignmentOfType# :: Proxy CSpeed -> Int# alignment# :: CSpeed -> Int# indexByteArray# :: ByteArray# -> Int# -> CSpeed readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSpeed #) writeByteArray# :: MutableByteArray# s -> Int# -> CSpeed -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CSpeed -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CSpeed readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CSpeed #) writeOffAddr# :: Addr# -> Int# -> CSpeed -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CSpeed -> State# s -> State# s | |
Prim CSsize | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CSsize -> Int# sizeOf# :: CSsize -> Int# alignmentOfType# :: Proxy CSsize -> Int# alignment# :: CSsize -> Int# indexByteArray# :: ByteArray# -> Int# -> CSsize readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSsize #) writeByteArray# :: MutableByteArray# s -> Int# -> CSsize -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CSsize -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CSsize readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CSsize #) writeOffAddr# :: Addr# -> Int# -> CSsize -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CSsize -> State# s -> State# s | |
Prim CTcflag | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CTcflag -> Int# sizeOf# :: CTcflag -> Int# alignmentOfType# :: Proxy CTcflag -> Int# alignment# :: CTcflag -> Int# indexByteArray# :: ByteArray# -> Int# -> CTcflag readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTcflag #) writeByteArray# :: MutableByteArray# s -> Int# -> CTcflag -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CTcflag -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CTcflag readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CTcflag #) writeOffAddr# :: Addr# -> Int# -> CTcflag -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CTcflag -> State# s -> State# s | |
Prim CTimer | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CTimer -> Int# sizeOf# :: CTimer -> Int# alignmentOfType# :: Proxy CTimer -> Int# alignment# :: CTimer -> Int# indexByteArray# :: ByteArray# -> Int# -> CTimer readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTimer #) writeByteArray# :: MutableByteArray# s -> Int# -> CTimer -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CTimer -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CTimer readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CTimer #) writeOffAddr# :: Addr# -> Int# -> CTimer -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CTimer -> State# s -> State# s | |
Prim CUid | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy CUid -> Int# sizeOf# :: CUid -> Int# alignmentOfType# :: Proxy CUid -> Int# alignment# :: CUid -> Int# indexByteArray# :: ByteArray# -> Int# -> CUid readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUid #) writeByteArray# :: MutableByteArray# s -> Int# -> CUid -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CUid -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CUid readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CUid #) writeOffAddr# :: Addr# -> Int# -> CUid -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CUid -> State# s -> State# s | |
Prim Fd | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Fd -> Int# sizeOf# :: Fd -> Int# alignmentOfType# :: Proxy Fd -> Int# alignment# :: Fd -> Int# indexByteArray# :: ByteArray# -> Int# -> Fd readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Fd #) writeByteArray# :: MutableByteArray# s -> Int# -> Fd -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Fd -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Fd readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Fd #) writeOffAddr# :: Addr# -> Int# -> Fd -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Fd -> State# s -> State# s | |
Prim Word16 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word16 -> Int# sizeOf# :: Word16 -> Int# alignmentOfType# :: Proxy Word16 -> Int# alignment# :: Word16 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word16 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word16 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word16 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word16 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word16 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word16 #) writeOffAddr# :: Addr# -> Int# -> Word16 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word16 -> State# s -> State# s | |
Prim Word32 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word32 -> Int# sizeOf# :: Word32 -> Int# alignmentOfType# :: Proxy Word32 -> Int# alignment# :: Word32 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word32 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word32 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word32 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word32 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word32 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word32 #) writeOffAddr# :: Addr# -> Int# -> Word32 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word32 -> State# s -> State# s | |
Prim Word64 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word64 -> Int# sizeOf# :: Word64 -> Int# alignmentOfType# :: Proxy Word64 -> Int# alignment# :: Word64 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word64 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word64 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word64 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word64 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word64 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word64 #) writeOffAddr# :: Addr# -> Int# -> Word64 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word64 -> State# s -> State# s | |
Prim Word8 | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word8 -> Int# alignmentOfType# :: Proxy Word8 -> Int# alignment# :: Word8 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word8 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word8 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word8 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word8 #) writeOffAddr# :: Addr# -> Int# -> Word8 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word8 -> State# s -> State# s | |
Prim Level Source # | |
Defined in PureSAT.Level Methods sizeOfType# :: Proxy Level -> Int# alignmentOfType# :: Proxy Level -> Int# alignment# :: Level -> Int# indexByteArray# :: ByteArray# -> Int# -> Level readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Level #) writeByteArray# :: MutableByteArray# s -> Int# -> Level -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Level -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Level readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Level #) writeOffAddr# :: Addr# -> Int# -> Level -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Level -> State# s -> State# s | |
Prim Lit Source # | |
Defined in PureSAT.LitVar Methods sizeOfType# :: Proxy Lit -> Int# alignmentOfType# :: Proxy Lit -> Int# alignment# :: Lit -> Int# indexByteArray# :: ByteArray# -> Int# -> Lit readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Lit #) writeByteArray# :: MutableByteArray# s -> Int# -> Lit -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Lit -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Lit readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Lit #) writeOffAddr# :: Addr# -> Int# -> Lit -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Lit -> State# s -> State# s | |
Prim Char | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Char -> Int# sizeOf# :: Char -> Int# alignmentOfType# :: Proxy Char -> Int# alignment# :: Char -> Int# indexByteArray# :: ByteArray# -> Int# -> Char readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Char #) writeByteArray# :: MutableByteArray# s -> Int# -> Char -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Char -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Char readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Char #) writeOffAddr# :: Addr# -> Int# -> Char -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Char -> State# s -> State# s | |
Prim Double | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Double -> Int# sizeOf# :: Double -> Int# alignmentOfType# :: Proxy Double -> Int# alignment# :: Double -> Int# indexByteArray# :: ByteArray# -> Int# -> Double readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Double #) writeByteArray# :: MutableByteArray# s -> Int# -> Double -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Double -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Double readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Double #) writeOffAddr# :: Addr# -> Int# -> Double -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Double -> State# s -> State# s | |
Prim Float | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Float -> Int# sizeOf# :: Float -> Int# alignmentOfType# :: Proxy Float -> Int# alignment# :: Float -> Int# indexByteArray# :: ByteArray# -> Int# -> Float readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Float #) writeByteArray# :: MutableByteArray# s -> Int# -> Float -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Float -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Float readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Float #) writeOffAddr# :: Addr# -> Int# -> Float -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Float -> State# s -> State# s | |
Prim Int | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Int -> Int# sizeOf# :: Int -> Int# alignmentOfType# :: Proxy Int -> Int# alignment# :: Int -> Int# indexByteArray# :: ByteArray# -> Int# -> Int readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int #) writeByteArray# :: MutableByteArray# s -> Int# -> Int -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Int readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int #) writeOffAddr# :: Addr# -> Int# -> Int -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Int -> State# s -> State# s | |
Prim Word | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy Word -> Int# sizeOf# :: Word -> Int# alignmentOfType# :: Proxy Word -> Int# alignment# :: Word -> Int# indexByteArray# :: ByteArray# -> Int# -> Word readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word #) writeByteArray# :: MutableByteArray# s -> Int# -> Word -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word #) writeOffAddr# :: Addr# -> Int# -> Word -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word -> State# s -> State# s | |
Prim a => Prim (Complex a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Complex a) -> Int# sizeOf# :: Complex a -> Int# alignmentOfType# :: Proxy (Complex a) -> Int# alignment# :: Complex a -> Int# indexByteArray# :: ByteArray# -> Int# -> Complex a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Complex a #) writeByteArray# :: MutableByteArray# s -> Int# -> Complex a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Complex a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Complex a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Complex a #) writeOffAddr# :: Addr# -> Int# -> Complex a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Complex a -> State# s -> State# s | |
Prim a => Prim (First a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (First a) -> Int# sizeOf# :: First a -> Int# alignmentOfType# :: Proxy (First a) -> Int# alignment# :: First a -> Int# indexByteArray# :: ByteArray# -> Int# -> First a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, First a #) writeByteArray# :: MutableByteArray# s -> Int# -> First a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> First a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> First a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, First a #) writeOffAddr# :: Addr# -> Int# -> First a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> First a -> State# s -> State# s | |
Prim a => Prim (Last a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Last a) -> Int# sizeOf# :: Last a -> Int# alignmentOfType# :: Proxy (Last a) -> Int# alignment# :: Last a -> Int# indexByteArray# :: ByteArray# -> Int# -> Last a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Last a #) writeByteArray# :: MutableByteArray# s -> Int# -> Last a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Last a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Last a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Last a #) writeOffAddr# :: Addr# -> Int# -> Last a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Last a -> State# s -> State# s | |
Prim a => Prim (Max a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Max a) -> Int# sizeOf# :: Max a -> Int# alignmentOfType# :: Proxy (Max a) -> Int# alignment# :: Max a -> Int# indexByteArray# :: ByteArray# -> Int# -> Max a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Max a #) writeByteArray# :: MutableByteArray# s -> Int# -> Max a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Max a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Max a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Max a #) writeOffAddr# :: Addr# -> Int# -> Max a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Max a -> State# s -> State# s | |
Prim a => Prim (Min a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Min a) -> Int# sizeOf# :: Min a -> Int# alignmentOfType# :: Proxy (Min a) -> Int# alignment# :: Min a -> Int# indexByteArray# :: ByteArray# -> Int# -> Min a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Min a #) writeByteArray# :: MutableByteArray# s -> Int# -> Min a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Min a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Min a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Min a #) writeOffAddr# :: Addr# -> Int# -> Min a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Min a -> State# s -> State# s | |
Prim a => Prim (Identity a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Identity a) -> Int# sizeOf# :: Identity a -> Int# alignmentOfType# :: Proxy (Identity a) -> Int# alignment# :: Identity a -> Int# indexByteArray# :: ByteArray# -> Int# -> Identity a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Identity a #) writeByteArray# :: MutableByteArray# s -> Int# -> Identity a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Identity a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Identity a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Identity a #) writeOffAddr# :: Addr# -> Int# -> Identity a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Identity a -> State# s -> State# s | |
Prim a => Prim (Down a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Down a) -> Int# sizeOf# :: Down a -> Int# alignmentOfType# :: Proxy (Down a) -> Int# alignment# :: Down a -> Int# indexByteArray# :: ByteArray# -> Int# -> Down a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Down a #) writeByteArray# :: MutableByteArray# s -> Int# -> Down a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Down a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Down a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Down a #) writeOffAddr# :: Addr# -> Int# -> Down a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Down a -> State# s -> State# s | |
Prim a => Prim (Dual a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Dual a) -> Int# sizeOf# :: Dual a -> Int# alignmentOfType# :: Proxy (Dual a) -> Int# alignment# :: Dual a -> Int# indexByteArray# :: ByteArray# -> Int# -> Dual a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Dual a #) writeByteArray# :: MutableByteArray# s -> Int# -> Dual a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Dual a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Dual a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Dual a #) writeOffAddr# :: Addr# -> Int# -> Dual a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Dual a -> State# s -> State# s | |
Prim a => Prim (Product a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Product a) -> Int# sizeOf# :: Product a -> Int# alignmentOfType# :: Proxy (Product a) -> Int# alignment# :: Product a -> Int# indexByteArray# :: ByteArray# -> Int# -> Product a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Product a #) writeByteArray# :: MutableByteArray# s -> Int# -> Product a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Product a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Product a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Product a #) writeOffAddr# :: Addr# -> Int# -> Product a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Product a -> State# s -> State# s | |
Prim a => Prim (Sum a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Sum a) -> Int# sizeOf# :: Sum a -> Int# alignmentOfType# :: Proxy (Sum a) -> Int# alignment# :: Sum a -> Int# indexByteArray# :: ByteArray# -> Int# -> Sum a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Sum a #) writeByteArray# :: MutableByteArray# s -> Int# -> Sum a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Sum a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Sum a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Sum a #) writeOffAddr# :: Addr# -> Int# -> Sum a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Sum a -> State# s -> State# s | |
Prim (FunPtr a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (FunPtr a) -> Int# sizeOf# :: FunPtr a -> Int# alignmentOfType# :: Proxy (FunPtr a) -> Int# alignment# :: FunPtr a -> Int# indexByteArray# :: ByteArray# -> Int# -> FunPtr a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, FunPtr a #) writeByteArray# :: MutableByteArray# s -> Int# -> FunPtr a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> FunPtr a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> FunPtr a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, FunPtr a #) writeOffAddr# :: Addr# -> Int# -> FunPtr a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> FunPtr a -> State# s -> State# s | |
Prim (Ptr a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Ptr a) -> Int# sizeOf# :: Ptr a -> Int# alignmentOfType# :: Proxy (Ptr a) -> Int# alignment# :: Ptr a -> Int# indexByteArray# :: ByteArray# -> Int# -> Ptr a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Ptr a #) writeByteArray# :: MutableByteArray# s -> Int# -> Ptr a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Ptr a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Ptr a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Ptr a #) writeOffAddr# :: Addr# -> Int# -> Ptr a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Ptr a -> State# s -> State# s | |
Prim (StablePtr a) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (StablePtr a) -> Int# sizeOf# :: StablePtr a -> Int# alignmentOfType# :: Proxy (StablePtr a) -> Int# alignment# :: StablePtr a -> Int# indexByteArray# :: ByteArray# -> Int# -> StablePtr a readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, StablePtr a #) writeByteArray# :: MutableByteArray# s -> Int# -> StablePtr a -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> StablePtr a -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> StablePtr a readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, StablePtr a #) writeOffAddr# :: Addr# -> Int# -> StablePtr a -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> StablePtr a -> State# s -> State# s | |
Prim a => Prim (Const a b) | |
Defined in Data.Primitive.Types Methods sizeOfType# :: Proxy (Const a b) -> Int# sizeOf# :: Const a b -> Int# alignmentOfType# :: Proxy (Const a b) -> Int# alignment# :: Const a b -> Int# indexByteArray# :: ByteArray# -> Int# -> Const a b readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Const a b #) writeByteArray# :: MutableByteArray# s -> Int# -> Const a b -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Const a b -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Const a b readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Const a b #) writeOffAddr# :: Addr# -> Int# -> Const a b -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Const a b -> State# s -> State# s |
Constructors
PrimArray ByteArray# |
Instances
Lift (PrimArray a :: Type) | |
NFData (PrimArray a) | |
Defined in Data.Primitive.PrimArray | |
Monoid (PrimArray a) | |
Semigroup (PrimArray a) | |
Prim a => IsList (PrimArray a) | |
(Show a, Prim a) => Show (PrimArray a) | |
(Eq a, Prim a) => Eq (PrimArray a) | |
(Ord a, Prim a) => Ord (PrimArray a) | |
Defined in Data.Primitive.PrimArray | |
type Item (PrimArray a) | |
Defined in Data.Primitive.PrimArray type Item (PrimArray a) = a |
data MutablePrimArray s a #
Constructors
MutablePrimArray (MutableByteArray# s) |
Instances
NFData (MutablePrimArray s a) | |
Defined in Data.Primitive.PrimArray Methods rnf :: MutablePrimArray s a -> () | |
Eq (MutablePrimArray s a) | |
Defined in Data.Primitive.PrimArray Methods (==) :: MutablePrimArray s a -> MutablePrimArray s a -> Bool (/=) :: MutablePrimArray s a -> MutablePrimArray s a -> Bool |
newPrimArray :: (PrimMonad m, Prim a) => Int -> m (MutablePrimArray (PrimState m) a) #
getSizeofMutablePrimArray :: (PrimMonad m, Prim a) => MutablePrimArray (PrimState m) a -> m Int #
resizeMutablePrimArray :: (PrimMonad m, Prim a) => MutablePrimArray (PrimState m) a -> Int -> m (MutablePrimArray (PrimState m) a) #
primArrayFromList :: Prim a => [a] -> PrimArray a #
primArrayToList :: Prim a => PrimArray a -> [a] #
foldrPrimArray :: Prim a => (a -> b -> b) -> b -> PrimArray a -> b #
readPrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> ST s a Source #
writePrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> a -> ST s () Source #
setPrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> Int -> a -> ST s () Source #
indexPrimArray :: (HasCallStack, Prim a) => PrimArray a -> Int -> a Source #
sizeofPrimArray :: Prim a => PrimArray a -> Int #
freezePrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> Int -> ST s (PrimArray a) Source #
emptyPrimArray :: PrimArray a #
copyMutablePrimArray :: (HasCallStack, Prim a) => MutablePrimArray s a -> Int -> MutablePrimArray s a -> Int -> Int -> ST s () Source #
Array
data MutableArray s a #
Instances
(Typeable s, Typeable a) => Data (MutableArray s a) | |
Defined in Data.Primitive.Array Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MutableArray s a -> c (MutableArray s a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MutableArray s a) toConstr :: MutableArray s a -> Constr dataTypeOf :: MutableArray s a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MutableArray s a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MutableArray s a)) gmapT :: (forall b. Data b => b -> b) -> MutableArray s a -> MutableArray s a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MutableArray s a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MutableArray s a -> r gmapQ :: (forall d. Data d => d -> u) -> MutableArray s a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MutableArray s a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MutableArray s a -> m (MutableArray s a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MutableArray s a -> m (MutableArray s a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MutableArray s a -> m (MutableArray s a) | |
Eq (MutableArray s a) | |
Defined in Data.Primitive.Array Methods (==) :: MutableArray s a -> MutableArray s a -> Bool (/=) :: MutableArray s a -> MutableArray s a -> Bool |
newArray :: PrimMonad m => Int -> a -> m (MutableArray (PrimState m) a) #
sizeofMutableArray :: MutableArray s a -> Int #
readArray :: HasCallStack => MutableArray s a -> Int -> ST s a Source #
writeArray :: HasCallStack => MutableArray s a -> Int -> a -> ST s () Source #
copyMutableArray :: HasCallStack => MutableArray s a -> Int -> MutableArray s a -> Int -> Int -> ST s () Source #