Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Data Arch Source # | |
Defined in Binrep.Type.Assembly gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Arch -> c Arch # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Arch # dataTypeOf :: Arch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Arch) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Arch) # gmapT :: (forall b. Data b => b -> b) -> Arch -> Arch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arch -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arch -> r # gmapQ :: (forall d. Data d => d -> u) -> Arch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Arch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arch -> m Arch # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arch -> m Arch # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arch -> m Arch # | |
Generic Arch Source # | |
Show Arch Source # | |
Eq Arch Source # | |
type Rep Arch Source # | |
newtype MachineInstr (arch :: Arch) Source #
Instances
Typeable arch => Data (MachineInstr arch) Source # | |
Defined in Binrep.Type.Assembly gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MachineInstr arch -> c (MachineInstr arch) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MachineInstr arch) # toConstr :: MachineInstr arch -> Constr # dataTypeOf :: MachineInstr arch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MachineInstr arch)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MachineInstr arch)) # gmapT :: (forall b. Data b => b -> b) -> MachineInstr arch -> MachineInstr arch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MachineInstr arch -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MachineInstr arch -> r # gmapQ :: (forall d. Data d => d -> u) -> MachineInstr arch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MachineInstr arch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MachineInstr arch -> m (MachineInstr arch) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MachineInstr arch -> m (MachineInstr arch) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MachineInstr arch -> m (MachineInstr arch) # | |
Generic (MachineInstr arch) Source # | |
Defined in Binrep.Type.Assembly type Rep (MachineInstr arch) :: Type -> Type # from :: MachineInstr arch -> Rep (MachineInstr arch) x # to :: Rep (MachineInstr arch) x -> MachineInstr arch # | |
Show (MachineInstr arch) Source # | |
Defined in Binrep.Type.Assembly showsPrec :: Int -> MachineInstr arch -> ShowS # show :: MachineInstr arch -> String # showList :: [MachineInstr arch] -> ShowS # | |
type Rep (MachineInstr arch) Source # | |
Defined in Binrep.Type.Assembly type Rep (MachineInstr arch) = D1 ('MetaData "MachineInstr" "Binrep.Type.Assembly" "bytepatch-0.4.0-inplace" 'True) (C1 ('MetaCons "MachineInstr" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMachineInstr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString))) |
newtype MachineCode (arch :: Arch) Source #
Instances
Typeable arch => Data (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MachineCode arch -> c (MachineCode arch) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MachineCode arch) # toConstr :: MachineCode arch -> Constr # dataTypeOf :: MachineCode arch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MachineCode arch)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MachineCode arch)) # gmapT :: (forall b. Data b => b -> b) -> MachineCode arch -> MachineCode arch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MachineCode arch -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MachineCode arch -> r # gmapQ :: (forall d. Data d => d -> u) -> MachineCode arch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MachineCode arch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MachineCode arch -> m (MachineCode arch) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MachineCode arch -> m (MachineCode arch) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MachineCode arch -> m (MachineCode arch) # | |
Generic (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly type Rep (MachineCode arch) :: Type -> Type # from :: MachineCode arch -> Rep (MachineCode arch) x # to :: Rep (MachineCode arch) x -> MachineCode arch # | |
Show (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly showsPrec :: Int -> MachineCode arch -> ShowS # show :: MachineCode arch -> String # showList :: [MachineCode arch] -> ShowS # | |
BLen (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly blen :: MachineCode arch -> BLenT # | |
Get (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly get :: Getter (MachineCode arch) # | |
Put (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly put :: MachineCode arch -> Builder # | |
Eq (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly (==) :: MachineCode arch -> MachineCode arch -> Bool # (/=) :: MachineCode arch -> MachineCode arch -> Bool # | |
type Rep (MachineCode arch) Source # | |
Defined in Binrep.Type.Assembly type Rep (MachineCode arch) = D1 ('MetaData "MachineCode" "Binrep.Type.Assembly" "bytepatch-0.4.0-inplace" 'True) (C1 ('MetaCons "MachineCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMachineCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) |
newtype AsmInstr (arch :: Arch) Source #
Instances
FromJSON (AsmInstr arch) Source # | |
ToJSON (AsmInstr arch) Source # | |
Defined in Binrep.Type.Assembly | |
Typeable arch => Data (AsmInstr arch) Source # | |
Defined in Binrep.Type.Assembly gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AsmInstr arch -> c (AsmInstr arch) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AsmInstr arch) # toConstr :: AsmInstr arch -> Constr # dataTypeOf :: AsmInstr arch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (AsmInstr arch)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (AsmInstr arch)) # gmapT :: (forall b. Data b => b -> b) -> AsmInstr arch -> AsmInstr arch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AsmInstr arch -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AsmInstr arch -> r # gmapQ :: (forall d. Data d => d -> u) -> AsmInstr arch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AsmInstr arch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AsmInstr arch -> m (AsmInstr arch) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmInstr arch -> m (AsmInstr arch) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AsmInstr arch -> m (AsmInstr arch) # | |
Generic (AsmInstr arch) Source # | |
Show (AsmInstr arch) Source # | |
Eq (AsmInstr arch) Source # | |
type Rep (AsmInstr arch) Source # | |
Defined in Binrep.Type.Assembly |