Data.Primitive.Generic

Documentation

newtype Align (a :: Nat) t

A wrapper that modify the wrapped type alignment

Constructors

Align t

Instances

(ValidAlign a, KnownNat a, Prim t) => Prim (Align a t)

Defined in Data.Primitive.Generic

Methods

sizeOfType# :: Proxy (Align a t) -> Int#

sizeOf# :: Align a t -> Int#

alignmentOfType# :: Proxy (Align a t) -> Int#

alignment# :: Align a t -> Int#

indexByteArray# :: ByteArray# -> Int# -> Align a t

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

writeByteArray# :: MutableByteArray# s -> Int# -> Align a t -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Align a t -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Align a t

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

writeOffAddr# :: Addr# -> Int# -> Align a t -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Align a t -> State# s -> State# s

PrimUnaligned t => PrimUnaligned (Align a t)

Defined in Data.Primitive.Generic

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Align a t

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Align a t #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Align a t -> State# s -> State# s

type Packed = Align 1

Modify type to have alignment of 1

newtype GenericPrim a

Derive Prim and PrimUnaligned instances

Constructors

GenericPrim a

Instances

(Generic a, DerivePrim (Rep a)) => Prim (GenericPrim a)

Defined in Data.Primitive.Generic

Methods

sizeOfType# :: Proxy (GenericPrim a) -> Int#

sizeOf# :: GenericPrim a -> Int#

alignmentOfType# :: Proxy (GenericPrim a) -> Int#

alignment# :: GenericPrim a -> Int#

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

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

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

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

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

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

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

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

(Generic a, DerivePrim (Rep a)) => PrimUnaligned (GenericPrim a)

Defined in Data.Primitive.Generic

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> GenericPrim a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> GenericPrim a -> State# s -> State# s

offsetOf :: forall t s. (Generic t, DerivePrim (Rep t), OffsetOf (DeriveTree (Rep t)) s, Assert "Field does not exist" (HasOffsetOf (DeriveTree (Rep t)) s)) => Int

Orphan instances

PrimUnaligned CBool

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CBool

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

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

PrimUnaligned CClock

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CClock

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

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

PrimUnaligned CFloat

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CFloat

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

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

PrimUnaligned CIntMax

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CIntMax

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

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

PrimUnaligned CIntPtr

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CIntPtr

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

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

PrimUnaligned CPtrdiff

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CPtrdiff

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

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

PrimUnaligned CSUSeconds

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CSUSeconds

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

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

PrimUnaligned CSigAtomic

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CSigAtomic

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

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

PrimUnaligned CSize

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CSize

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

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

PrimUnaligned CTime

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CTime

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

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

PrimUnaligned CUChar

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CUChar

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

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

PrimUnaligned CUIntMax

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CUIntMax

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

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

PrimUnaligned CUIntPtr

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CUIntPtr

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

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

PrimUnaligned CUSeconds

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CUSeconds

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

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

PrimUnaligned CUShort

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CUShort

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

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

PrimUnaligned CWchar

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CWchar

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

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

PrimUnaligned IntPtr

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> IntPtr

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, IntPtr #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> IntPtr -> State# s -> State# s

PrimUnaligned WordPtr

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> WordPtr

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, WordPtr #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> WordPtr -> State# s -> State# s

PrimUnaligned CBlkCnt

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CBlkCnt

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBlkCnt #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CBlkCnt -> State# s -> State# s

PrimUnaligned CBlkSize

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CBlkSize

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CBlkSize #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CBlkSize -> State# s -> State# s

PrimUnaligned CCc

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CCc

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CCc #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CCc -> State# s -> State# s

PrimUnaligned CClockId

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CClockId

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CClockId #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CClockId -> State# s -> State# s

PrimUnaligned CFsBlkCnt

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CFsBlkCnt

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFsBlkCnt #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CFsBlkCnt -> State# s -> State# s

PrimUnaligned CFsFilCnt

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CFsFilCnt

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CFsFilCnt #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CFsFilCnt -> State# s -> State# s

PrimUnaligned CGid

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CGid

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CGid #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CGid -> State# s -> State# s

PrimUnaligned CId

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CId

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CId #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CId -> State# s -> State# s

PrimUnaligned CKey

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CKey

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CKey #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CKey -> State# s -> State# s

PrimUnaligned CNlink

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CNlink

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CNlink #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CNlink -> State# s -> State# s

PrimUnaligned CRLim

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CRLim

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CRLim #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CRLim -> State# s -> State# s

PrimUnaligned CSpeed

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CSpeed

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CSpeed #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CSpeed -> State# s -> State# s

PrimUnaligned CTcflag

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CTcflag

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTcflag #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CTcflag -> State# s -> State# s

PrimUnaligned CTimer

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CTimer

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CTimer #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CTimer -> State# s -> State# s

PrimUnaligned CUid

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> CUid

readUnalignedByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CUid #)

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> CUid -> State# s -> State# s

(Prim a, PrimUnaligned a) => PrimUnaligned (Complex a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Complex a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Complex a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Identity a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Identity a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Identity a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Down a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Down a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Down a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (First a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> First a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> First a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Last a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Last a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Last a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Max a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Max a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Max a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Min a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Min a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Min a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Dual a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Dual a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Dual a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Product a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Product a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Product a -> State# s -> State# s

PrimUnaligned a => PrimUnaligned (Sum a)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Sum a

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Sum a -> State# s -> State# s

PrimUnaligned (FunPtr a)

Methods

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

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

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

PrimUnaligned (StablePtr a)

Methods

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

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

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

PrimUnaligned a => PrimUnaligned (Const a b)

Methods

indexUnalignedByteArray# :: ByteArray# -> Int# -> Const a b

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

writeUnalignedByteArray# :: MutableByteArray# s -> Int# -> Const a b -> State# s -> State# s