Numeric.PrimBytes

Facilities for converting Haskell data to and from raw bytes.

The main purpose of this module is to support the implementation of the DataFrame Backend. However, it also comes very useful for writing FFI. To that end, the PrimBytes class is similar to the Storable class: it provides means to write your data to and read from a raw memory area. Though, it is more flexible in that it can work with both, foreign pointers and primitive byte arrays, and it provides means to get data field offsets by their selector names. On top of that, a PrimBytes instance can be derived via the Generic machinery.

A derived PrimBytes instance tries to pack the data as dense as possible, while respecting the alignment requirements. In all cases known to me, the resulting data layout coincides with a corresponding C struct, allowing to marshal the data without any boilerplate. However, this is not guaranteed, but you can write a PrimBytes instance manually if necessary (and report an issue plz).

Note about alignment, size, and padding of the data. There are two basic sanity assumptions about these, which are not checked in this module at all:

• the alignment is always a power of 2;
• the size is always rounded up to a multiple of the alignment.

Generated instances of PrimBytes meet these assumptions if all components of a data meet these assumptions too. You are strongly advised to provide all byte offset arguments to the PrimBytes functions respecting the alignment of the data; otherwise, the data may be written or read incorrectly.

PrimBytes API

class PrimTagged a => PrimBytes a where

Defines how to read and write your data to and from Haskell unboxed byte arrays and plain pointers.

Similarly to Storable, this class provides functions to get the size and alignment of a data via phantom arguments. Thus, the size and alignment of the data must not depend on the data content (they depend only on the type of the data). In particular, this means that dynamically sized structures like Haskell lists or maps are not allowed.

This module provides default implementations for all methods of this class via Generic. Hence, to make your data an instance of PrimBytes, it is sufficient to write the instance head:

data MyData a b = ...
  deriving Generic

instance (PrimBytes a, PrimBytes b) => PrimBytes (MyData a b)

.. or use the DeriveAnyClass extension to make it even shorter:

data MyData a b = ...
  deriving (Generic, PrimBytes)

The derived instance tries to pack the data as dense as possible, but sometimes it is better to write the instance by hand. If a derived type has more than one constructor, the derived instance puts a Word32 tag at the beginning of the byte representation. All fields of a constructor are packed in a C-like fashion next to each other, while respecting their alignments.

Minimal complete definition

Nothing

Associated Types

type PrimFields a :: [Symbol]

List of field names.

It is used to get field offsets using byteFieldOffset function.

A Generic-derived instance has this list non-empty only if two obvious conditions are met:

1. The data has only one constructor.
2. The data uses record syntax to define its fields.

type PrimFields a = GPrimFields (Rep a)

Methods

getBytes :: a -> ByteArray#

Store content of a data type in a primitive byte array (should be used together with byteOffset function).

Note, the default implementation of this function returns a not pinned array, which is aligned to 8. Thus, it ignores the alignment of the underlying data type if it is larger. However, alignment calculation still makes sense for data types that are smaller than 8 bytes: they are packed more densely.

getBytesPinned :: a -> ByteArray#

Store content of a data type in a primitive byte array (should be used together with byteOffset function).

In contrast to getBytes, this function returns a pinned byte array, aligned to the byteAlign bytes of this data.

Note, GC guarantees not to move the created array. While this is very useful sometimes, it incurs a certain performance penalty.

fromBytes

Arguments

:: Int#

Offset in bytes

-> ByteArray#

Source array

-> a

Load content of a data type from a primitive byte array given an offset in bytes.

default fromBytes :: (Generic a, GPrimBytes (Rep a)) => Int# -> ByteArray# -> a

readBytes

Arguments

:: MutableByteArray# s

Source array

-> Int#

Byte offset in the source array

-> State# s

-> (# State# s, a #)

Read data from a mutable byte array given an offset in bytes.

default readBytes :: (Generic a, GPrimBytes (Rep a)) => MutableByteArray# s -> Int# -> State# s -> (# State# s, a #)

writeBytes

Arguments

:: MutableByteArray# s

Destination array

-> Int#

Byte offset in the destination array

-> a

Data to write into the array

-> State# s

-> State# s

Write data into a mutable byte array at a given position (offset in bytes).

default writeBytes :: (Generic a, GPrimBytes (Rep a)) => MutableByteArray# s -> Int# -> a -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, a #)

Read data from a specified address.

default readAddr :: (Generic a, GPrimBytes (Rep a)) => Addr# -> State# s -> (# State# s, a #)

writeAddr :: a -> Addr# -> State# s -> State# s

Write data to a specified address.

default writeAddr :: (Generic a, GPrimBytes (Rep a)) => a -> Addr# -> State# s -> State# s

byteSize :: a -> Int#

Size of a data type in bytes. It should be a multiple of byteAlign for indexing functions to operate correctly.

Implementation of this function must not inspect the argument value; a caller may provide undefined in place of the argument.

default byteSize :: (Generic a, GPrimBytes (Rep a)) => a -> Int#

byteAlign :: a -> Int#

Alignment of a data type in bytes. byteOffset should be multiple of this value.

Implementation of this function must not inspect the argument value; a caller may provide undefined in place of the argument.

default byteAlign :: (Generic a, GPrimBytes (Rep a)) => a -> Int#

byteOffset :: a -> Int#

Offset of the data in a byte array used to store the data, measured in bytes. Should be used together with getBytes function. Unless in case of special data types represented by ByteArrays, it is equal to zero.

Implementation of this function may inspect the argument value; a caller must not provide undefined in place of the argument.

byteFieldOffset :: (Elem name (PrimFields a), KnownSymbol name) => Proxy# name -> a -> Int#

Offset of a data record within the data type in bytes.

Implementation of this function must not inspect the argument value; a caller may provide undefined in place of the argument.

The default (generic) implementation of this fucntion looks for the leftmost occurrence of a given field name (in case of multiple constructors). If a field with the given name is not found, it returns -1, but this is not possible thanks to Elem name (PrimFields a) constraint.

default byteFieldOffset :: (Generic a, GPrimBytes (Rep a), KnownSymbol name) => Proxy# name -> a -> Int#

indexArray :: ByteArray# -> Int# -> a

Index array given an element offset (which is byteSize a and should be a multiple of byteAlign a).

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

Read a mutable array given an element offset (which is byteSize a and should be a multiple of byteAlign a).

writeArray :: MutableByteArray# s -> Int# -> a -> State# s -> State# s

Write a mutable array given an element offset (which is byteSize a and should be a multiple of byteAlign a).

Instances

PrimBytes Char

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Char :: [Symbol]

Methods

getBytes :: Char -> ByteArray#

getBytesPinned :: Char -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Char

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Char #)

writeBytes :: MutableByteArray# s -> Int# -> Char -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Char #)

writeAddr :: Char -> Addr# -> State# s -> State# s

byteSize :: Char -> Int#

byteAlign :: Char -> Int#

byteOffset :: Char -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Char), KnownSymbol name) => Proxy# name -> Char -> Int#

indexArray :: ByteArray# -> Int# -> Char

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Char #)

