Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Primitive.Generic

Contents

Orphan instances

Synopsis

newtype Align (a :: Nat) t = Align t
type Packed = Align 1
newtype GenericPrim a = GenericPrim a
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

Documentation

newtype Align (a :: Nat) t Source #

A wrapper that modify the wrapped type alignment

Constructors

Align t

Instances

Instances details

(ValidAlign a, KnownNat a, Prim t) => Prim (Align a t) Source #
Instance details 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) Source #
Instance details 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 Source #

Modify type to have alignment of 1

newtype GenericPrim a Source #

Derive Prim and PrimUnaligned instances

Constructors

GenericPrim a

Instances

Instances details

(Generic a, DerivePrim (Rep a)) => Prim (GenericPrim a) Source #
Instance details 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) Source #
Instance details 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 Source #

Orphan instances

PrimUnaligned CBool Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 #