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

Data.X86.Register

Documentation

data Register Source #

Instances

Instances details
Generic Register Source # 
Instance details

Defined in Data.X86.Register

Associated Types

type Rep Register :: Type -> Type #

Methods

from :: Register -> Rep Register x #

to :: Rep Register x -> Register #

Show Register Source # 
Instance details

Defined in Data.X86.Register

Serialize Register Source # 
Instance details

Defined in Data.X86.Register

NFData Register Source # 
Instance details

Defined in Data.X86.Register

Methods

rnf :: Register -> () #

Eq Register Source # 
Instance details

Defined in Data.X86.Register

Ord Register Source # 
Instance details

Defined in Data.X86.Register

type Rep Register Source # 
Instance details

Defined in Data.X86.Register

data GPR Source #

Constructors

RAX 
RCX 
RDX 
RBX 
RSP 
RBP 
RSI 
RDI 
R8 
R9 
R10 
R11 
R12 
R13 
R14 
R15 
RIP 

Instances

Instances details
Generic GPR Source # 
Instance details

Defined in Data.X86.Register

Associated Types

type Rep GPR :: Type -> Type #

Methods

from :: GPR -> Rep GPR x #

to :: Rep GPR x -> GPR #

Show GPR Source # 
Instance details

Defined in Data.X86.Register

Methods

showsPrec :: Int -> GPR -> ShowS #

show :: GPR -> String #

showList :: [GPR] -> ShowS #

Serialize GPR Source # 
Instance details

Defined in Data.X86.Register

Methods

put :: Putter GPR #

get :: Get GPR #

NFData GPR Source # 
Instance details

Defined in Data.X86.Register

Methods

rnf :: GPR -> () #

Eq GPR Source # 
Instance details

Defined in Data.X86.Register

Methods

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

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

Ord GPR Source # 
Instance details

Defined in Data.X86.Register

Methods

compare :: GPR -> GPR -> Ordering #

(<) :: GPR -> GPR -> Bool #

(<=) :: GPR -> GPR -> Bool #

(>) :: GPR -> GPR -> Bool #

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

max :: GPR -> GPR -> GPR #

min :: GPR -> GPR -> GPR #

type Rep GPR Source # 
Instance details

Defined in Data.X86.Register

type Rep GPR = D1 ('MetaData "GPR" "Data.X86.Register" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((((C1 ('MetaCons "RAX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RCX" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RDX" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RBX" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "RSP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RBP" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RSI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RDI" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "R8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "R12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "R14" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "R15" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RIP" 'PrefixI 'False) (U1 :: Type -> Type))))))

data SReg Source #

Constructors

ES 
CS 
SS 
DS 
FS 
GS 
SR6 
SR7 

Instances

Instances details
Generic SReg Source # 
Instance details

Defined in Data.X86.Register

Associated Types

type Rep SReg :: Type -> Type #

Methods

from :: SReg -> Rep SReg x #

to :: Rep SReg x -> SReg #

Show SReg Source # 
Instance details

Defined in Data.X86.Register

Methods

showsPrec :: Int -> SReg -> ShowS #

show :: SReg -> String #

showList :: [SReg] -> ShowS #

Serialize SReg Source # 
Instance details

Defined in Data.X86.Register

Methods

put :: Putter SReg #

get :: Get SReg #

NFData SReg Source # 
Instance details

Defined in Data.X86.Register

Methods

rnf :: SReg -> () #

Eq SReg Source # 
Instance details

Defined in Data.X86.Register

Methods

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

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

Ord SReg Source # 
Instance details

Defined in Data.X86.Register

Methods

compare :: SReg -> SReg -> Ordering #

(<) :: SReg -> SReg -> Bool #

(<=) :: SReg -> SReg -> Bool #

(>) :: SReg -> SReg -> Bool #

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

max :: SReg -> SReg -> SReg #

min :: SReg -> SReg -> SReg #

type Rep SReg Source # 
Instance details

Defined in Data.X86.Register

type Rep SReg = D1 ('MetaData "SReg" "Data.X86.Register" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (((C1 ('MetaCons "ES" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DS" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SR6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SR7" 'PrefixI 'False) (U1 :: Type -> Type))))

data FPUReg Source #

Constructors

ST0 
ST1 
ST2 
ST3 
ST4 
ST5 
ST6 
ST7 

Instances

Instances details
Generic FPUReg Source # 
Instance details

Defined in Data.X86.Register

Associated Types

type Rep FPUReg :: Type -> Type #

Methods

from :: FPUReg -> Rep FPUReg x #

to :: Rep FPUReg x -> FPUReg #

Show FPUReg Source # 
Instance details

Defined in Data.X86.Register

Serialize FPUReg Source # 
Instance details

Defined in Data.X86.Register

NFData FPUReg Source # 
Instance details

Defined in Data.X86.Register

Methods

rnf :: FPUReg -> () #

Eq FPUReg Source # 
Instance details

Defined in Data.X86.Register

Methods

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

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

Ord FPUReg Source # 
Instance details

Defined in Data.X86.Register

type Rep FPUReg Source # 
Instance details

Defined in Data.X86.Register

type Rep FPUReg = D1 ('MetaData "FPUReg" "Data.X86.Register" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (((C1 ('MetaCons "ST0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ST1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ST2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ST3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ST4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ST5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ST6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ST7" 'PrefixI 'False) (U1 :: Type -> Type))))

data SSEReg Source #

Instances

Instances details
Generic SSEReg Source # 
Instance details

Defined in Data.X86.Register

Associated Types

type Rep SSEReg :: Type -> Type #

Methods

from :: SSEReg -> Rep SSEReg x #

to :: Rep SSEReg x -> SSEReg #

Show SSEReg Source # 
Instance details

Defined in Data.X86.Register

Serialize SSEReg Source # 
Instance details

Defined in Data.X86.Register

NFData SSEReg Source # 
Instance details

Defined in Data.X86.Register

Methods

rnf :: SSEReg -> () #

Eq SSEReg Source # 
Instance details

Defined in Data.X86.Register

Methods

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

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

Ord SSEReg Source # 
Instance details

Defined in Data.X86.Register

type Rep SSEReg Source # 
Instance details

Defined in Data.X86.Register

type Rep SSEReg = D1 ('MetaData "SSEReg" "Data.X86.Register" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) ((((C1 ('MetaCons "XMM0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM3" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "XMM4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM7" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "XMM8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM11" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "XMM12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XMM14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XMM15" 'PrefixI 'False) (U1 :: Type -> Type)))))

data RegHalf Source #

Constructors

HalfL 
HalfH 

Instances

Instances details
Generic RegHalf Source # 
Instance details

Defined in Data.X86.Register

Associated Types

type Rep RegHalf :: Type -> Type #

Methods

from :: RegHalf -> Rep RegHalf x #

to :: Rep RegHalf x -> RegHalf #

Show RegHalf Source # 
Instance details

Defined in Data.X86.Register

Serialize RegHalf Source # 
Instance details

Defined in Data.X86.Register

NFData RegHalf Source # 
Instance details

Defined in Data.X86.Register

Methods

rnf :: RegHalf -> () #

Eq RegHalf Source # 
Instance details

Defined in Data.X86.Register

Methods

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

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

Ord RegHalf Source # 
Instance details

Defined in Data.X86.Register

type Rep RegHalf Source # 
Instance details

Defined in Data.X86.Register

type Rep RegHalf = D1 ('MetaData "RegHalf" "Data.X86.Register" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "HalfL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HalfH" 'PrefixI 'False) (U1 :: Type -> Type))