writeArray :: MutableByteArray# s -> Int# -> Char -> State# s -> State# s

PrimBytes Double

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Double :: [Symbol]

Methods

getBytes :: Double -> ByteArray#

getBytesPinned :: Double -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Double

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Double #)

writeBytes :: MutableByteArray# s -> Int# -> Double -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Double #)

writeAddr :: Double -> Addr# -> State# s -> State# s

byteSize :: Double -> Int#

byteAlign :: Double -> Int#

byteOffset :: Double -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Double), KnownSymbol name) => Proxy# name -> Double -> Int#

indexArray :: ByteArray# -> Int# -> Double

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Double #)

writeArray :: MutableByteArray# s -> Int# -> Double -> State# s -> State# s

PrimBytes Float

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Float :: [Symbol]

Methods

getBytes :: Float -> ByteArray#

getBytesPinned :: Float -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Float

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Float #)

writeBytes :: MutableByteArray# s -> Int# -> Float -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Float #)

writeAddr :: Float -> Addr# -> State# s -> State# s

byteSize :: Float -> Int#

byteAlign :: Float -> Int#

byteOffset :: Float -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Float), KnownSymbol name) => Proxy# name -> Float -> Int#

indexArray :: ByteArray# -> Int# -> Float

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Float #)

writeArray :: MutableByteArray# s -> Int# -> Float -> State# s -> State# s

PrimBytes Int

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Int :: [Symbol]

Methods

getBytes :: Int -> ByteArray#

getBytesPinned :: Int -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Int

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int #)

writeBytes :: MutableByteArray# s -> Int# -> Int -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Int #)

writeAddr :: Int -> Addr# -> State# s -> State# s

byteSize :: Int -> Int#

byteAlign :: Int -> Int#

byteOffset :: Int -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Int), KnownSymbol name) => Proxy# name -> Int -> Int#

indexArray :: ByteArray# -> Int# -> Int

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int #)

writeArray :: MutableByteArray# s -> Int# -> Int -> State# s -> State# s

PrimBytes Int8

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Int8 :: [Symbol]

Methods

getBytes :: Int8 -> ByteArray#

getBytesPinned :: Int8 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Int8

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int8 #)

writeBytes :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Int8 #)

writeAddr :: Int8 -> Addr# -> State# s -> State# s

byteSize :: Int8 -> Int#

byteAlign :: Int8 -> Int#

byteOffset :: Int8 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Int8), KnownSymbol name) => Proxy# name -> Int8 -> Int#

indexArray :: ByteArray# -> Int# -> Int8

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int8 #)

writeArray :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s

PrimBytes Int16

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Int16 :: [Symbol]

Methods

getBytes :: Int16 -> ByteArray#

getBytesPinned :: Int16 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Int16

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16 #)

writeBytes :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Int16 #)

writeAddr :: Int16 -> Addr# -> State# s -> State# s

byteSize :: Int16 -> Int#

byteAlign :: Int16 -> Int#

byteOffset :: Int16 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Int16), KnownSymbol name) => Proxy# name -> Int16 -> Int#

indexArray :: ByteArray# -> Int# -> Int16

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16 #)

writeArray :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s

PrimBytes Int32

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Int32 :: [Symbol]

Methods

getBytes :: Int32 -> ByteArray#

getBytesPinned :: Int32 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Int32

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32 #)

writeBytes :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Int32 #)

writeAddr :: Int32 -> Addr# -> State# s -> State# s

byteSize :: Int32 -> Int#

byteAlign :: Int32 -> Int#

byteOffset :: Int32 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Int32), KnownSymbol name) => Proxy# name -> Int32 -> Int#

indexArray :: ByteArray# -> Int# -> Int32

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32 #)

writeArray :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s

PrimBytes Int64

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Int64 :: [Symbol]

Methods

getBytes :: Int64 -> ByteArray#

getBytesPinned :: Int64 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Int64

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64 #)

writeBytes :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Int64 #)

writeAddr :: Int64 -> Addr# -> State# s -> State# s

byteSize :: Int64 -> Int#

byteAlign :: Int64 -> Int#

byteOffset :: Int64 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Int64), KnownSymbol name) => Proxy# name -> Int64 -> Int#

indexArray :: ByteArray# -> Int# -> Int64

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64 #)

writeArray :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s

PrimBytes Word

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Word :: [Symbol]

Methods

getBytes :: Word -> ByteArray#

getBytesPinned :: Word -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Word

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word #)

writeBytes :: MutableByteArray# s -> Int# -> Word -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Word #)

writeAddr :: Word -> Addr# -> State# s -> State# s

byteSize :: Word -> Int#

byteAlign :: Word -> Int#

byteOffset :: Word -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Word), KnownSymbol name) => Proxy# name -> Word -> Int#

indexArray :: ByteArray# -> Int# -> Word

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word #)

writeArray :: MutableByteArray# s -> Int# -> Word -> State# s -> State# s

PrimBytes Word8

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Word8 :: [Symbol]

Methods

getBytes :: Word8 -> ByteArray#

getBytesPinned :: Word8 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Word8

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #)

writeBytes :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Word8 #)

writeAddr :: Word8 -> Addr# -> State# s -> State# s

byteSize :: Word8 -> Int#

byteAlign :: Word8 -> Int#

byteOffset :: Word8 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Word8), KnownSymbol name) => Proxy# name -> Word8 -> Int#

indexArray :: ByteArray# -> Int# -> Word8

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #)

writeArray :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s

PrimBytes Word16

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Word16 :: [Symbol]

Methods

getBytes :: Word16 -> ByteArray#

getBytesPinned :: Word16 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Word16

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word16 #)

writeBytes :: MutableByteArray# s -> Int# -> Word16 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Word16 #)

writeAddr :: Word16 -> Addr# -> State# s -> State# s

byteSize :: Word16 -> Int#

byteAlign :: Word16 -> Int#

byteOffset :: Word16 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Word16), KnownSymbol name) => Proxy# name -> Word16 -> Int#

indexArray :: ByteArray# -> Int# -> Word16

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word16 #)

writeArray :: MutableByteArray# s -> Int# -> Word16 -> State# s -> State# s

PrimBytes Word32

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Word32 :: [Symbol]

Methods

getBytes :: Word32 -> ByteArray#

getBytesPinned :: Word32 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Word32

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word32 #)

writeBytes :: MutableByteArray# s -> Int# -> Word32 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Word32 #)

writeAddr :: Word32 -> Addr# -> State# s -> State# s

byteSize :: Word32 -> Int#

byteAlign :: Word32 -> Int#

byteOffset :: Word32 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Word32), KnownSymbol name) => Proxy# name -> Word32 -> Int#

indexArray :: ByteArray# -> Int# -> Word32

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word32 #)

writeArray :: MutableByteArray# s -> Int# -> Word32 -> State# s -> State# s

PrimBytes Word64

Defined in Numeric.PrimBytes

Associated Types

type PrimFields Word64 :: [Symbol]

Methods

getBytes :: Word64 -> ByteArray#

