Safe Haskell	None
Language	Haskell2010

Generic.Operand

Synopsis

data GenericOperand storage
- = Memory (GenericAddress storage) Int
- | EffectiveAddress (GenericAddress storage)
- | Storage storage
- | Immediate Word64

Documentation

data GenericOperand storage Source #

A generic statepart, based on polymorphic type storage.

Constructors

Memory (GenericAddress storage) Int	A region in memory, whose address is stored in the given state part and whose size in bytes is given in the Int
EffectiveAddress (GenericAddress storage)	An address itself, but not the value stored at the address.
Storage storage	A storage location such as a register or a variable
Immediate Word64	An immediate value

Instances

Instances details

Functor GenericOperand Source #
Instance details Defined in Generic.Operand Methods fmap :: (a -> b) -> GenericOperand a -> GenericOperand b # (<$) :: a -> GenericOperand b -> GenericOperand a #
Eq storage => Eq (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Methods (==) :: GenericOperand storage -> GenericOperand storage -> Bool # (/=) :: GenericOperand storage -> GenericOperand storage -> Bool #
Ord storage => Ord (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Methods compare :: GenericOperand storage -> GenericOperand storage -> Ordering # (<) :: GenericOperand storage -> GenericOperand storage -> Bool # (<=) :: GenericOperand storage -> GenericOperand storage -> Bool # (>) :: GenericOperand storage -> GenericOperand storage -> Bool # (>=) :: GenericOperand storage -> GenericOperand storage -> Bool # max :: GenericOperand storage -> GenericOperand storage -> GenericOperand storage # min :: GenericOperand storage -> GenericOperand storage -> GenericOperand storage #
Show storage => Show (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Methods showsPrec :: Int -> GenericOperand storage -> ShowS # show :: GenericOperand storage -> String # showList :: [GenericOperand storage] -> ShowS #
Generic (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Associated Types type Rep (GenericOperand storage) :: Type -> Type # Methods from :: GenericOperand storage -> Rep (GenericOperand storage) x # to :: Rep (GenericOperand storage) x -> GenericOperand storage #
Serialize storage => Serialize (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Methods put :: Putter (GenericOperand storage) # get :: Get (GenericOperand storage) #
NFData storage => NFData (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Methods rnf :: GenericOperand storage -> () #
HasSize storage => HasSize (GenericOperand storage) Source #
Instance details Defined in Generic.Operand Methods sizeof :: GenericOperand storage -> Int Source #
type Rep (GenericOperand storage) Source #
Instance details Defined in Generic.Operand type Rep (GenericOperand storage) = D1 ('MetaData "GenericOperand" "Generic.Operand" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) ((C1 ('MetaCons "Memory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "EffectiveAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenericAddress storage)))) :+: (C1 ('MetaCons "Storage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 storage)) :+: C1 ('MetaCons "Immediate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))))