binrep-0.8.0: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageGHC2021

Binrep.Test

Documentation

data DMagic Source #

Constructors

DMagic 

Fields

Instances

Instances details
Generic DMagic Source # 
Instance details

Defined in Binrep.Test

Associated Types

type Rep DMagic :: Type -> Type #

Methods

from :: DMagic -> Rep DMagic x #

to :: Rep DMagic x -> DMagic #

PutC DMagic Source # 
Instance details

Defined in Binrep.Test

Methods

putC :: DMagic -> PutterC Source #

IsCBLen DMagic Source # 
Instance details

Defined in Binrep.Test

Associated Types

type CBLen DMagic :: Natural Source #

type Rep DMagic Source # 
Instance details

Defined in Binrep.Test

type Rep DMagic = D1 ('MetaData "DMagic" "Binrep.Test" "binrep-0.8.0-inplace" 'False) (C1 ('MetaCons "DMagic" 'PrefixI 'True) (S1 ('MetaSel ('Just "dMagic1_8b") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Magic '[255, 0, 1, 0, 1, 0, 1, 255]))))
type CBLen DMagic Source # 
Instance details

Defined in Binrep.Test

data DMagicSum Source #

Constructors

DMagicSum1 (Magic '[0]) 
DMagicSum2 (Magic '[255]) 

Instances

Instances details
Generic DMagicSum Source # 
Instance details

Defined in Binrep.Test

Associated Types

type Rep DMagicSum :: Type -> Type #

type Rep DMagicSum Source # 
Instance details

Defined in Binrep.Test

type Rep DMagicSum = D1 ('MetaData "DMagicSum" "Binrep.Test" "binrep-0.8.0-inplace" 'False) (C1 ('MetaCons "DMagicSum1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Magic '[0]))) :+: C1 ('MetaCons "DMagicSum2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Magic '[255]))))

data DStruct Source #

Constructors

DStruct 

Fields

Instances

Instances details
Generic DStruct Source # 
Instance details

Defined in Binrep.Test

Associated Types

type Rep DStruct :: Type -> Type #

Methods

from :: DStruct -> Rep DStruct x #

to :: Rep DStruct x -> DStruct #

Show DStruct Source # 
Instance details

Defined in Binrep.Test

GetC DStruct Source # 
Instance details

Defined in Binrep.Test

PutC DStruct Source # 
Instance details

Defined in Binrep.Test

Methods

putC :: DStruct -> PutterC Source #

IsCBLen DStruct Source # 
Instance details

Defined in Binrep.Test

Associated Types

type CBLen DStruct :: Natural Source #

type Rep DStruct Source # 
Instance details

Defined in Binrep.Test

type Rep DStruct = D1 ('MetaData "DStruct" "Binrep.Test" "binrep-0.8.0-inplace" 'False) (C1 ('MetaCons "DStruct" 'PrefixI 'True) (S1 ('MetaSel ('Just "dStruct1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Magic '[255, 0, 1, 255])) :*: (S1 ('MetaSel ('Just "dStruct2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ByteOrdered LE Word32)) :*: S1 ('MetaSel ('Just "dStruct3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ()))))
type CBLen DStruct Source # 
Instance details

Defined in Binrep.Test