getBytesPinned :: Word64 -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Word64

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word64 #)

writeBytes :: MutableByteArray# s -> Int# -> Word64 -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Word64 #)

writeAddr :: Word64 -> Addr# -> State# s -> State# s

byteSize :: Word64 -> Int#

byteAlign :: Word64 -> Int#

byteOffset :: Word64 -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields Word64), KnownSymbol name) => Proxy# name -> Word64 -> Int#

indexArray :: ByteArray# -> Int# -> Word64

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word64 #)

writeArray :: MutableByteArray# s -> Int# -> Word64 -> State# s -> State# s

PrimBytes ()

Defined in Numeric.PrimBytes

Associated Types

type PrimFields () :: [Symbol]

Methods

getBytes :: () -> ByteArray#

getBytesPinned :: () -> ByteArray#

fromBytes :: Int# -> ByteArray# -> ()

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, () #)

writeBytes :: MutableByteArray# s -> Int# -> () -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, () #)

writeAddr :: () -> Addr# -> State# s -> State# s

byteSize :: () -> Int#

byteAlign :: () -> Int#

byteOffset :: () -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields ()), KnownSymbol name) => Proxy# name -> () -> Int#

indexArray :: ByteArray# -> Int# -> ()

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, () #)

writeArray :: MutableByteArray# s -> Int# -> () -> State# s -> State# s

PrimBytes CChar

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CChar :: [Symbol]

Methods

getBytes :: CChar -> ByteArray#

getBytesPinned :: CChar -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CChar

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CChar #)

writeBytes :: MutableByteArray# s -> Int# -> CChar -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CChar #)

writeAddr :: CChar -> Addr# -> State# s -> State# s

byteSize :: CChar -> Int#

byteAlign :: CChar -> Int#

byteOffset :: CChar -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CChar), KnownSymbol name) => Proxy# name -> CChar -> Int#

indexArray :: ByteArray# -> Int# -> CChar

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CChar #)

writeArray :: MutableByteArray# s -> Int# -> CChar -> State# s -> State# s

PrimBytes CSChar

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CSChar :: [Symbol]

Methods

getBytes :: CSChar -> ByteArray#

getBytesPinned :: CSChar -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CSChar

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSChar #)

writeBytes :: MutableByteArray# s -> Int# -> CSChar -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CSChar #)

writeAddr :: CSChar -> Addr# -> State# s -> State# s

byteSize :: CSChar -> Int#

byteAlign :: CSChar -> Int#

byteOffset :: CSChar -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CSChar), KnownSymbol name) => Proxy# name -> CSChar -> Int#

indexArray :: ByteArray# -> Int# -> CSChar

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSChar #)

writeArray :: MutableByteArray# s -> Int# -> CSChar -> State# s -> State# s

PrimBytes CUChar

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CUChar :: [Symbol]

Methods

getBytes :: CUChar -> ByteArray#

getBytesPinned :: CUChar -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CUChar

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUChar #)

writeBytes :: MutableByteArray# s -> Int# -> CUChar -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CUChar #)

writeAddr :: CUChar -> Addr# -> State# s -> State# s

byteSize :: CUChar -> Int#

byteAlign :: CUChar -> Int#

byteOffset :: CUChar -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CUChar), KnownSymbol name) => Proxy# name -> CUChar -> Int#

indexArray :: ByteArray# -> Int# -> CUChar

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUChar #)

writeArray :: MutableByteArray# s -> Int# -> CUChar -> State# s -> State# s

PrimBytes CShort

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CShort :: [Symbol]

Methods

getBytes :: CShort -> ByteArray#

getBytesPinned :: CShort -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CShort

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CShort #)

writeBytes :: MutableByteArray# s -> Int# -> CShort -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CShort #)

writeAddr :: CShort -> Addr# -> State# s -> State# s

byteSize :: CShort -> Int#

byteAlign :: CShort -> Int#

byteOffset :: CShort -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CShort), KnownSymbol name) => Proxy# name -> CShort -> Int#

indexArray :: ByteArray# -> Int# -> CShort

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CShort #)

writeArray :: MutableByteArray# s -> Int# -> CShort -> State# s -> State# s

PrimBytes CUShort

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CUShort :: [Symbol]

Methods

getBytes :: CUShort -> ByteArray#

getBytesPinned :: CUShort -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CUShort

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUShort #)

writeBytes :: MutableByteArray# s -> Int# -> CUShort -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CUShort #)

writeAddr :: CUShort -> Addr# -> State# s -> State# s

byteSize :: CUShort -> Int#

byteAlign :: CUShort -> Int#

byteOffset :: CUShort -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CUShort), KnownSymbol name) => Proxy# name -> CUShort -> Int#

indexArray :: ByteArray# -> Int# -> CUShort

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUShort #)

writeArray :: MutableByteArray# s -> Int# -> CUShort -> State# s -> State# s

PrimBytes CInt

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CInt :: [Symbol]

Methods

getBytes :: CInt -> ByteArray#

getBytesPinned :: CInt -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CInt

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CInt #)

writeBytes :: MutableByteArray# s -> Int# -> CInt -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CInt #)

writeAddr :: CInt -> Addr# -> State# s -> State# s

byteSize :: CInt -> Int#

byteAlign :: CInt -> Int#

byteOffset :: CInt -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CInt), KnownSymbol name) => Proxy# name -> CInt -> Int#

indexArray :: ByteArray# -> Int# -> CInt

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CInt #)

writeArray :: MutableByteArray# s -> Int# -> CInt -> State# s -> State# s

PrimBytes CUInt

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CUInt :: [Symbol]

Methods

getBytes :: CUInt -> ByteArray#

getBytesPinned :: CUInt -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CUInt

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUInt #)

writeBytes :: MutableByteArray# s -> Int# -> CUInt -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CUInt #)

writeAddr :: CUInt -> Addr# -> State# s -> State# s

byteSize :: CUInt -> Int#

byteAlign :: CUInt -> Int#

byteOffset :: CUInt -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CUInt), KnownSymbol name) => Proxy# name -> CUInt -> Int#

indexArray :: ByteArray# -> Int# -> CUInt

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUInt #)

writeArray :: MutableByteArray# s -> Int# -> CUInt -> State# s -> State# s

PrimBytes CLong

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CLong :: [Symbol]

Methods

getBytes :: CLong -> ByteArray#

getBytesPinned :: CLong -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CLong

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CLong #)

writeBytes :: MutableByteArray# s -> Int# -> CLong -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CLong #)

writeAddr :: CLong -> Addr# -> State# s -> State# s

byteSize :: CLong -> Int#

byteAlign :: CLong -> Int#

byteOffset :: CLong -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CLong), KnownSymbol name) => Proxy# name -> CLong -> Int#

indexArray :: ByteArray# -> Int# -> CLong

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CLong #)

writeArray :: MutableByteArray# s -> Int# -> CLong -> State# s -> State# s

PrimBytes CULong

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CULong :: [Symbol]

Methods

getBytes :: CULong -> ByteArray#

