foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellNone
LanguageHaskell2010

X86.Prefix

Documentation

data Prefix Source #

Constructors

InvalidPrefix 
REP 
REPZ 
REPNE 
LOCK 
BND 

Instances

Instances details
Eq Prefix Source # 
Instance details

Defined in X86.Prefix

Methods

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

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

Ord Prefix Source # 
Instance details

Defined in X86.Prefix

Read Prefix Source # 
Instance details

Defined in X86.Prefix

Show Prefix Source # 
Instance details

Defined in X86.Prefix

Generic Prefix Source # 
Instance details

Defined in X86.Prefix

Associated Types

type Rep Prefix :: Type -> Type #

Methods

from :: Prefix -> Rep Prefix x #

to :: Rep Prefix x -> Prefix #

ToJSON Prefix Source # 
Instance details

Defined in OutputGeneration.JSON

Serialize Prefix Source # 
Instance details

Defined in X86.Prefix

NFData Prefix Source # 
Instance details

Defined in X86.Prefix

Methods

rnf :: Prefix -> () #

HasSize Instruction Source # 
Instance details

Defined in X86.Instruction

type Rep Prefix Source # 
Instance details

Defined in X86.Prefix

type Rep Prefix = D1 ('MetaData "Prefix" "X86.Prefix" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) ((C1 ('MetaCons "InvalidPrefix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "REP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "REPZ" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "REPNE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LOCK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BND" 'PrefixI 'False) (U1 :: Type -> Type))))