Bitcode

Documentation

data Instruction

• All instructions have an associated location
• That is true also for instrumented instructions (like Nop and Assume)

Constructors

Instruction

Fields

• location :: Location
• instructionContent :: InstructionContent

Instances

FromJSON Instruction

Defined in Bitcode

Methods

parseJSON :: Value -> Parser Instruction

parseJSONList :: Value -> Parser [Instruction]

omittedField :: Maybe Instruction

ToJSON Instruction

Defined in Bitcode

Methods

toJSON :: Instruction -> Value

toEncoding :: Instruction -> Encoding

toJSONList :: [Instruction] -> Value

toEncodingList :: [Instruction] -> Encoding

omitField :: Instruction -> Bool

Generic Instruction

Defined in Bitcode

Associated Types

type Rep Instruction :: Type -> Type

Methods

from :: Instruction -> Rep Instruction x

to :: Rep Instruction x -> Instruction

Show Instruction

Defined in Bitcode

Methods

showsPrec :: Int -> Instruction -> ShowS

show :: Instruction -> String

showList :: [Instruction] -> ShowS

Eq Instruction

Defined in Bitcode

Methods

(==) :: Instruction -> Instruction -> Bool

(/=) :: Instruction -> Instruction -> Bool

Ord Instruction

Defined in Bitcode

Methods

compare :: Instruction -> Instruction -> Ordering

(<) :: Instruction -> Instruction -> Bool

(<=) :: Instruction -> Instruction -> Bool

(>) :: Instruction -> Instruction -> Bool

(>=) :: Instruction -> Instruction -> Bool

max :: Instruction -> Instruction -> Instruction

min :: Instruction -> Instruction -> Instruction

type Rep Instruction

Defined in Bitcode