getBytesPinned :: CULong -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CULong

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CULong #)

writeBytes :: MutableByteArray# s -> Int# -> CULong -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CULong #)

writeAddr :: CULong -> Addr# -> State# s -> State# s

byteSize :: CULong -> Int#

byteAlign :: CULong -> Int#

byteOffset :: CULong -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CULong), KnownSymbol name) => Proxy# name -> CULong -> Int#

indexArray :: ByteArray# -> Int# -> CULong

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CULong #)

writeArray :: MutableByteArray# s -> Int# -> CULong -> State# s -> State# s

PrimBytes CLLong

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CLLong :: [Symbol]

Methods

getBytes :: CLLong -> ByteArray#

getBytesPinned :: CLLong -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CLLong

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CLLong #)

writeBytes :: MutableByteArray# s -> Int# -> CLLong -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CLLong #)

writeAddr :: CLLong -> Addr# -> State# s -> State# s

byteSize :: CLLong -> Int#

byteAlign :: CLLong -> Int#

byteOffset :: CLLong -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CLLong), KnownSymbol name) => Proxy# name -> CLLong -> Int#

indexArray :: ByteArray# -> Int# -> CLLong

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CLLong #)

writeArray :: MutableByteArray# s -> Int# -> CLLong -> State# s -> State# s

PrimBytes CULLong

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CULLong :: [Symbol]

Methods

getBytes :: CULLong -> ByteArray#

getBytesPinned :: CULLong -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CULLong

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CULLong #)

writeBytes :: MutableByteArray# s -> Int# -> CULLong -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CULLong #)

writeAddr :: CULLong -> Addr# -> State# s -> State# s

byteSize :: CULLong -> Int#

byteAlign :: CULLong -> Int#

byteOffset :: CULLong -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CULLong), KnownSymbol name) => Proxy# name -> CULLong -> Int#

indexArray :: ByteArray# -> Int# -> CULLong

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CULLong #)

writeArray :: MutableByteArray# s -> Int# -> CULLong -> State# s -> State# s

PrimBytes CBool

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CBool :: [Symbol]

Methods

getBytes :: CBool -> ByteArray#

getBytesPinned :: CBool -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CBool

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBool #)

writeBytes :: MutableByteArray# s -> Int# -> CBool -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CBool #)

writeAddr :: CBool -> Addr# -> State# s -> State# s

byteSize :: CBool -> Int#

byteAlign :: CBool -> Int#

byteOffset :: CBool -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CBool), KnownSymbol name) => Proxy# name -> CBool -> Int#

indexArray :: ByteArray# -> Int# -> CBool

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBool #)

writeArray :: MutableByteArray# s -> Int# -> CBool -> State# s -> State# s

PrimBytes CFloat

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CFloat :: [Symbol]

Methods

getBytes :: CFloat -> ByteArray#

getBytesPinned :: CFloat -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CFloat

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFloat #)

writeBytes :: MutableByteArray# s -> Int# -> CFloat -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CFloat #)

writeAddr :: CFloat -> Addr# -> State# s -> State# s

byteSize :: CFloat -> Int#

byteAlign :: CFloat -> Int#

byteOffset :: CFloat -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CFloat), KnownSymbol name) => Proxy# name -> CFloat -> Int#

indexArray :: ByteArray# -> Int# -> CFloat

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFloat #)

writeArray :: MutableByteArray# s -> Int# -> CFloat -> State# s -> State# s

PrimBytes CDouble

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CDouble :: [Symbol]

Methods

getBytes :: CDouble -> ByteArray#

getBytesPinned :: CDouble -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CDouble

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CDouble #)

writeBytes :: MutableByteArray# s -> Int# -> CDouble -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CDouble #)

writeAddr :: CDouble -> Addr# -> State# s -> State# s

byteSize :: CDouble -> Int#

byteAlign :: CDouble -> Int#

byteOffset :: CDouble -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CDouble), KnownSymbol name) => Proxy# name -> CDouble -> Int#

indexArray :: ByteArray# -> Int# -> CDouble

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CDouble #)

writeArray :: MutableByteArray# s -> Int# -> CDouble -> State# s -> State# s

PrimBytes CPtrdiff

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CPtrdiff :: [Symbol]

Methods

getBytes :: CPtrdiff -> ByteArray#

getBytesPinned :: CPtrdiff -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CPtrdiff

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CPtrdiff #)

writeBytes :: MutableByteArray# s -> Int# -> CPtrdiff -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CPtrdiff #)

writeAddr :: CPtrdiff -> Addr# -> State# s -> State# s

byteSize :: CPtrdiff -> Int#

byteAlign :: CPtrdiff -> Int#

byteOffset :: CPtrdiff -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CPtrdiff), KnownSymbol name) => Proxy# name -> CPtrdiff -> Int#

indexArray :: ByteArray# -> Int# -> CPtrdiff

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CPtrdiff #)

writeArray :: MutableByteArray# s -> Int# -> CPtrdiff -> State# s -> State# s

PrimBytes CSize

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CSize :: [Symbol]

Methods

getBytes :: CSize -> ByteArray#

getBytesPinned :: CSize -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CSize

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSize #)

writeBytes :: MutableByteArray# s -> Int# -> CSize -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CSize #)

writeAddr :: CSize -> Addr# -> State# s -> State# s

byteSize :: CSize -> Int#

byteAlign :: CSize -> Int#

byteOffset :: CSize -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CSize), KnownSymbol name) => Proxy# name -> CSize -> Int#

indexArray :: ByteArray# -> Int# -> CSize

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSize #)

writeArray :: MutableByteArray# s -> Int# -> CSize -> State# s -> State# s

PrimBytes CWchar

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CWchar :: [Symbol]

Methods

getBytes :: CWchar -> ByteArray#

getBytesPinned :: CWchar -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CWchar

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CWchar #)

writeBytes :: MutableByteArray# s -> Int# -> CWchar -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CWchar #)

writeAddr :: CWchar -> Addr# -> State# s -> State# s

byteSize :: CWchar -> Int#

byteAlign :: CWchar -> Int#

byteOffset :: CWchar -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CWchar), KnownSymbol name) => Proxy# name -> CWchar -> Int#

indexArray :: ByteArray# -> Int# -> CWchar

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CWchar #)

writeArray :: MutableByteArray# s -> Int# -> CWchar -> State# s -> State# s

PrimBytes CSigAtomic

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CSigAtomic :: [Symbol]

Methods

getBytes :: CSigAtomic -> ByteArray#

getBytesPinned :: CSigAtomic -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CSigAtomic

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSigAtomic #)

writeBytes :: MutableByteArray# s -> Int# -> CSigAtomic -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CSigAtomic #)

writeAddr :: CSigAtomic -> Addr# -> State# s -> State# s

byteSize :: CSigAtomic -> Int#

byteAlign :: CSigAtomic -> Int#

byteOffset :: CSigAtomic -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CSigAtomic), KnownSymbol name) => Proxy# name -> CSigAtomic -> Int#

indexArray :: ByteArray# -> Int# -> CSigAtomic

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSigAtomic #)

