foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Size

Documentation

data BitSize Source #

Constructors

BitSize Int 

Instances

Instances details
Generic BitSize Source # 
Instance details

Defined in Data.Size

Associated Types

type Rep BitSize :: Type -> Type #

Methods

from :: BitSize -> Rep BitSize x #

to :: Rep BitSize x -> BitSize #

Show BitSize Source # 
Instance details

Defined in Data.Size

Serialize BitSize Source # 
Instance details

Defined in Data.Size

NFData BitSize Source # 
Instance details

Defined in Data.Size

Methods

rnf :: BitSize -> () #

Eq BitSize Source # 
Instance details

Defined in Data.Size

Methods

(==) :: BitSize -> BitSize -> Bool #

(/=) :: BitSize -> BitSize -> Bool #

Ord BitSize Source # 
Instance details

Defined in Data.Size

type Rep BitSize Source # 
Instance details

Defined in Data.Size

type Rep BitSize = D1 ('MetaData "BitSize" "Data.Size" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "BitSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data ByteSize Source #

Constructors

ByteSize Int 

Instances

Instances details
Generic ByteSize Source # 
Instance details

Defined in Data.Size

Associated Types

type Rep ByteSize :: Type -> Type #

Methods

from :: ByteSize -> Rep ByteSize x #

to :: Rep ByteSize x -> ByteSize #

Show ByteSize Source # 
Instance details

Defined in Data.Size

Serialize ByteSize Source # 
Instance details

Defined in Data.Size

NFData ByteSize Source # 
Instance details

Defined in Data.Size

Methods

rnf :: ByteSize -> () #

Eq ByteSize Source # 
Instance details

Defined in Data.Size

Ord ByteSize Source # 
Instance details

Defined in Data.Size

type Rep ByteSize Source # 
Instance details

Defined in Data.Size

type Rep ByteSize = D1 ('MetaData "ByteSize" "Data.Size" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "ByteSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))