Numeric.Commons

Documentation

type family ElemRep a :: RuntimeRep

Instances

type ElemRep Double

type ElemRep Double = DoubleRep

type ElemRep Float

type ElemRep Float = FloatRep

type ElemRep Int

type ElemRep Int = IntRep

type ElemRep Int8

type ElemRep Int8 = IntRep

type ElemRep Int16

type ElemRep Int16 = IntRep

type ElemRep Int32

type ElemRep Int32 = IntRep

type ElemRep Int64

type ElemRep Int64 = IntRep

type ElemRep Word

type ElemRep Word = WordRep

type ElemRep Word8

type ElemRep Word8 = WordRep

type ElemRep Word16

type ElemRep Word16 = WordRep

type ElemRep Word32

type ElemRep Word32 = WordRep

type ElemRep Word64

type ElemRep Word64 = WordRep

type ElemRep (DataFrame Nat t xs)

type ElemRep (DataFrame Nat t xs)

type family ElemPrim a :: TYPE (r :: RuntimeRep)

Instances

type ElemPrim IntRep Int

type ElemPrim IntRep Int = Int#

type ElemPrim IntRep Int8

type ElemPrim IntRep Int8 = Int#

type ElemPrim IntRep Int16

type ElemPrim IntRep Int16 = Int#

type ElemPrim IntRep Int32

type ElemPrim IntRep Int32 = Int#

type ElemPrim IntRep Int64

type ElemPrim IntRep Int64 = Int#

type ElemPrim WordRep Word

type ElemPrim WordRep Word = Word#

type ElemPrim WordRep Word8

type ElemPrim WordRep Word8 = Word#

type ElemPrim WordRep Word16

type ElemPrim WordRep Word16 = Word#

type ElemPrim WordRep Word32

type ElemPrim WordRep Word32 = Word#

type ElemPrim WordRep Word64

type ElemPrim WordRep Word64 = Word#

type ElemPrim FloatRep Float

type ElemPrim FloatRep Float = Float#

type ElemPrim DoubleRep Double

type ElemPrim DoubleRep Double = Double#

type ElemPrim IntRep (DataFrame k Int64 ds)

type ElemPrim IntRep (DataFrame k Int64 ds) = Int#

type ElemPrim IntRep (DataFrame k Int32 ds)

type ElemPrim IntRep (DataFrame k Int32 ds) = Int#

type ElemPrim IntRep (DataFrame k Int16 ds)

type ElemPrim IntRep (DataFrame k Int16 ds) = Int#

type ElemPrim IntRep (DataFrame k Int8 ds)

type ElemPrim IntRep (DataFrame k Int8 ds) = Int#

type ElemPrim IntRep (DataFrame k Int ds)

type ElemPrim IntRep (DataFrame k Int ds) = Int#

type ElemPrim WordRep (DataFrame k Word64 ds)

type ElemPrim WordRep (DataFrame k Word64 ds) = Word#

type ElemPrim WordRep (DataFrame k Word32 ds)

type ElemPrim WordRep (DataFrame k Word32 ds) = Word#

type ElemPrim WordRep (DataFrame k Word16 ds)

type ElemPrim WordRep (DataFrame k Word16 ds) = Word#

type ElemPrim WordRep (DataFrame k Word8 ds)

type ElemPrim WordRep (DataFrame k Word8 ds) = Word#

type ElemPrim WordRep (DataFrame k Word ds)

type ElemPrim WordRep (DataFrame k Word ds) = Word#

type ElemPrim FloatRep (DataFrame k Float ds)

type ElemPrim FloatRep (DataFrame k Float ds) = Float#

type ElemPrim DoubleRep (DataFrame k Double ds)

type ElemPrim DoubleRep (DataFrame k Double ds) = Double#

class PrimBytes a where

Facilities to convert to and from raw byte array. Warning! offsets and sizes are in elements, not in bytes! Therefore one must be really carefull if having a crazy idea of converting between types of different element sizes.

Minimal complete definition

toBytes, fromBytes, byteSize, byteAlign, elementByteSize, ix

Methods