writeArray :: MutableByteArray# s -> Int# -> CSigAtomic -> State# s -> State# s

PrimBytes CClock

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CClock :: [Symbol]

Methods

getBytes :: CClock -> ByteArray#

getBytesPinned :: CClock -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CClock

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CClock #)

writeBytes :: MutableByteArray# s -> Int# -> CClock -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CClock #)

writeAddr :: CClock -> Addr# -> State# s -> State# s

byteSize :: CClock -> Int#

byteAlign :: CClock -> Int#

byteOffset :: CClock -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CClock), KnownSymbol name) => Proxy# name -> CClock -> Int#

indexArray :: ByteArray# -> Int# -> CClock

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CClock #)

writeArray :: MutableByteArray# s -> Int# -> CClock -> State# s -> State# s

PrimBytes CTime

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CTime :: [Symbol]

Methods

getBytes :: CTime -> ByteArray#

getBytesPinned :: CTime -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CTime

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTime #)

writeBytes :: MutableByteArray# s -> Int# -> CTime -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CTime #)

writeAddr :: CTime -> Addr# -> State# s -> State# s

byteSize :: CTime -> Int#

byteAlign :: CTime -> Int#

byteOffset :: CTime -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CTime), KnownSymbol name) => Proxy# name -> CTime -> Int#

indexArray :: ByteArray# -> Int# -> CTime

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTime #)

writeArray :: MutableByteArray# s -> Int# -> CTime -> State# s -> State# s

PrimBytes CUSeconds

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CUSeconds :: [Symbol]

Methods

getBytes :: CUSeconds -> ByteArray#

getBytesPinned :: CUSeconds -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CUSeconds

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUSeconds #)

writeBytes :: MutableByteArray# s -> Int# -> CUSeconds -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CUSeconds #)

writeAddr :: CUSeconds -> Addr# -> State# s -> State# s

byteSize :: CUSeconds -> Int#

byteAlign :: CUSeconds -> Int#

byteOffset :: CUSeconds -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CUSeconds), KnownSymbol name) => Proxy# name -> CUSeconds -> Int#

indexArray :: ByteArray# -> Int# -> CUSeconds

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUSeconds #)

writeArray :: MutableByteArray# s -> Int# -> CUSeconds -> State# s -> State# s

PrimBytes CSUSeconds

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CSUSeconds :: [Symbol]

Methods

getBytes :: CSUSeconds -> ByteArray#

getBytesPinned :: CSUSeconds -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CSUSeconds

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSUSeconds #)

writeBytes :: MutableByteArray# s -> Int# -> CSUSeconds -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CSUSeconds #)

writeAddr :: CSUSeconds -> Addr# -> State# s -> State# s

byteSize :: CSUSeconds -> Int#

byteAlign :: CSUSeconds -> Int#

byteOffset :: CSUSeconds -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CSUSeconds), KnownSymbol name) => Proxy# name -> CSUSeconds -> Int#

indexArray :: ByteArray# -> Int# -> CSUSeconds

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSUSeconds #)

writeArray :: MutableByteArray# s -> Int# -> CSUSeconds -> State# s -> State# s

PrimBytes CIntPtr

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CIntPtr :: [Symbol]

Methods

getBytes :: CIntPtr -> ByteArray#

getBytesPinned :: CIntPtr -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CIntPtr

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIntPtr #)

writeBytes :: MutableByteArray# s -> Int# -> CIntPtr -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CIntPtr #)

writeAddr :: CIntPtr -> Addr# -> State# s -> State# s

byteSize :: CIntPtr -> Int#

byteAlign :: CIntPtr -> Int#

byteOffset :: CIntPtr -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CIntPtr), KnownSymbol name) => Proxy# name -> CIntPtr -> Int#

indexArray :: ByteArray# -> Int# -> CIntPtr

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIntPtr #)

writeArray :: MutableByteArray# s -> Int# -> CIntPtr -> State# s -> State# s

PrimBytes CUIntPtr

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CUIntPtr :: [Symbol]

Methods

getBytes :: CUIntPtr -> ByteArray#

getBytesPinned :: CUIntPtr -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CUIntPtr

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUIntPtr #)

writeBytes :: MutableByteArray# s -> Int# -> CUIntPtr -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CUIntPtr #)

writeAddr :: CUIntPtr -> Addr# -> State# s -> State# s

byteSize :: CUIntPtr -> Int#

byteAlign :: CUIntPtr -> Int#

byteOffset :: CUIntPtr -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CUIntPtr), KnownSymbol name) => Proxy# name -> CUIntPtr -> Int#

indexArray :: ByteArray# -> Int# -> CUIntPtr

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUIntPtr #)

writeArray :: MutableByteArray# s -> Int# -> CUIntPtr -> State# s -> State# s

PrimBytes CIntMax

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CIntMax :: [Symbol]

Methods

getBytes :: CIntMax -> ByteArray#

getBytesPinned :: CIntMax -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CIntMax

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIntMax #)

writeBytes :: MutableByteArray# s -> Int# -> CIntMax -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CIntMax #)

writeAddr :: CIntMax -> Addr# -> State# s -> State# s

byteSize :: CIntMax -> Int#

byteAlign :: CIntMax -> Int#

byteOffset :: CIntMax -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CIntMax), KnownSymbol name) => Proxy# name -> CIntMax -> Int#

indexArray :: ByteArray# -> Int# -> CIntMax

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CIntMax #)

writeArray :: MutableByteArray# s -> Int# -> CIntMax -> State# s -> State# s

PrimBytes CUIntMax

Defined in Numeric.PrimBytes

Associated Types

type PrimFields CUIntMax :: [Symbol]

Methods

getBytes :: CUIntMax -> ByteArray#

getBytesPinned :: CUIntMax -> ByteArray#

fromBytes :: Int# -> ByteArray# -> CUIntMax

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUIntMax #)

writeBytes :: MutableByteArray# s -> Int# -> CUIntMax -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, CUIntMax #)

writeAddr :: CUIntMax -> Addr# -> State# s -> State# s

byteSize :: CUIntMax -> Int#

byteAlign :: CUIntMax -> Int#

byteOffset :: CUIntMax -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields CUIntMax), KnownSymbol name) => Proxy# name -> CUIntMax -> Int#

indexArray :: ByteArray# -> Int# -> CUIntMax

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUIntMax #)

writeArray :: MutableByteArray# s -> Int# -> CUIntMax -> State# s -> State# s

PrimBytes a => PrimBytes (Maybe a)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Maybe a) :: [Symbol]

Methods

getBytes :: Maybe a -> ByteArray#

getBytesPinned :: Maybe a -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Maybe a

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Maybe a #)

writeBytes :: MutableByteArray# s -> Int# -> Maybe a -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Maybe a #)

writeAddr :: Maybe a -> Addr# -> State# s -> State# s

byteSize :: Maybe a -> Int#

byteAlign :: Maybe a -> Int#

byteOffset :: Maybe a -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Maybe a)), KnownSymbol name) => Proxy# name -> Maybe a -> Int#

