Safe Haskell	None
Language	Haskell2010

Data.JumpTarget

Description

Synopsis

data ResolvedJumpTarget
- = Unresolved
- | External String
- | ImmediateAddress Word64

Documentation

data ResolvedJumpTarget Source #

Resolving the operand of a jump/call can produce one of the following.

Constructors

Unresolved	An indirect branch that has not been resolved yet
External String	A call to external function f
ImmediateAddress Word64	An internal call to the given address

Instances

Instances details

Eq ResolvedJumpTarget Source #
Instance details Defined in Data.JumpTarget Methods (==) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool # (/=) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool #
Ord ResolvedJumpTarget Source #
Instance details Defined in Data.JumpTarget Methods compare :: ResolvedJumpTarget -> ResolvedJumpTarget -> Ordering # (<) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool # (<=) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool # (>) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool # (>=) :: ResolvedJumpTarget -> ResolvedJumpTarget -> Bool # max :: ResolvedJumpTarget -> ResolvedJumpTarget -> ResolvedJumpTarget # min :: ResolvedJumpTarget -> ResolvedJumpTarget -> ResolvedJumpTarget #
Show ResolvedJumpTarget Source #
Instance details Defined in Data.JumpTarget Methods showsPrec :: Int -> ResolvedJumpTarget -> ShowS # show :: ResolvedJumpTarget -> String # showList :: [ResolvedJumpTarget] -> ShowS #
Generic ResolvedJumpTarget Source #
Instance details Defined in Data.JumpTarget Associated Types type Rep ResolvedJumpTarget :: Type -> Type # Methods from :: ResolvedJumpTarget -> Rep ResolvedJumpTarget x # to :: Rep ResolvedJumpTarget x -> ResolvedJumpTarget #
Serialize ResolvedJumpTarget Source #
Instance details Defined in Analysis.Context Methods put :: Putter ResolvedJumpTarget # get :: Get ResolvedJumpTarget #
NFData ResolvedJumpTarget Source #
Instance details Defined in Analysis.Context Methods rnf :: ResolvedJumpTarget -> () #
type Rep ResolvedJumpTarget Source #
Instance details Defined in Data.JumpTarget type Rep ResolvedJumpTarget = D1 ('MetaData "ResolvedJumpTarget" "Data.JumpTarget" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) (C1 ('MetaCons "Unresolved" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "External" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "ImmediateAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64))))