toBytes :: a -> (#Int#, Int#, ByteArray##)

Store content of a data type in a primitive byte array (ElementOffset, NumberOfElements, ByteArrayContent )

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

Load content of a data type from a primitive byte array (ElementOffset, NumberOfElements, ByteArrayContent )

byteSize :: a -> Int#

Size of a data type in bytes

byteAlign :: a -> Int#

Alignment of a data type in bytes

elementByteSize :: a -> Int#

Size of a conainer type elements in bytes

ix :: Int# -> a -> (ElemPrim a :: TYPE (ElemRep a))

Primitive indexing

Instances

PrimBytes Double

Methods

toBytes :: Double -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Double

byteSize :: Double -> Int#

byteAlign :: Double -> Int#

elementByteSize :: Double -> Int#

ix :: Int# -> Double -> ElemPrim (ElemRep Double) Double

PrimBytes Float

Methods

toBytes :: Float -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Float

byteSize :: Float -> Int#

byteAlign :: Float -> Int#

elementByteSize :: Float -> Int#

ix :: Int# -> Float -> ElemPrim (ElemRep Float) Float

PrimBytes Int

Methods

toBytes :: Int -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Int

byteSize :: Int -> Int#

byteAlign :: Int -> Int#

elementByteSize :: Int -> Int#

ix :: Int# -> Int -> ElemPrim (ElemRep Int) Int

PrimBytes Int8

Methods

toBytes :: Int8 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Int8

byteSize :: Int8 -> Int#

byteAlign :: Int8 -> Int#

elementByteSize :: Int8 -> Int#

ix :: Int# -> Int8 -> ElemPrim (ElemRep Int8) Int8

PrimBytes Int16

Methods

toBytes :: Int16 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Int16

byteSize :: Int16 -> Int#

byteAlign :: Int16 -> Int#

elementByteSize :: Int16 -> Int#

ix :: Int# -> Int16 -> ElemPrim (ElemRep Int16) Int16

PrimBytes Int32

Methods

toBytes :: Int32 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Int32

byteSize :: Int32 -> Int#

byteAlign :: Int32 -> Int#

elementByteSize :: Int32 -> Int#

ix :: Int# -> Int32 -> ElemPrim (ElemRep Int32) Int32

PrimBytes Int64

Methods

toBytes :: Int64 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Int64

byteSize :: Int64 -> Int#

byteAlign :: Int64 -> Int#

elementByteSize :: Int64 -> Int#

ix :: Int# -> Int64 -> ElemPrim (ElemRep Int64) Int64

PrimBytes Word

Methods

toBytes :: Word -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Word

byteSize :: Word -> Int#

byteAlign :: Word -> Int#

elementByteSize :: Word -> Int#

ix :: Int# -> Word -> ElemPrim (ElemRep Word) Word

PrimBytes Word8

Methods

toBytes :: Word8 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Word8

byteSize :: Word8 -> Int#

byteAlign :: Word8 -> Int#

elementByteSize :: Word8 -> Int#

ix :: Int# -> Word8 -> ElemPrim (ElemRep Word8) Word8

PrimBytes Word16

Methods

toBytes :: Word16 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Word16

byteSize :: Word16 -> Int#

byteAlign :: Word16 -> Int#

elementByteSize :: Word16 -> Int#

ix :: Int# -> Word16 -> ElemPrim (ElemRep Word16) Word16

PrimBytes Word32

Methods

toBytes :: Word32 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Word32

byteSize :: Word32 -> Int#

byteAlign :: Word32 -> Int#

elementByteSize :: Word32 -> Int#

ix :: Int# -> Word32 -> ElemPrim (ElemRep Word32) Word32

PrimBytes Word64

Methods

toBytes :: Word64 -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> Word64

byteSize :: Word64 -> Int#

byteAlign :: Word64 -> Int#

elementByteSize :: Word64 -> Int#

ix :: Int# -> Word64 -> ElemPrim (ElemRep Word64) Word64

(PrimBytes (Array Double ds), (~) (TYPE DoubleRep) (ElemPrim DoubleRep (Array Double ds)) Double#, (~) RuntimeRep (ElemRep (Array Double ds)) DoubleRep) => PrimBytes (DataFrame Nat Double ds)

Methods

toBytes :: DataFrame Nat Double ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Double ds

byteSize :: DataFrame Nat Double ds -> Int#

byteAlign :: DataFrame Nat Double ds -> Int#

elementByteSize :: DataFrame Nat Double ds -> Int#

ix :: Int# -> DataFrame Nat Double ds -> ElemPrim (ElemRep (DataFrame Nat Double ds)) (DataFrame Nat Double ds)

(PrimBytes (Array Float ds), (~) (TYPE FloatRep) (ElemPrim FloatRep (Array Float ds)) Float#, (~) RuntimeRep (ElemRep (Array Float ds)) FloatRep) => PrimBytes (DataFrame Nat Float ds)

Methods

toBytes :: DataFrame Nat Float ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Float ds

byteSize :: DataFrame Nat Float ds -> Int#

byteAlign :: DataFrame Nat Float ds -> Int#

elementByteSize :: DataFrame Nat Float ds -> Int#

ix :: Int# -> DataFrame Nat Float ds -> ElemPrim (ElemRep (DataFrame Nat Float ds)) (DataFrame Nat Float ds)

(PrimBytes (Array Int ds), (~) (TYPE IntRep) (ElemPrim IntRep (Array Int ds)) Int#, (~) RuntimeRep (ElemRep (Array Int ds)) IntRep) => PrimBytes (DataFrame Nat Int ds)

Methods

toBytes :: DataFrame Nat Int ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Int ds

byteSize :: DataFrame Nat Int ds -> Int#

byteAlign :: DataFrame Nat Int ds -> Int#

elementByteSize :: DataFrame Nat Int ds -> Int#

ix :: Int# -> DataFrame Nat Int ds -> ElemPrim (ElemRep (DataFrame Nat Int ds)) (DataFrame Nat Int ds)

(PrimBytes (Array Int8 ds), (~) (TYPE IntRep) (ElemPrim IntRep (Array Int8 ds)) Int#, (~) RuntimeRep (ElemRep (Array Int8 ds)) IntRep) => PrimBytes (DataFrame Nat Int8 ds)

Methods

toBytes :: DataFrame Nat Int8 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Int8 ds

byteSize :: DataFrame Nat Int8 ds -> Int#

byteAlign :: DataFrame Nat Int8 ds -> Int#

elementByteSize :: DataFrame Nat Int8 ds -> Int#

ix :: Int# -> DataFrame Nat Int8 ds -> ElemPrim (ElemRep (DataFrame Nat Int8 ds)) (DataFrame Nat Int8 ds)

(PrimBytes (Array Int16 ds), (~) (TYPE IntRep) (ElemPrim IntRep (Array Int16 ds)) Int#, (~) RuntimeRep (ElemRep (Array Int16 ds)) IntRep) => PrimBytes (DataFrame Nat Int16 ds)

Methods

toBytes :: DataFrame Nat Int16 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Int16 ds

byteSize :: DataFrame Nat Int16 ds -> Int#

byteAlign :: DataFrame Nat Int16 ds -> Int#

elementByteSize :: DataFrame Nat Int16 ds -> Int#

ix :: Int# -> DataFrame Nat Int16 ds -> ElemPrim (ElemRep (DataFrame Nat Int16 ds)) (DataFrame Nat Int16 ds)

(PrimBytes (Array Int32 ds), (~) (TYPE IntRep) (ElemPrim IntRep (Array Int32 ds)) Int#, (~) RuntimeRep (ElemRep (Array Int32 ds)) IntRep) => PrimBytes (DataFrame Nat Int32 ds)

Methods

toBytes :: DataFrame Nat Int32 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Int32 ds

byteSize :: DataFrame Nat Int32 ds -> Int#

byteAlign :: DataFrame Nat Int32 ds -> Int#

elementByteSize :: DataFrame Nat Int32 ds -> Int#

ix :: Int# -> DataFrame Nat Int32 ds -> ElemPrim (ElemRep (DataFrame Nat Int32 ds)) (DataFrame Nat Int32 ds)

(PrimBytes (Array Int64 ds), (~) (TYPE IntRep) (ElemPrim IntRep (Array Int64 ds)) Int#, (~) RuntimeRep (ElemRep (Array Int64 ds)) IntRep) => PrimBytes (DataFrame Nat Int64 ds)

Methods

toBytes :: DataFrame Nat Int64 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Int64 ds

byteSize :: DataFrame Nat Int64 ds -> Int#

byteAlign :: DataFrame Nat Int64 ds -> Int#

elementByteSize :: DataFrame Nat Int64 ds -> Int#

ix :: Int# -> DataFrame Nat Int64 ds -> ElemPrim (ElemRep (DataFrame Nat Int64 ds)) (DataFrame Nat Int64 ds)

(PrimBytes (Array Word ds), (~) (TYPE WordRep) (ElemPrim WordRep (Array Word ds)) Word#, (~) RuntimeRep (ElemRep (Array Word ds)) WordRep) => PrimBytes (DataFrame Nat Word ds)

Methods

toBytes :: DataFrame Nat Word ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Word ds

byteSize :: DataFrame Nat Word ds -> Int#

byteAlign :: DataFrame Nat Word ds -> Int#

elementByteSize :: DataFrame Nat Word ds -> Int#

ix :: Int# -> DataFrame Nat Word ds -> ElemPrim (ElemRep (DataFrame Nat Word ds)) (DataFrame Nat Word ds)

(PrimBytes (Array Word8 ds), (~) (TYPE WordRep) (ElemPrim WordRep (Array Word8 ds)) Word#, (~) RuntimeRep (ElemRep (Array Word8 ds)) WordRep) => PrimBytes (DataFrame Nat Word8 ds)

Methods

toBytes :: DataFrame Nat Word8 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Word8 ds

byteSize :: DataFrame Nat Word8 ds -> Int#

byteAlign :: DataFrame Nat Word8 ds -> Int#

elementByteSize :: DataFrame Nat Word8 ds -> Int#

ix :: Int# -> DataFrame Nat Word8 ds -> ElemPrim (ElemRep (DataFrame Nat Word8 ds)) (DataFrame Nat Word8 ds)

(PrimBytes (Array Word16 ds), (~) (TYPE WordRep) (ElemPrim WordRep (Array Word16 ds)) Word#, (~) RuntimeRep (ElemRep (Array Word16 ds)) WordRep) => PrimBytes (DataFrame Nat Word16 ds)

Methods

toBytes :: DataFrame Nat Word16 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Word16 ds

byteSize :: DataFrame Nat Word16 ds -> Int#

byteAlign :: DataFrame Nat Word16 ds -> Int#

elementByteSize :: DataFrame Nat Word16 ds -> Int#

ix :: Int# -> DataFrame Nat Word16 ds -> ElemPrim (ElemRep (DataFrame Nat Word16 ds)) (DataFrame Nat Word16 ds)

(PrimBytes (Array Word32 ds), (~) (TYPE WordRep) (ElemPrim WordRep (Array Word32 ds)) Word#, (~) RuntimeRep (ElemRep (Array Word32 ds)) WordRep) => PrimBytes (DataFrame Nat Word32 ds)

Methods

toBytes :: DataFrame Nat Word32 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Word32 ds

byteSize :: DataFrame Nat Word32 ds -> Int#

byteAlign :: DataFrame Nat Word32 ds -> Int#

elementByteSize :: DataFrame Nat Word32 ds -> Int#

ix :: Int# -> DataFrame Nat Word32 ds -> ElemPrim (ElemRep (DataFrame Nat Word32 ds)) (DataFrame Nat Word32 ds)

(PrimBytes (Array Word64 ds), (~) (TYPE WordRep) (ElemPrim WordRep (Array Word64 ds)) Word#, (~) RuntimeRep (ElemRep (Array Word64 ds)) WordRep) => PrimBytes (DataFrame Nat Word64 ds)

Methods

toBytes :: DataFrame Nat Word64 ds -> (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##)

fromBytes :: (#IntRep, IntRep, PtrRepUnlifted, Int#, Int#, ByteArray##) -> DataFrame Nat Word64 ds

byteSize :: DataFrame Nat Word64 ds -> Int#

byteAlign :: DataFrame Nat Word64 ds -> Int#

elementByteSize :: DataFrame Nat Word64 ds -> Int#

ix :: Int# -> DataFrame Nat Word64 ds -> ElemPrim (ElemRep (DataFrame Nat Word64 ds)) (DataFrame Nat Word64 ds)