indexArray :: ByteArray# -> Int# -> Maybe a

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Maybe a #)

writeArray :: MutableByteArray# s -> Int# -> Maybe a -> State# s -> State# s

PrimBytes (StablePtr a)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (StablePtr a) :: [Symbol]

Methods

getBytes :: StablePtr a -> ByteArray#

getBytesPinned :: StablePtr a -> ByteArray#

fromBytes :: Int# -> ByteArray# -> StablePtr a

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, StablePtr a #)

writeBytes :: MutableByteArray# s -> Int# -> StablePtr a -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, StablePtr a #)

writeAddr :: StablePtr a -> Addr# -> State# s -> State# s

byteSize :: StablePtr a -> Int#

byteAlign :: StablePtr a -> Int#

byteOffset :: StablePtr a -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (StablePtr a)), KnownSymbol name) => Proxy# name -> StablePtr a -> Int#

indexArray :: ByteArray# -> Int# -> StablePtr a

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, StablePtr a #)

writeArray :: MutableByteArray# s -> Int# -> StablePtr a -> State# s -> State# s

PrimBytes (Ptr a)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Ptr a) :: [Symbol]

Methods

getBytes :: Ptr a -> ByteArray#

getBytesPinned :: Ptr a -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Ptr a

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Ptr a #)

writeBytes :: MutableByteArray# s -> Int# -> Ptr a -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Ptr a #)

writeAddr :: Ptr a -> Addr# -> State# s -> State# s

byteSize :: Ptr a -> Int#

byteAlign :: Ptr a -> Int#

byteOffset :: Ptr a -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Ptr a)), KnownSymbol name) => Proxy# name -> Ptr a -> Int#

indexArray :: ByteArray# -> Int# -> Ptr a

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Ptr a #)

writeArray :: MutableByteArray# s -> Int# -> Ptr a -> State# s -> State# s

PrimBytes (FunPtr a)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (FunPtr a) :: [Symbol]

Methods

getBytes :: FunPtr a -> ByteArray#

getBytesPinned :: FunPtr a -> ByteArray#

fromBytes :: Int# -> ByteArray# -> FunPtr a

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, FunPtr a #)

writeBytes :: MutableByteArray# s -> Int# -> FunPtr a -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, FunPtr a #)

writeAddr :: FunPtr a -> Addr# -> State# s -> State# s

byteSize :: FunPtr a -> Int#

byteAlign :: FunPtr a -> Int#

byteOffset :: FunPtr a -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (FunPtr a)), KnownSymbol name) => Proxy# name -> FunPtr a -> Int#

indexArray :: ByteArray# -> Int# -> FunPtr a

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, FunPtr a #)

writeArray :: MutableByteArray# s -> Int# -> FunPtr a -> State# s -> State# s

(RepresentableList xs, All PrimBytes xs) => PrimBytes (Tuple xs)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Tuple xs) :: [Symbol]

Methods

getBytes :: Tuple xs -> ByteArray#

getBytesPinned :: Tuple xs -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Tuple xs

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Tuple xs #)

writeBytes :: MutableByteArray# s -> Int# -> Tuple xs -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Tuple xs #)

writeAddr :: Tuple xs -> Addr# -> State# s -> State# s

byteSize :: Tuple xs -> Int#

byteAlign :: Tuple xs -> Int#

byteOffset :: Tuple xs -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Tuple xs)), KnownSymbol name) => Proxy# name -> Tuple xs -> Int#

indexArray :: ByteArray# -> Int# -> Tuple xs

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Tuple xs #)

writeArray :: MutableByteArray# s -> Int# -> Tuple xs -> State# s -> State# s

(RepresentableList xs, All PrimBytes xs) => PrimBytes (Tuple xs)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Tuple xs) :: [Symbol]

Methods

getBytes :: Tuple xs -> ByteArray#

getBytesPinned :: Tuple xs -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Tuple xs

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Tuple xs #)

writeBytes :: MutableByteArray# s -> Int# -> Tuple xs -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Tuple xs #)

writeAddr :: Tuple xs -> Addr# -> State# s -> State# s

byteSize :: Tuple xs -> Int#

byteAlign :: Tuple xs -> Int#

byteOffset :: Tuple xs -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Tuple xs)), KnownSymbol name) => Proxy# name -> Tuple xs -> Int#

indexArray :: ByteArray# -> Int# -> Tuple xs

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Tuple xs #)

writeArray :: MutableByteArray# s -> Int# -> Tuple xs -> State# s -> State# s

PrimBytes (Quater Double)

Defined in Numeric.Quaternion.Internal.QDouble

Associated Types

type PrimFields (Quater Double) :: [Symbol]

Methods

getBytes :: Quater Double -> ByteArray#

getBytesPinned :: Quater Double -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Quater Double

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Quater Double #)

writeBytes :: MutableByteArray# s -> Int# -> Quater Double -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Quater Double #)

writeAddr :: Quater Double -> Addr# -> State# s -> State# s

byteSize :: Quater Double -> Int#

byteAlign :: Quater Double -> Int#

byteOffset :: Quater Double -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Quater Double)), KnownSymbol name) => Proxy# name -> Quater Double -> Int#

indexArray :: ByteArray# -> Int# -> Quater Double

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Quater Double #)

writeArray :: MutableByteArray# s -> Int# -> Quater Double -> State# s -> State# s

PrimBytes (Quater Float)

Defined in Numeric.Quaternion.Internal.QFloat

Associated Types

type PrimFields (Quater Float) :: [Symbol]

Methods

getBytes :: Quater Float -> ByteArray#

getBytesPinned :: Quater Float -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Quater Float

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Quater Float #)

writeBytes :: MutableByteArray# s -> Int# -> Quater Float -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Quater Float #)

writeAddr :: Quater Float -> Addr# -> State# s -> State# s

byteSize :: Quater Float -> Int#

byteAlign :: Quater Float -> Int#

byteOffset :: Quater Float -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Quater Float)), KnownSymbol name) => Proxy# name -> Quater Float -> Int#

indexArray :: ByteArray# -> Int# -> Quater Float

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Quater Float #)

writeArray :: MutableByteArray# s -> Int# -> Quater Float -> State# s -> State# s

(PrimBytes a, PrimBytes b) => PrimBytes (Either a b)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Either a b) :: [Symbol]

Methods

getBytes :: Either a b -> ByteArray#

getBytesPinned :: Either a b -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Either a b

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Either a b #)

writeBytes :: MutableByteArray# s -> Int# -> Either a b -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Either a b #)

writeAddr :: Either a b -> Addr# -> State# s -> State# s

byteSize :: Either a b -> Int#

byteAlign :: Either a b -> Int#

byteOffset :: Either a b -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Either a b)), KnownSymbol name) => Proxy# name -> Either a b -> Int#

indexArray :: ByteArray# -> Int# -> Either a b

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Either a b #)

writeArray :: MutableByteArray# s -> Int# -> Either a b -> State# s -> State# s

(PrimBytes a, PrimBytes b) => PrimBytes (a, b)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (a, b) :: [Symbol]