type Rep Instruction = D1 ('MetaData "Instruction" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "Instruction" 'PrefixI 'True) (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location) :*: S1 ('MetaSel ('Just "instructionContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InstructionContent)))

data InstructionContent

A minimal instruction set to translate any programming language to an intermediate langauge ready for static analysis

Constructors

Nop

Call CallContent

Unop UnopContent

Binop BinopContent

Assume AssumeContent

Return ReturnContent

Assign AssignContent

LoadImmStr StrContent

LoadImmInt IntContent

LoadImmBool BoolContent

ParamDecl ParamDeclContent

FieldRead FieldReadContent

FieldWrite FieldWriteContent

SubscriptRead SubscriptReadContent

SubscriptWrite SubscriptWriteContent

Instances

FromJSON InstructionContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser InstructionContent

parseJSONList :: Value -> Parser [InstructionContent]

omittedField :: Maybe InstructionContent

ToJSON InstructionContent

Defined in Bitcode

Methods

toJSON :: InstructionContent -> Value

toEncoding :: InstructionContent -> Encoding

toJSONList :: [InstructionContent] -> Value

toEncodingList :: [InstructionContent] -> Encoding

omitField :: InstructionContent -> Bool

Generic InstructionContent

Defined in Bitcode

Associated Types

type Rep InstructionContent :: Type -> Type

Methods

from :: InstructionContent -> Rep InstructionContent x

to :: Rep InstructionContent x -> InstructionContent

Show InstructionContent

Defined in Bitcode

Methods

showsPrec :: Int -> InstructionContent -> ShowS

show :: InstructionContent -> String

showList :: [InstructionContent] -> ShowS

Eq InstructionContent

Defined in Bitcode

Methods

(==) :: InstructionContent -> InstructionContent -> Bool

(/=) :: InstructionContent -> InstructionContent -> Bool

Ord InstructionContent

Defined in Bitcode

Methods

compare :: InstructionContent -> InstructionContent -> Ordering

(<) :: InstructionContent -> InstructionContent -> Bool

(<=) :: InstructionContent -> InstructionContent -> Bool

(>) :: InstructionContent -> InstructionContent -> Bool

(>=) :: InstructionContent -> InstructionContent -> Bool

max :: InstructionContent -> InstructionContent -> InstructionContent

min :: InstructionContent -> InstructionContent -> InstructionContent

type Rep InstructionContent

Defined in Bitcode

type Rep InstructionContent = D1 ('MetaData "InstructionContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (((C1 ('MetaCons "Nop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Call" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallContent)) :+: C1 ('MetaCons "Unop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnopContent)))) :+: ((C1 ('MetaCons "Binop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinopContent)) :+: C1 ('MetaCons "Assume" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssumeContent))) :+: (C1 ('MetaCons "Return" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReturnContent)) :+: C1 ('MetaCons "Assign" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssignContent))))) :+: (((C1 ('MetaCons "LoadImmStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StrContent)) :+: C1 ('MetaCons "LoadImmInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntContent))) :+: (C1 ('MetaCons "LoadImmBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BoolContent)) :+: C1 ('MetaCons "ParamDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamDeclContent)))) :+: ((C1 ('MetaCons "FieldRead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldReadContent)) :+: C1 ('MetaCons "FieldWrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldWriteContent))) :+: (C1 ('MetaCons "SubscriptRead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubscriptReadContent)) :+: C1 ('MetaCons "SubscriptWrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubscriptWriteContent))))))

mkNopInstruction :: Location -> Instruction

data TmpVariable

Constructors

TmpVariable

Fields

• tmpVariableFqn :: Fqn
• tmpVariableLocation :: Location

Instances

FromJSON TmpVariable

Defined in Bitcode

Methods

parseJSON :: Value -> Parser TmpVariable

parseJSONList :: Value -> Parser [TmpVariable]

omittedField :: Maybe TmpVariable

ToJSON TmpVariable

Defined in Bitcode

Methods

toJSON :: TmpVariable -> Value

toEncoding :: TmpVariable -> Encoding

toJSONList :: [TmpVariable] -> Value

toEncodingList :: [TmpVariable] -> Encoding

omitField :: TmpVariable -> Bool

Generic TmpVariable

Defined in Bitcode

Associated Types

type Rep TmpVariable :: Type -> Type

Methods

from :: TmpVariable -> Rep TmpVariable x

to :: Rep TmpVariable x -> TmpVariable

Show TmpVariable

Defined in Bitcode

Methods

showsPrec :: Int -> TmpVariable -> ShowS

show :: TmpVariable -> String

showList :: [TmpVariable] -> ShowS

Eq TmpVariable

Defined in Bitcode

Methods

(==) :: TmpVariable -> TmpVariable -> Bool

(/=) :: TmpVariable -> TmpVariable -> Bool

Ord TmpVariable

Defined in Bitcode

Methods

compare :: TmpVariable -> TmpVariable -> Ordering

(<) :: TmpVariable -> TmpVariable -> Bool

(<=) :: TmpVariable -> TmpVariable -> Bool

(>) :: TmpVariable -> TmpVariable -> Bool

(>=) :: TmpVariable -> TmpVariable -> Bool

max :: TmpVariable -> TmpVariable -> TmpVariable

min :: TmpVariable -> TmpVariable -> TmpVariable

type Rep TmpVariable

Defined in Bitcode

type Rep TmpVariable = D1 ('MetaData "TmpVariable" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "TmpVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "tmpVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :*: S1 ('MetaSel ('Just "tmpVariableLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location)))

data SrcVariable

Constructors

SrcVariable

Fields

• srcVariableFqn :: Fqn
• srcVariableToken :: VarName

Instances

FromJSON SrcVariable

Defined in Bitcode

Methods

parseJSON :: Value -> Parser SrcVariable

parseJSONList :: Value -> Parser [SrcVariable]

omittedField :: Maybe SrcVariable

ToJSON SrcVariable

Defined in Bitcode

Methods

toJSON :: SrcVariable -> Value

toEncoding :: SrcVariable -> Encoding

toJSONList :: [SrcVariable] -> Value

toEncodingList :: [SrcVariable] -> Encoding

omitField :: SrcVariable -> Bool

Generic SrcVariable

Defined in Bitcode

Associated Types

type Rep SrcVariable :: Type -> Type

Methods

from :: SrcVariable -> Rep SrcVariable x

to :: Rep SrcVariable x -> SrcVariable

Show SrcVariable

Defined in Bitcode

Methods

showsPrec :: Int -> SrcVariable -> ShowS

show :: SrcVariable -> String

showList :: [SrcVariable] -> ShowS

Eq SrcVariable

Defined in Bitcode

Methods

(==) :: SrcVariable -> SrcVariable -> Bool

(/=) :: SrcVariable -> SrcVariable -> Bool

Ord SrcVariable

Defined in Bitcode

Methods

compare :: SrcVariable -> SrcVariable -> Ordering

(<) :: SrcVariable -> SrcVariable -> Bool

(<=) :: SrcVariable -> SrcVariable -> Bool

(>) :: SrcVariable -> SrcVariable -> Bool

(>=) :: SrcVariable -> SrcVariable -> Bool

max :: SrcVariable -> SrcVariable -> SrcVariable

min :: SrcVariable -> SrcVariable -> SrcVariable

type Rep SrcVariable

Defined in Bitcode

type Rep SrcVariable = D1 ('MetaData "SrcVariable" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "SrcVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "srcVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :*: S1 ('MetaSel ('Just "srcVariableToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarName)))

data ArgContent

Constructors

ArgContent

Fields

• argVariableFqn :: Fqn
• argVariableSerialIdx :: Word
• argVariableMyAwesomeCallContext :: Location

Instances

FromJSON ArgContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser ArgContent

parseJSONList :: Value -> Parser [ArgContent]

omittedField :: Maybe ArgContent

ToJSON ArgContent

Defined in Bitcode

Methods

toJSON :: ArgContent -> Value

toEncoding :: ArgContent -> Encoding

toJSONList :: [ArgContent] -> Value

toEncodingList :: [ArgContent] -> Encoding

omitField :: ArgContent -> Bool

Generic ArgContent

Defined in Bitcode

Associated Types

type Rep ArgContent :: Type -> Type

Methods

from :: ArgContent -> Rep ArgContent x

to :: Rep ArgContent x -> ArgContent

Show ArgContent

Defined in Bitcode

Methods

showsPrec :: Int -> ArgContent -> ShowS

show :: ArgContent -> String

showList :: [ArgContent] -> ShowS

Eq ArgContent

Defined in Bitcode

Methods

(==) :: ArgContent -> ArgContent -> Bool

(/=) :: ArgContent -> ArgContent -> Bool

Ord ArgContent

Defined in Bitcode

Methods

compare :: ArgContent -> ArgContent -> Ordering

(<) :: ArgContent -> ArgContent -> Bool

(<=) :: ArgContent -> ArgContent -> Bool

(>) :: ArgContent -> ArgContent -> Bool

(>=) :: ArgContent -> ArgContent -> Bool

max :: ArgContent -> ArgContent -> ArgContent

min :: ArgContent -> ArgContent -> ArgContent

type Rep ArgContent

Defined in Bitcode

type Rep ArgContent = D1 ('MetaData "ArgContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "ArgContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "argVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :*: (S1 ('MetaSel ('Just "argVariableSerialIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: S1 ('MetaSel ('Just "argVariableMyAwesomeCallContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

data ParamVariable

Constructors

ParamVariable

Fields

• paramVariableFqn :: Fqn
• paramVariableSerialIdx :: Word
• paramVariableToken :: ParamName

Instances

FromJSON ParamVariable

Defined in Bitcode

Methods

parseJSON :: Value -> Parser ParamVariable

parseJSONList :: Value -> Parser [ParamVariable]

omittedField :: Maybe ParamVariable

ToJSON ParamVariable

Defined in Bitcode

Methods

toJSON :: ParamVariable -> Value

toEncoding :: ParamVariable -> Encoding

toJSONList :: [ParamVariable] -> Value

toEncodingList :: [ParamVariable] -> Encoding

omitField :: ParamVariable -> Bool

Generic ParamVariable

Defined in Bitcode

Associated Types

type Rep ParamVariable :: Type -> Type

Methods

from :: ParamVariable -> Rep ParamVariable x

to :: Rep ParamVariable x -> ParamVariable

Show ParamVariable

Defined in Bitcode

Methods

showsPrec :: Int -> ParamVariable -> ShowS

show :: ParamVariable -> String

showList :: [ParamVariable] -> ShowS

Eq ParamVariable

Defined in Bitcode

Methods

(==) :: ParamVariable -> ParamVariable -> Bool

(/=) :: ParamVariable -> ParamVariable -> Bool

Ord ParamVariable

Defined in Bitcode

Methods

compare :: ParamVariable -> ParamVariable -> Ordering

(<) :: ParamVariable -> ParamVariable -> Bool

(<=) :: ParamVariable -> ParamVariable -> Bool

(>) :: ParamVariable -> ParamVariable -> Bool

(>=) :: ParamVariable -> ParamVariable -> Bool

max :: ParamVariable -> ParamVariable -> ParamVariable

min :: ParamVariable -> ParamVariable -> ParamVariable

type Rep ParamVariable

Defined in Bitcode

type Rep ParamVariable = D1 ('MetaData "ParamVariable" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "ParamVariable" 'PrefixI 'True) (S1 ('MetaSel ('Just "paramVariableFqn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fqn) :*: (S1 ('MetaSel ('Just "paramVariableSerialIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: S1 ('MetaSel ('Just "paramVariableToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamName))))

data Variable

Constructors

TmpVariableCtor TmpVariable

SrcVariableCtor SrcVariable

ParamVariableCtor ParamVariable

Arg ArgContent

Instances

FromJSON Variable

Defined in Bitcode

Methods

parseJSON :: Value -> Parser Variable

parseJSONList :: Value -> Parser [Variable]

omittedField :: Maybe Variable

ToJSON Variable

Defined in Bitcode

Methods

toJSON :: Variable -> Value

toEncoding :: Variable -> Encoding

toJSONList :: [Variable] -> Value

toEncodingList :: [Variable] -> Encoding

omitField :: Variable -> Bool

Generic Variable

Defined in Bitcode

Associated Types

type Rep Variable :: Type -> Type

Methods

from :: Variable -> Rep Variable x

to :: Rep Variable x -> Variable

Show Variable

Defined in Bitcode

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

Eq Variable

Defined in Bitcode

Methods

(==) :: Variable -> Variable -> Bool

(/=) :: Variable -> Variable -> Bool

Ord Variable

Defined in Bitcode

Methods

compare :: Variable -> Variable -> Ordering

(<) :: Variable -> Variable -> Bool

(<=) :: Variable -> Variable -> Bool

(>) :: Variable -> Variable -> Bool

(>=) :: Variable -> Variable -> Bool

max :: Variable -> Variable -> Variable

min :: Variable -> Variable -> Variable

type Rep Variable

Defined in Bitcode

type Rep Variable = D1 ('MetaData "Variable" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) ((C1 ('MetaCons "TmpVariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TmpVariable)) :+: C1 ('MetaCons "SrcVariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcVariable))) :+: (C1 ('MetaCons "ParamVariableCtor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamVariable)) :+: C1 ('MetaCons "Arg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArgContent))))

variableFqn :: Variable -> Fqn

data Variables

Can not be serialized to JSON

Constructors

Variables

Fields

• actualVariables :: Set Variable

Instances

Show Variables

Defined in Bitcode

Methods

showsPrec :: Int -> Variables -> ShowS

show :: Variables -> String

showList :: [Variables] -> ShowS

Eq Variables

Defined in Bitcode

Methods

(==) :: Variables -> Variables -> Bool

(/=) :: Variables -> Variables -> Bool

Ord Variables

Defined in Bitcode

Methods

compare :: Variables -> Variables -> Ordering

(<) :: Variables -> Variables -> Bool

(<=) :: Variables -> Variables -> Bool

(>) :: Variables -> Variables -> Bool

(>=) :: Variables -> Variables -> Bool

max :: Variables -> Variables -> Variables

min :: Variables -> Variables -> Variables

data SrcVariables

Constructors

SrcVariables

Fields

• actualSrcVariables :: Set SrcVariable

Instances

Show SrcVariables

Defined in Bitcode

Methods

showsPrec :: Int -> SrcVariables -> ShowS

show :: SrcVariables -> String

showList :: [SrcVariables] -> ShowS

Eq SrcVariables

Defined in Bitcode

Methods

(==) :: SrcVariables -> SrcVariables -> Bool

(/=) :: SrcVariables -> SrcVariables -> Bool

Ord SrcVariables

Defined in Bitcode

Methods

compare :: SrcVariables -> SrcVariables -> Ordering

(<) :: SrcVariables -> SrcVariables -> Bool

(<=) :: SrcVariables -> SrcVariables -> Bool

(>) :: SrcVariables -> SrcVariables -> Bool

(>=) :: SrcVariables -> SrcVariables -> Bool

max :: SrcVariables -> SrcVariables -> SrcVariables

min :: SrcVariables -> SrcVariables -> SrcVariables

createEmptyCollectionOfGlobalVariables :: SrcVariables

Creating an empty collection of global variables

data TmpVariables

Can not be serialized to JSON

Constructors

TmpVariables

Fields

• actualTmpVariables :: Set TmpVariable

Instances

Show TmpVariables

Defined in Bitcode

Methods

showsPrec :: Int -> TmpVariables -> ShowS

show :: TmpVariables -> String

showList :: [TmpVariables] -> ShowS

Eq TmpVariables

Defined in Bitcode

Methods

(==) :: TmpVariables -> TmpVariables -> Bool

(/=) :: TmpVariables -> TmpVariables -> Bool

Ord TmpVariables

Defined in Bitcode

Methods

compare :: TmpVariables -> TmpVariables -> Ordering

(<) :: TmpVariables -> TmpVariables -> Bool

(<=) :: TmpVariables -> TmpVariables -> Bool

(>) :: TmpVariables -> TmpVariables -> Bool

(>=) :: TmpVariables -> TmpVariables -> Bool

max :: TmpVariables -> TmpVariables -> TmpVariables

min :: TmpVariables -> TmpVariables -> TmpVariables

locationVariable :: Variable -> Location

data CallContent

Constructors

CallContent

Fields

• callOutput :: Variable
• callee :: Variable
• args :: [Variable]
• callLocation :: Location

Instances

FromJSON CallContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser CallContent

parseJSONList :: Value -> Parser [CallContent]

omittedField :: Maybe CallContent

ToJSON CallContent

Defined in Bitcode

Methods

toJSON :: CallContent -> Value

toEncoding :: CallContent -> Encoding

toJSONList :: [CallContent] -> Value

toEncodingList :: [CallContent] -> Encoding

omitField :: CallContent -> Bool

Generic CallContent

Defined in Bitcode

Associated Types

type Rep CallContent :: Type -> Type

Methods

from :: CallContent -> Rep CallContent x

to :: Rep CallContent x -> CallContent

Show CallContent

Defined in Bitcode

Methods

showsPrec :: Int -> CallContent -> ShowS

show :: CallContent -> String

showList :: [CallContent] -> ShowS

Eq CallContent

Defined in Bitcode

Methods

(==) :: CallContent -> CallContent -> Bool

(/=) :: CallContent -> CallContent -> Bool

Ord CallContent

Defined in Bitcode

Methods

compare :: CallContent -> CallContent -> Ordering

(<) :: CallContent -> CallContent -> Bool

(<=) :: CallContent -> CallContent -> Bool

(>) :: CallContent -> CallContent -> Bool

(>=) :: CallContent -> CallContent -> Bool

max :: CallContent -> CallContent -> CallContent

min :: CallContent -> CallContent -> CallContent

type Rep CallContent

Defined in Bitcode

type Rep CallContent = D1 ('MetaData "CallContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "CallContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "callOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "callee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)) :*: (S1 ('MetaSel ('Just "args") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Variable]) :*: S1 ('MetaSel ('Just "callLocation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Location))))

callInputs :: CallContent -> [TmpVariable]

data BinopContent

Constructors

BinopContent

Fields

• binopOutput :: Variable
• binopLhs :: Variable
• binopRhs :: Variable

Instances

FromJSON BinopContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser BinopContent

parseJSONList :: Value -> Parser [BinopContent]

omittedField :: Maybe BinopContent

ToJSON BinopContent

Defined in Bitcode

Methods

toJSON :: BinopContent -> Value

toEncoding :: BinopContent -> Encoding

toJSONList :: [BinopContent] -> Value

toEncodingList :: [BinopContent] -> Encoding

omitField :: BinopContent -> Bool

Generic BinopContent

Defined in Bitcode

Associated Types

type Rep BinopContent :: Type -> Type

Methods

from :: BinopContent -> Rep BinopContent x

to :: Rep BinopContent x -> BinopContent

Show BinopContent

Defined in Bitcode

Methods

showsPrec :: Int -> BinopContent -> ShowS

show :: BinopContent -> String

showList :: [BinopContent] -> ShowS

Eq BinopContent

Defined in Bitcode

Methods

(==) :: BinopContent -> BinopContent -> Bool

(/=) :: BinopContent -> BinopContent -> Bool

Ord BinopContent

Defined in Bitcode

Methods

compare :: BinopContent -> BinopContent -> Ordering

(<) :: BinopContent -> BinopContent -> Bool

(<=) :: BinopContent -> BinopContent -> Bool

(>) :: BinopContent -> BinopContent -> Bool

(>=) :: BinopContent -> BinopContent -> Bool

max :: BinopContent -> BinopContent -> BinopContent

min :: BinopContent -> BinopContent -> BinopContent

type Rep BinopContent

Defined in Bitcode

type Rep BinopContent = D1 ('MetaData "BinopContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "BinopContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "binopOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: (S1 ('MetaSel ('Just "binopLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "binopRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable))))

data UnopContent

Constructors

UnopContent

Fields

• unopOutput :: Variable
• unopLhs :: Variable

Instances

FromJSON UnopContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser UnopContent

parseJSONList :: Value -> Parser [UnopContent]

omittedField :: Maybe UnopContent

ToJSON UnopContent

Defined in Bitcode

Methods

toJSON :: UnopContent -> Value

toEncoding :: UnopContent -> Encoding

toJSONList :: [UnopContent] -> Value

toEncodingList :: [UnopContent] -> Encoding

omitField :: UnopContent -> Bool

Generic UnopContent

Defined in Bitcode

Associated Types

type Rep UnopContent :: Type -> Type

Methods

from :: UnopContent -> Rep UnopContent x

to :: Rep UnopContent x -> UnopContent

Show UnopContent

Defined in Bitcode

Methods

showsPrec :: Int -> UnopContent -> ShowS

show :: UnopContent -> String

showList :: [UnopContent] -> ShowS

Eq UnopContent

Defined in Bitcode

Methods

(==) :: UnopContent -> UnopContent -> Bool

(/=) :: UnopContent -> UnopContent -> Bool

Ord UnopContent

Defined in Bitcode

Methods

compare :: UnopContent -> UnopContent -> Ordering

(<) :: UnopContent -> UnopContent -> Bool

(<=) :: UnopContent -> UnopContent -> Bool

(>) :: UnopContent -> UnopContent -> Bool

(>=) :: UnopContent -> UnopContent -> Bool

max :: UnopContent -> UnopContent -> UnopContent

min :: UnopContent -> UnopContent -> UnopContent

type Rep UnopContent

Defined in Bitcode

type Rep UnopContent = D1 ('MetaData "UnopContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "UnopContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "unopOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "unopLhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)))

data AssumeContent

Constructors

AssumeContent

Fields

• assumeVariable :: Variable
• assumedValue :: Bool

Instances

FromJSON AssumeContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser AssumeContent

parseJSONList :: Value -> Parser [AssumeContent]

omittedField :: Maybe AssumeContent

ToJSON AssumeContent

Defined in Bitcode

Methods

toJSON :: AssumeContent -> Value

toEncoding :: AssumeContent -> Encoding

toJSONList :: [AssumeContent] -> Value

toEncodingList :: [AssumeContent] -> Encoding

omitField :: AssumeContent -> Bool

Generic AssumeContent

Defined in Bitcode

Associated Types

type Rep AssumeContent :: Type -> Type

Methods

from :: AssumeContent -> Rep AssumeContent x

to :: Rep AssumeContent x -> AssumeContent

Show AssumeContent

Defined in Bitcode

Methods

showsPrec :: Int -> AssumeContent -> ShowS

show :: AssumeContent -> String

showList :: [AssumeContent] -> ShowS

Eq AssumeContent

Defined in Bitcode

Methods

(==) :: AssumeContent -> AssumeContent -> Bool

(/=) :: AssumeContent -> AssumeContent -> Bool

Ord AssumeContent

Defined in Bitcode

Methods

compare :: AssumeContent -> AssumeContent -> Ordering

(<) :: AssumeContent -> AssumeContent -> Bool

(<=) :: AssumeContent -> AssumeContent -> Bool

(>) :: AssumeContent -> AssumeContent -> Bool

(>=) :: AssumeContent -> AssumeContent -> Bool

max :: AssumeContent -> AssumeContent -> AssumeContent

min :: AssumeContent -> AssumeContent -> AssumeContent

type Rep AssumeContent

Defined in Bitcode

type Rep AssumeContent = D1 ('MetaData "AssumeContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "AssumeContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "assumeVariable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "assumedValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

mkAssumeInstruction :: Variable -> Bool -> Instruction

data ReturnContent

Constructors

ReturnContent

Fields

• returnValue :: Maybe Variable

Instances

FromJSON ReturnContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser ReturnContent

parseJSONList :: Value -> Parser [ReturnContent]

omittedField :: Maybe ReturnContent

ToJSON ReturnContent

Defined in Bitcode

Methods

toJSON :: ReturnContent -> Value

toEncoding :: ReturnContent -> Encoding

toJSONList :: [ReturnContent] -> Value

toEncodingList :: [ReturnContent] -> Encoding

omitField :: ReturnContent -> Bool

Generic ReturnContent

Defined in Bitcode

Associated Types

type Rep ReturnContent :: Type -> Type

Methods

from :: ReturnContent -> Rep ReturnContent x

to :: Rep ReturnContent x -> ReturnContent

Show ReturnContent

Defined in Bitcode

Methods

showsPrec :: Int -> ReturnContent -> ShowS

show :: ReturnContent -> String

showList :: [ReturnContent] -> ShowS

Eq ReturnContent

Defined in Bitcode

Methods

(==) :: ReturnContent -> ReturnContent -> Bool

(/=) :: ReturnContent -> ReturnContent -> Bool

Ord ReturnContent

Defined in Bitcode

Methods

compare :: ReturnContent -> ReturnContent -> Ordering

(<) :: ReturnContent -> ReturnContent -> Bool

(<=) :: ReturnContent -> ReturnContent -> Bool

(>) :: ReturnContent -> ReturnContent -> Bool

(>=) :: ReturnContent -> ReturnContent -> Bool

max :: ReturnContent -> ReturnContent -> ReturnContent

min :: ReturnContent -> ReturnContent -> ReturnContent

type Rep ReturnContent

Defined in Bitcode

type Rep ReturnContent = D1 ('MetaData "ReturnContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "ReturnContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "returnValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Variable))))

data AssignContent

Constructors

AssignContent

Fields

• assignOutput :: Variable
• assignInput :: Variable

Instances

FromJSON AssignContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser AssignContent

parseJSONList :: Value -> Parser [AssignContent]

omittedField :: Maybe AssignContent

ToJSON AssignContent

Defined in Bitcode

Methods

toJSON :: AssignContent -> Value

toEncoding :: AssignContent -> Encoding

toJSONList :: [AssignContent] -> Value

toEncodingList :: [AssignContent] -> Encoding

omitField :: AssignContent -> Bool

Generic AssignContent

Defined in Bitcode

Associated Types

type Rep AssignContent :: Type -> Type

Methods

from :: AssignContent -> Rep AssignContent x

to :: Rep AssignContent x -> AssignContent

Show AssignContent

Defined in Bitcode

Methods

showsPrec :: Int -> AssignContent -> ShowS

show :: AssignContent -> String

showList :: [AssignContent] -> ShowS

Eq AssignContent

Defined in Bitcode

Methods

(==) :: AssignContent -> AssignContent -> Bool

(/=) :: AssignContent -> AssignContent -> Bool

Ord AssignContent

Defined in Bitcode

Methods

compare :: AssignContent -> AssignContent -> Ordering

(<) :: AssignContent -> AssignContent -> Bool

(<=) :: AssignContent -> AssignContent -> Bool

(>) :: AssignContent -> AssignContent -> Bool

(>=) :: AssignContent -> AssignContent -> Bool

max :: AssignContent -> AssignContent -> AssignContent

min :: AssignContent -> AssignContent -> AssignContent

type Rep AssignContent

Defined in Bitcode

type Rep AssignContent = D1 ('MetaData "AssignContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "AssignContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "assignOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "assignInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)))

data IntContent

Constructors

IntContent

Fields

• loadImmIntOutput :: TmpVariable
• loadImmIntValue :: ConstInt

Instances

FromJSON IntContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser IntContent

parseJSONList :: Value -> Parser [IntContent]

omittedField :: Maybe IntContent

ToJSON IntContent

Defined in Bitcode

Methods

toJSON :: IntContent -> Value

toEncoding :: IntContent -> Encoding

toJSONList :: [IntContent] -> Value

toEncodingList :: [IntContent] -> Encoding

omitField :: IntContent -> Bool

Generic IntContent

Defined in Bitcode

Associated Types

type Rep IntContent :: Type -> Type

Methods

from :: IntContent -> Rep IntContent x

to :: Rep IntContent x -> IntContent

Show IntContent

Defined in Bitcode

Methods

showsPrec :: Int -> IntContent -> ShowS

show :: IntContent -> String

showList :: [IntContent] -> ShowS

Eq IntContent

Defined in Bitcode

Methods

(==) :: IntContent -> IntContent -> Bool

(/=) :: IntContent -> IntContent -> Bool

Ord IntContent

Defined in Bitcode

Methods

compare :: IntContent -> IntContent -> Ordering

(<) :: IntContent -> IntContent -> Bool

(<=) :: IntContent -> IntContent -> Bool

(>) :: IntContent -> IntContent -> Bool

(>=) :: IntContent -> IntContent -> Bool

max :: IntContent -> IntContent -> IntContent

min :: IntContent -> IntContent -> IntContent

type Rep IntContent

Defined in Bitcode

type Rep IntContent = D1 ('MetaData "IntContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "IntContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "loadImmIntOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TmpVariable) :*: S1 ('MetaSel ('Just "loadImmIntValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstInt)))

data StrContent

Constructors

StrContent

Fields

• loadImmStrOutput :: TmpVariable
• loadImmStrValue :: ConstStr

Instances

FromJSON StrContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser StrContent

parseJSONList :: Value -> Parser [StrContent]

omittedField :: Maybe StrContent

ToJSON StrContent

Defined in Bitcode

Methods

toJSON :: StrContent -> Value

toEncoding :: StrContent -> Encoding

toJSONList :: [StrContent] -> Value

toEncodingList :: [StrContent] -> Encoding

omitField :: StrContent -> Bool

Generic StrContent

Defined in Bitcode

Associated Types

type Rep StrContent :: Type -> Type

Methods

from :: StrContent -> Rep StrContent x

to :: Rep StrContent x -> StrContent

Show StrContent

Defined in Bitcode

Methods

showsPrec :: Int -> StrContent -> ShowS

show :: StrContent -> String

showList :: [StrContent] -> ShowS

Eq StrContent

Defined in Bitcode

Methods

(==) :: StrContent -> StrContent -> Bool

(/=) :: StrContent -> StrContent -> Bool

Ord StrContent

Defined in Bitcode

Methods

compare :: StrContent -> StrContent -> Ordering

(<) :: StrContent -> StrContent -> Bool

(<=) :: StrContent -> StrContent -> Bool

(>) :: StrContent -> StrContent -> Bool

(>=) :: StrContent -> StrContent -> Bool

max :: StrContent -> StrContent -> StrContent

min :: StrContent -> StrContent -> StrContent

type Rep StrContent

Defined in Bitcode

type Rep StrContent = D1 ('MetaData "StrContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "StrContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "loadImmStrOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TmpVariable) :*: S1 ('MetaSel ('Just "loadImmStrValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstStr)))

data BoolContent

Constructors

BoolContent

Fields

• loadImmBoolOutput :: TmpVariable
• loadImmBoolValue :: ConstBool

Instances

FromJSON BoolContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser BoolContent

parseJSONList :: Value -> Parser [BoolContent]

omittedField :: Maybe BoolContent

ToJSON BoolContent

Defined in Bitcode

Methods

toJSON :: BoolContent -> Value

toEncoding :: BoolContent -> Encoding

toJSONList :: [BoolContent] -> Value

toEncodingList :: [BoolContent] -> Encoding

omitField :: BoolContent -> Bool

Generic BoolContent

Defined in Bitcode

Associated Types

type Rep BoolContent :: Type -> Type

Methods

from :: BoolContent -> Rep BoolContent x

to :: Rep BoolContent x -> BoolContent

Show BoolContent

Defined in Bitcode

Methods

showsPrec :: Int -> BoolContent -> ShowS

show :: BoolContent -> String

showList :: [BoolContent] -> ShowS

Eq BoolContent

Defined in Bitcode

Methods

(==) :: BoolContent -> BoolContent -> Bool

(/=) :: BoolContent -> BoolContent -> Bool

Ord BoolContent

Defined in Bitcode

Methods

compare :: BoolContent -> BoolContent -> Ordering

(<) :: BoolContent -> BoolContent -> Bool

(<=) :: BoolContent -> BoolContent -> Bool

(>) :: BoolContent -> BoolContent -> Bool

(>=) :: BoolContent -> BoolContent -> Bool

max :: BoolContent -> BoolContent -> BoolContent

min :: BoolContent -> BoolContent -> BoolContent

type Rep BoolContent

Defined in Bitcode

type Rep BoolContent = D1 ('MetaData "BoolContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "BoolContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "loadImmBoolOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TmpVariable) :*: S1 ('MetaSel ('Just "loadImmBoolValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstBool)))

data FieldReadContent

Constructors

FieldReadContent

Fields

• fieldReadOutput :: Variable
• fieldReadInput :: Variable
• fieldReadName :: FieldName

Instances

FromJSON FieldReadContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser FieldReadContent

parseJSONList :: Value -> Parser [FieldReadContent]

omittedField :: Maybe FieldReadContent

ToJSON FieldReadContent

Defined in Bitcode

Methods

toJSON :: FieldReadContent -> Value

toEncoding :: FieldReadContent -> Encoding

toJSONList :: [FieldReadContent] -> Value

toEncodingList :: [FieldReadContent] -> Encoding

omitField :: FieldReadContent -> Bool

Generic FieldReadContent

Defined in Bitcode

Associated Types

type Rep FieldReadContent :: Type -> Type

Methods

from :: FieldReadContent -> Rep FieldReadContent x

to :: Rep FieldReadContent x -> FieldReadContent

Show FieldReadContent

Defined in Bitcode

Methods

showsPrec :: Int -> FieldReadContent -> ShowS

show :: FieldReadContent -> String

showList :: [FieldReadContent] -> ShowS

Eq FieldReadContent

Defined in Bitcode

Methods

(==) :: FieldReadContent -> FieldReadContent -> Bool

(/=) :: FieldReadContent -> FieldReadContent -> Bool

Ord FieldReadContent

Defined in Bitcode

Methods

compare :: FieldReadContent -> FieldReadContent -> Ordering

(<) :: FieldReadContent -> FieldReadContent -> Bool

(<=) :: FieldReadContent -> FieldReadContent -> Bool

(>) :: FieldReadContent -> FieldReadContent -> Bool

(>=) :: FieldReadContent -> FieldReadContent -> Bool

max :: FieldReadContent -> FieldReadContent -> FieldReadContent

min :: FieldReadContent -> FieldReadContent -> FieldReadContent

type Rep FieldReadContent

Defined in Bitcode

type Rep FieldReadContent = D1 ('MetaData "FieldReadContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "FieldReadContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldReadOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: (S1 ('MetaSel ('Just "fieldReadInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "fieldReadName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName))))

data FieldWriteContent

Constructors

FieldWriteContent

Fields

• fieldWriteOutput :: Variable
• fieldWriteName :: FieldName
• fieldWriteInput :: Variable

Instances

FromJSON FieldWriteContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser FieldWriteContent

parseJSONList :: Value -> Parser [FieldWriteContent]

omittedField :: Maybe FieldWriteContent

ToJSON FieldWriteContent

Defined in Bitcode

Methods

toJSON :: FieldWriteContent -> Value

toEncoding :: FieldWriteContent -> Encoding

toJSONList :: [FieldWriteContent] -> Value

toEncodingList :: [FieldWriteContent] -> Encoding

omitField :: FieldWriteContent -> Bool

Generic FieldWriteContent

Defined in Bitcode

Associated Types

type Rep FieldWriteContent :: Type -> Type

Methods

from :: FieldWriteContent -> Rep FieldWriteContent x

to :: Rep FieldWriteContent x -> FieldWriteContent

Show FieldWriteContent

Defined in Bitcode

Methods

showsPrec :: Int -> FieldWriteContent -> ShowS

show :: FieldWriteContent -> String

showList :: [FieldWriteContent] -> ShowS

Eq FieldWriteContent

Defined in Bitcode

Methods

(==) :: FieldWriteContent -> FieldWriteContent -> Bool

(/=) :: FieldWriteContent -> FieldWriteContent -> Bool

Ord FieldWriteContent

Defined in Bitcode

Methods

compare :: FieldWriteContent -> FieldWriteContent -> Ordering

(<) :: FieldWriteContent -> FieldWriteContent -> Bool

(<=) :: FieldWriteContent -> FieldWriteContent -> Bool

(>) :: FieldWriteContent -> FieldWriteContent -> Bool

(>=) :: FieldWriteContent -> FieldWriteContent -> Bool

max :: FieldWriteContent -> FieldWriteContent -> FieldWriteContent

min :: FieldWriteContent -> FieldWriteContent -> FieldWriteContent

type Rep FieldWriteContent

Defined in Bitcode

type Rep FieldWriteContent = D1 ('MetaData "FieldWriteContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "FieldWriteContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldWriteOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: (S1 ('MetaSel ('Just "fieldWriteName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName) :*: S1 ('MetaSel ('Just "fieldWriteInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable))))

data SubscriptReadContent

Constructors

SubscriptReadContent

Fields

• subscriptReadOutput :: Variable
• subscriptReadInput :: Variable
• subscriptReadIdx :: Variable

Instances

FromJSON SubscriptReadContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser SubscriptReadContent

parseJSONList :: Value -> Parser [SubscriptReadContent]

omittedField :: Maybe SubscriptReadContent

ToJSON SubscriptReadContent

Defined in Bitcode

Methods

toJSON :: SubscriptReadContent -> Value

toEncoding :: SubscriptReadContent -> Encoding

toJSONList :: [SubscriptReadContent] -> Value

toEncodingList :: [SubscriptReadContent] -> Encoding

omitField :: SubscriptReadContent -> Bool

Generic SubscriptReadContent

Defined in Bitcode

Associated Types

type Rep SubscriptReadContent :: Type -> Type

Methods

from :: SubscriptReadContent -> Rep SubscriptReadContent x

to :: Rep SubscriptReadContent x -> SubscriptReadContent

Show SubscriptReadContent

Defined in Bitcode

Methods

showsPrec :: Int -> SubscriptReadContent -> ShowS

show :: SubscriptReadContent -> String

showList :: [SubscriptReadContent] -> ShowS

Eq SubscriptReadContent

Defined in Bitcode

Methods

(==) :: SubscriptReadContent -> SubscriptReadContent -> Bool

(/=) :: SubscriptReadContent -> SubscriptReadContent -> Bool

Ord SubscriptReadContent

Defined in Bitcode

Methods

compare :: SubscriptReadContent -> SubscriptReadContent -> Ordering

(<) :: SubscriptReadContent -> SubscriptReadContent -> Bool

(<=) :: SubscriptReadContent -> SubscriptReadContent -> Bool

(>) :: SubscriptReadContent -> SubscriptReadContent -> Bool

(>=) :: SubscriptReadContent -> SubscriptReadContent -> Bool

max :: SubscriptReadContent -> SubscriptReadContent -> SubscriptReadContent

min :: SubscriptReadContent -> SubscriptReadContent -> SubscriptReadContent

type Rep SubscriptReadContent

Defined in Bitcode

type Rep SubscriptReadContent = D1 ('MetaData "SubscriptReadContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "SubscriptReadContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscriptReadOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: (S1 ('MetaSel ('Just "subscriptReadInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "subscriptReadIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable))))

data SubscriptWriteContent

Constructors

SubscriptWriteContent

Fields

• subscriptWriteOutput :: Variable
• subscriptWriteIdx :: Variable
• subscriptWriteInput :: Variable

Instances

FromJSON SubscriptWriteContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser SubscriptWriteContent

parseJSONList :: Value -> Parser [SubscriptWriteContent]

omittedField :: Maybe SubscriptWriteContent

ToJSON SubscriptWriteContent

Defined in Bitcode

Methods

toJSON :: SubscriptWriteContent -> Value

toEncoding :: SubscriptWriteContent -> Encoding

toJSONList :: [SubscriptWriteContent] -> Value

toEncodingList :: [SubscriptWriteContent] -> Encoding

omitField :: SubscriptWriteContent -> Bool

Generic SubscriptWriteContent

Defined in Bitcode

Associated Types

type Rep SubscriptWriteContent :: Type -> Type

Methods

from :: SubscriptWriteContent -> Rep SubscriptWriteContent x

to :: Rep SubscriptWriteContent x -> SubscriptWriteContent

Show SubscriptWriteContent

Defined in Bitcode

Methods

showsPrec :: Int -> SubscriptWriteContent -> ShowS

show :: SubscriptWriteContent -> String

showList :: [SubscriptWriteContent] -> ShowS

Eq SubscriptWriteContent

Defined in Bitcode

Methods

(==) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool

(/=) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool

Ord SubscriptWriteContent

Defined in Bitcode

Methods

compare :: SubscriptWriteContent -> SubscriptWriteContent -> Ordering

(<) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool

(<=) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool

(>) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool

(>=) :: SubscriptWriteContent -> SubscriptWriteContent -> Bool

max :: SubscriptWriteContent -> SubscriptWriteContent -> SubscriptWriteContent

min :: SubscriptWriteContent -> SubscriptWriteContent -> SubscriptWriteContent

type Rep SubscriptWriteContent

Defined in Bitcode

type Rep SubscriptWriteContent = D1 ('MetaData "SubscriptWriteContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "SubscriptWriteContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscriptWriteOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: (S1 ('MetaSel ('Just "subscriptWriteIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :*: S1 ('MetaSel ('Just "subscriptWriteInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable))))

data ParamDeclContent

Constructors

ParamDeclContent

Fields

• paramVariable :: ParamVariable

Instances

FromJSON ParamDeclContent

Defined in Bitcode

Methods

parseJSON :: Value -> Parser ParamDeclContent

parseJSONList :: Value -> Parser [ParamDeclContent]

omittedField :: Maybe ParamDeclContent

ToJSON ParamDeclContent

Defined in Bitcode

Methods

toJSON :: ParamDeclContent -> Value

toEncoding :: ParamDeclContent -> Encoding

toJSONList :: [ParamDeclContent] -> Value

toEncodingList :: [ParamDeclContent] -> Encoding

omitField :: ParamDeclContent -> Bool

Generic ParamDeclContent

Defined in Bitcode

Associated Types

type Rep ParamDeclContent :: Type -> Type

Methods

from :: ParamDeclContent -> Rep ParamDeclContent x

to :: Rep ParamDeclContent x -> ParamDeclContent

Show ParamDeclContent

Defined in Bitcode

Methods

showsPrec :: Int -> ParamDeclContent -> ShowS

show :: ParamDeclContent -> String

showList :: [ParamDeclContent] -> ShowS

Eq ParamDeclContent

Defined in Bitcode

Methods

(==) :: ParamDeclContent -> ParamDeclContent -> Bool

(/=) :: ParamDeclContent -> ParamDeclContent -> Bool

Ord ParamDeclContent

Defined in Bitcode

Methods

compare :: ParamDeclContent -> ParamDeclContent -> Ordering

(<) :: ParamDeclContent -> ParamDeclContent -> Bool

(<=) :: ParamDeclContent -> ParamDeclContent -> Bool

(>) :: ParamDeclContent -> ParamDeclContent -> Bool

(>=) :: ParamDeclContent -> ParamDeclContent -> Bool

max :: ParamDeclContent -> ParamDeclContent -> ParamDeclContent

min :: ParamDeclContent -> ParamDeclContent -> ParamDeclContent

type Rep ParamDeclContent

Defined in Bitcode

type Rep ParamDeclContent = D1 ('MetaData "ParamDeclContent" "Bitcode" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "ParamDeclContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "paramVariable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParamVariable)))

output :: InstructionContent -> Maybe Variable

inputs :: InstructionContent -> Set TmpVariable

inputs' :: InstructionContent -> Set Variable

variables :: InstructionContent -> Set Variable