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

Data.Variable

Synopsis

Documentation

data Variable Source #

A mutable or immutable variable

Constructors

Variable 

Fields

Instances

Instances details
Eq Variable Source # 
Instance details

Defined in Data.Variable

Ord Variable Source # 
Instance details

Defined in Data.Variable

Show Variable Source # 
Instance details

Defined in Data.Variable

Generic Variable Source # 
Instance details

Defined in Data.Variable

Associated Types

type Rep Variable :: Type -> Type #

Methods

from :: Variable -> Rep Variable x #

to :: Rep Variable x -> Variable #

Serialize Variable Source # 
Instance details

Defined in Data.Variable

type Rep Variable Source # 
Instance details

Defined in Data.Variable

type Rep Variable = D1 ('MetaData "Variable" "Data.Variable" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) (C1 ('MetaCons "Variable" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String) :*: (S1 ('MetaSel ('Just "index") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

data VariableConversion Source #

Copies the value of one variable to another while extracting (or extending) the correct bits

Constructors

VariableConversion 

Fields

Instances

Instances details
Eq VariableConversion Source # 
Instance details

Defined in Data.Variable

Ord VariableConversion Source # 
Instance details

Defined in Data.Variable

Show VariableConversion Source # 
Instance details

Defined in Data.Variable

Generic VariableConversion Source # 
Instance details

Defined in Data.Variable

Associated Types

type Rep VariableConversion :: Type -> Type #

Serialize VariableConversion Source # 
Instance details

Defined in Data.Variable

type Rep VariableConversion Source # 
Instance details

Defined in Data.Variable

type Rep VariableConversion = D1 ('MetaData "VariableConversion" "Data.Variable" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) (C1 ('MetaCons "VariableConversion" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Variable) :*: (S1 ('MetaSel ('Just "destination") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Variable) :*: S1 ('MetaSel ('Just "isLow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))