Methods

getBytes :: (a, b) -> ByteArray#

getBytesPinned :: (a, b) -> ByteArray#

fromBytes :: Int# -> ByteArray# -> (a, b)

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b) #)

writeBytes :: MutableByteArray# s -> Int# -> (a, b) -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, (a, b) #)

writeAddr :: (a, b) -> Addr# -> State# s -> State# s

byteSize :: (a, b) -> Int#

byteAlign :: (a, b) -> Int#

byteOffset :: (a, b) -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (a, b)), KnownSymbol name) => Proxy# name -> (a, b) -> Int#

indexArray :: ByteArray# -> Int# -> (a, b)

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b) #)

writeArray :: MutableByteArray# s -> Int# -> (a, b) -> State# s -> State# s

PrimBytes (Idx x)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Idx x) :: [Symbol]

Methods

getBytes :: Idx x -> ByteArray#

getBytesPinned :: Idx x -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Idx x

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Idx x #)

writeBytes :: MutableByteArray# s -> Int# -> Idx x -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Idx x #)

writeAddr :: Idx x -> Addr# -> State# s -> State# s

byteSize :: Idx x -> Int#

byteAlign :: Idx x -> Int#

byteOffset :: Idx x -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Idx x)), KnownSymbol name) => Proxy# name -> Idx x -> Int#

indexArray :: ByteArray# -> Int# -> Idx x

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Idx x #)

writeArray :: MutableByteArray# s -> Int# -> Idx x -> State# s -> State# s

RepresentableList xs => PrimBytes (Idxs xs)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (Idxs xs) :: [Symbol]

Methods

getBytes :: Idxs xs -> ByteArray#

getBytesPinned :: Idxs xs -> ByteArray#

fromBytes :: Int# -> ByteArray# -> Idxs xs

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Idxs xs #)

writeBytes :: MutableByteArray# s -> Int# -> Idxs xs -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, Idxs xs #)

writeAddr :: Idxs xs -> Addr# -> State# s -> State# s

byteSize :: Idxs xs -> Int#

byteAlign :: Idxs xs -> Int#

byteOffset :: Idxs xs -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (Idxs xs)), KnownSymbol name) => Proxy# name -> Idxs xs -> Int#

indexArray :: ByteArray# -> Int# -> Idxs xs

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Idxs xs #)

writeArray :: MutableByteArray# s -> Int# -> Idxs xs -> State# s -> State# s

(PrimBytes a, PrimBytes b, PrimBytes c) => PrimBytes (a, b, c)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (a, b, c) :: [Symbol]

Methods

getBytes :: (a, b, c) -> ByteArray#

getBytesPinned :: (a, b, c) -> ByteArray#

fromBytes :: Int# -> ByteArray# -> (a, b, c)

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c) #)

writeBytes :: MutableByteArray# s -> Int# -> (a, b, c) -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, (a, b, c) #)

writeAddr :: (a, b, c) -> Addr# -> State# s -> State# s

byteSize :: (a, b, c) -> Int#

byteAlign :: (a, b, c) -> Int#

byteOffset :: (a, b, c) -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (a, b, c)), KnownSymbol name) => Proxy# name -> (a, b, c) -> Int#

indexArray :: ByteArray# -> Int# -> (a, b, c)

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c) #)

writeArray :: MutableByteArray# s -> Int# -> (a, b, c) -> State# s -> State# s

(PrimBytes a, PrimBytes b, PrimBytes c, PrimBytes d) => PrimBytes (a, b, c, d)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (a, b, c, d) :: [Symbol]

Methods

getBytes :: (a, b, c, d) -> ByteArray#

getBytesPinned :: (a, b, c, d) -> ByteArray#

fromBytes :: Int# -> ByteArray# -> (a, b, c, d)

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d) #)

writeBytes :: MutableByteArray# s -> Int# -> (a, b, c, d) -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, (a, b, c, d) #)

writeAddr :: (a, b, c, d) -> Addr# -> State# s -> State# s

byteSize :: (a, b, c, d) -> Int#

byteAlign :: (a, b, c, d) -> Int#

byteOffset :: (a, b, c, d) -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (a, b, c, d)), KnownSymbol name) => Proxy# name -> (a, b, c, d) -> Int#

indexArray :: ByteArray# -> Int# -> (a, b, c, d)

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d) #)

writeArray :: MutableByteArray# s -> Int# -> (a, b, c, d) -> State# s -> State# s

PrimBytes (DFBackend t ds) => PrimBytes (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Associated Types

type PrimFields (DataFrame t ds) :: [Symbol]

Methods

getBytes :: DataFrame t ds -> ByteArray#

getBytesPinned :: DataFrame t ds -> ByteArray#

fromBytes :: Int# -> ByteArray# -> DataFrame t ds

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame t ds #)

writeBytes :: MutableByteArray# s -> Int# -> DataFrame t ds -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, DataFrame t ds #)

writeAddr :: DataFrame t ds -> Addr# -> State# s -> State# s

byteSize :: DataFrame t ds -> Int#

byteAlign :: DataFrame t ds -> Int#

byteOffset :: DataFrame t ds -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (DataFrame t ds)), KnownSymbol name) => Proxy# name -> DataFrame t ds -> Int#

indexArray :: ByteArray# -> Int# -> DataFrame t ds

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame t ds #)

writeArray :: MutableByteArray# s -> Int# -> DataFrame t ds -> State# s -> State# s

(Dimensions xns, KnownBackends ts (DimsBound xns), PrimBytes (DataFrame ts (DimsBound xns))) => PrimBytes (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Associated Types

type PrimFields (DataFrame ts xns) :: [Symbol]

Methods

getBytes :: DataFrame ts xns -> ByteArray#

getBytesPinned :: DataFrame ts xns -> ByteArray#

fromBytes :: Int# -> ByteArray# -> DataFrame ts xns

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame ts xns #)

writeBytes :: MutableByteArray# s -> Int# -> DataFrame ts xns -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, DataFrame ts xns #)

writeAddr :: DataFrame ts xns -> Addr# -> State# s -> State# s

byteSize :: DataFrame ts xns -> Int#

byteAlign :: DataFrame ts xns -> Int#

byteOffset :: DataFrame ts xns -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (DataFrame ts xns)), KnownSymbol name) => Proxy# name -> DataFrame ts xns -> Int#

indexArray :: ByteArray# -> Int# -> DataFrame ts xns

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame ts xns #)

writeArray :: MutableByteArray# s -> Int# -> DataFrame ts xns -> State# s -> State# s

(PrimBytes a, PrimBytes b, PrimBytes c, PrimBytes d, PrimBytes e) => PrimBytes (a, b, c, d, e)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (a, b, c, d, e) :: [Symbol]

Methods

getBytes :: (a, b, c, d, e) -> ByteArray#

getBytesPinned :: (a, b, c, d, e) -> ByteArray#

fromBytes :: Int# -> ByteArray# -> (a, b, c, d, e)

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d, e) #)

writeBytes :: MutableByteArray# s -> Int# -> (a, b, c, d, e) -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, (a, b, c, d, e) #)

writeAddr :: (a, b, c, d, e) -> Addr# -> State# s -> State# s

byteSize :: (a, b, c, d, e) -> Int#

byteAlign :: (a, b, c, d, e) -> Int#

byteOffset :: (a, b, c, d, e) -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (a, b, c, d, e)), KnownSymbol name) => Proxy# name -> (a, b, c, d, e) -> Int#

indexArray :: ByteArray# -> Int# -> (a, b, c, d, e)

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d, e) #)

writeArray :: MutableByteArray# s -> Int# -> (a, b, c, d, e) -> State# s -> State# s

(PrimBytes a, PrimBytes b, PrimBytes c, PrimBytes d, PrimBytes e, PrimBytes f) => PrimBytes (a, b, c, d, e, f)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (a, b, c, d, e, f) :: [Symbol]

Methods

getBytes :: (a, b, c, d, e, f) -> ByteArray#

getBytesPinned :: (a, b, c, d, e, f) -> ByteArray#

fromBytes :: Int# -> ByteArray# -> (a, b, c, d, e, f)

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d, e, f) #)

writeBytes :: MutableByteArray# s -> Int# -> (a, b, c, d, e, f) -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, (a, b, c, d, e, f) #)

writeAddr :: (a, b, c, d, e, f) -> Addr# -> State# s -> State# s

byteSize :: (a, b, c, d, e, f) -> Int#

byteAlign :: (a, b, c, d, e, f) -> Int#

byteOffset :: (a, b, c, d, e, f) -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (a, b, c, d, e, f)), KnownSymbol name) => Proxy# name -> (a, b, c, d, e, f) -> Int#

indexArray :: ByteArray# -> Int# -> (a, b, c, d, e, f)

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d, e, f) #)

writeArray :: MutableByteArray# s -> Int# -> (a, b, c, d, e, f) -> State# s -> State# s

(PrimBytes a, PrimBytes b, PrimBytes c, PrimBytes d, PrimBytes e, PrimBytes f, PrimBytes g) => PrimBytes (a, b, c, d, e, f, g)

Defined in Numeric.PrimBytes

Associated Types

type PrimFields (a, b, c, d, e, f, g) :: [Symbol]

Methods

getBytes :: (a, b, c, d, e, f, g) -> ByteArray#

getBytesPinned :: (a, b, c, d, e, f, g) -> ByteArray#

fromBytes :: Int# -> ByteArray# -> (a, b, c, d, e, f, g)

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d, e, f, g) #)

writeBytes :: MutableByteArray# s -> Int# -> (a, b, c, d, e, f, g) -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, (a, b, c, d, e, f, g) #)

writeAddr :: (a, b, c, d, e, f, g) -> Addr# -> State# s -> State# s

byteSize :: (a, b, c, d, e, f, g) -> Int#

byteAlign :: (a, b, c, d, e, f, g) -> Int#

byteOffset :: (a, b, c, d, e, f, g) -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (a, b, c, d, e, f, g)), KnownSymbol name) => Proxy# name -> (a, b, c, d, e, f, g) -> Int#

indexArray :: ByteArray# -> Int# -> (a, b, c, d, e, f, g)

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, (a, b, c, d, e, f, g) #)

writeArray :: MutableByteArray# s -> Int# -> (a, b, c, d, e, f, g) -> State# s -> State# s

bSizeOf :: (PrimBytes a, Num b) => a -> b

A wrapper on byteSize

bAlignOf :: (PrimBytes a, Num b) => a -> b

A wrapper on byteAlign

bFieldOffsetOf :: forall (name :: Symbol) (a :: Type) (b :: Type). (PrimBytes a, Elem name (PrimFields a), KnownSymbol name, Num b) => a -> b

A wrapper on byteFieldOffset.

Storable API

Storable can be defined in terms of PrimBytes by doing something like the following for your data type:

  instance PrimBytes a => Storable a where
      sizeOf = bSizeOf
      alignment = bAlignOf
      peekElemOff = bPeekElemOff
      pokeElemOff = bPokeElemOff
      peekByteOff = bPeekByteOff
      pokeByteOff = bPokeByteOff
      peek = bPeek
      poke = bPoke

bPeekElemOff :: forall (a :: Type). PrimBytes a => Ptr a -> Int -> IO a

Same as peekElemOff: peek an element a by the offset measured in byteSize a.

Note: the size of the element must be a multiple of its alignment for a correct operation of this function.

bPokeElemOff :: forall (a :: Type). PrimBytes a => Ptr a -> Int -> a -> IO ()

Same as pokeElemOff: poke an element a by the offset measured in byteSize a.

Note: the size of the element must be a multiple of its alignment for a correct operation of this function.

bPeekByteOff :: forall (a :: Type) (b :: Type). PrimBytes a => Ptr b -> Int -> IO a

Same as peekByteOff: peek an element a by the offset measured in bytes.

Note: you'd better be sure the address is a multiple of the data alignment (peek).

bPokeByteOff :: forall (a :: Type) (b :: Type). PrimBytes a => Ptr b -> Int -> a -> IO ()

Same as pokeByteOff: poke an element a by the offset measured in bytes.

Note: you'd better be sure the address is a multiple of the data alignment (peek).

bPeek :: forall (a :: Type). PrimBytes a => Ptr a -> IO a

Same as peek: read a data from a pointer.

Note: you'd better be sure the address is a multiple of the data alignment (peek).

bPoke :: forall (a :: Type). PrimBytes a => Ptr a -> a -> IO ()

Same as poke: write a data to a pointer.

Note: you'd better be sure the address is a multiple of the data alignment (peek).

Specialization tools

data PrimTag a where

Find out which basic GHC type it is at runtime. It is used for DataFrame backend specialization: by matching a PrimTag a against its constructors, you can figure out a specific implementation of Backend a ds (e.g. whether this is a specialized float array, or a generic polymorphic array). For non-basic types it defaults to PTagOther.

Constructors

PTagFloat :: PrimTag Float

PTagDouble :: PrimTag Double

PTagInt :: PrimTag Int

PTagInt8 :: PrimTag Int8

PTagInt16 :: PrimTag Int16

PTagInt32 :: PrimTag Int32

PTagInt64 :: PrimTag Int64

PTagWord :: PrimTag Word

PTagWord8 :: PrimTag Word8

PTagWord16 :: PrimTag Word16

PTagWord32 :: PrimTag Word32

PTagWord64 :: PrimTag Word64

PTagChar :: PrimTag Char

PTagPtr :: PrimTag (Ptr a)

PTagOther :: PrimTag a

Instances

Show (PrimTag a)

Defined in Numeric.PrimBytes

Methods

showsPrec :: Int -> PrimTag a -> ShowS

show :: PrimTag a -> String

showList :: [PrimTag a] -> ShowS

primTag :: PrimBytes a => a -> PrimTag a

This function allows to find out a type by comparing its tag. This is needed for backend specialization, to infer array instances. For non-basic types it defaults to PTagOther.