Safe Haskell	Safe-Inferred
Language	Haskell2010

HOCD.Command

Documentation

class Command req where Source #

Minimal complete definition

reply

Associated Types

type Reply req :: Type Source #

Methods

request :: req -> ByteString Source #

default request :: Show req => req -> ByteString Source #

reply :: req -> ByteString -> Either OCDError (Reply req) Source #

Instances

Instances details

Command Halt Source #
Instance details Defined in HOCD.Command Associated Types type Reply Halt Source # Methods request :: Halt -> ByteString Source # reply :: Halt -> ByteString -> Either OCDError (Reply Halt) Source #
Command Raw Source #
Instance details Defined in HOCD.Command Associated Types type Reply Raw Source # Methods request :: Raw -> ByteString Source # reply :: Raw -> ByteString -> Either OCDError (Reply Raw) Source #
Command Registers Source #
Instance details Defined in HOCD.Command Associated Types type Reply Registers Source # Methods request :: Registers -> ByteString Source # reply :: Registers -> ByteString -> Either OCDError (Reply Registers) Source #
Command Reset Source #
Instance details Defined in HOCD.Command Associated Types type Reply Reset Source # Methods request :: Reset -> ByteString Source # reply :: Reset -> ByteString -> Either OCDError (Reply Reset) Source #
Command Resume Source #
Instance details Defined in HOCD.Command Associated Types type Reply Resume Source # Methods request :: Resume -> ByteString Source # reply :: Resume -> ByteString -> Either OCDError (Reply Resume) Source #
Command Step Source #
Instance details Defined in HOCD.Command Associated Types type Reply Step Source # Methods request :: Step -> ByteString Source # reply :: Step -> ByteString -> Either OCDError (Reply Step) Source #
Command Version Source #
Instance details Defined in HOCD.Command Associated Types type Reply Version Source # Methods request :: Version -> ByteString Source # reply :: Version -> ByteString -> Either OCDError (Reply Version) Source #
(Command a, Show a) => Command (Capture a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (Capture a) Source # Methods request :: Capture a -> ByteString Source # reply :: Capture a -> ByteString -> Either OCDError (Reply (Capture a)) Source #
(FiniteBits a, Integral a) => Command (ReadMemory a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (ReadMemory a) Source # Methods request :: ReadMemory a -> ByteString Source # reply :: ReadMemory a -> ByteString -> Either OCDError (Reply (ReadMemory a)) Source #
(FiniteBits a, Integral a) => Command (ReadRegister a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (ReadRegister a) Source # Methods request :: ReadRegister a -> ByteString Source # reply :: ReadRegister a -> ByteString -> Either OCDError (Reply (ReadRegister a)) Source #
(FiniteBits a, Integral a, PrintfArg a) => Command (WriteMemory a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (WriteMemory a) Source # Methods request :: WriteMemory a -> ByteString Source # reply :: WriteMemory a -> ByteString -> Either OCDError (Reply (WriteMemory a)) Source #
(FiniteBits a, Integral a, PrintfArg a) => Command (WriteRegister a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (WriteRegister a) Source # Methods request :: WriteRegister a -> ByteString Source # reply :: WriteRegister a -> ByteString -> Either OCDError (Reply (WriteRegister a)) Source #

data Halt Source #

Constructors

Halt

Instances

Instances details

Show Halt Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Halt -> ShowS # show :: Halt -> String # showList :: [Halt] -> ShowS #
Command Halt Source #
Instance details Defined in HOCD.Command Associated Types type Reply Halt Source # Methods request :: Halt -> ByteString Source # reply :: Halt -> ByteString -> Either OCDError (Reply Halt) Source #
type Reply Halt Source #
Instance details Defined in HOCD.Command type Reply Halt = ()

data Reset Source #

Constructors

Reset ResetMode

Instances

Instances details

Show Reset Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Reset -> ShowS # show :: Reset -> String # showList :: [Reset] -> ShowS #
Command Reset Source #
Instance details Defined in HOCD.Command Associated Types type Reply Reset Source # Methods request :: Reset -> ByteString Source # reply :: Reset -> ByteString -> Either OCDError (Reply Reset) Source #
type Reply Reset Source #
Instance details Defined in HOCD.Command type Reply Reset = ()

data ResetMode Source #

Constructors

ResetMode_Run	Let the target run after reset
ResetMode_Halt	Halt target after reset
ResetMode_Init	Halt target after reset and execute reset-init script

Instances

Instances details

Show ResetMode Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> ResetMode -> ShowS # show :: ResetMode -> String # showList :: [ResetMode] -> ShowS #
Eq ResetMode Source #
Instance details Defined in HOCD.Command Methods (==) :: ResetMode -> ResetMode -> Bool # (/=) :: ResetMode -> ResetMode -> Bool #
Ord ResetMode Source #
Instance details Defined in HOCD.Command Methods compare :: ResetMode -> ResetMode -> Ordering # (<) :: ResetMode -> ResetMode -> Bool # (<=) :: ResetMode -> ResetMode -> Bool # (>) :: ResetMode -> ResetMode -> Bool # (>=) :: ResetMode -> ResetMode -> Bool # max :: ResetMode -> ResetMode -> ResetMode # min :: ResetMode -> ResetMode -> ResetMode #

data Resume Source #

Constructors

Resume (Maybe MemAddress)

Instances

Instances details

Show Resume Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Resume -> ShowS # show :: Resume -> String # showList :: [Resume] -> ShowS #
Command Resume Source #
Instance details Defined in HOCD.Command Associated Types type Reply Resume Source # Methods request :: Resume -> ByteString Source # reply :: Resume -> ByteString -> Either OCDError (Reply Resume) Source #
type Reply Resume Source #
Instance details Defined in HOCD.Command type Reply Resume = ()

data Step Source #

Constructors

Step (Maybe MemAddress)

Instances

Instances details

Show Step Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Step -> ShowS # show :: Step -> String # showList :: [Step] -> ShowS #
Command Step Source #
Instance details Defined in HOCD.Command Associated Types type Reply Step Source # Methods request :: Step -> ByteString Source # reply :: Step -> ByteString -> Either OCDError (Reply Step) Source #
type Reply Step Source #
Instance details Defined in HOCD.Command type Reply Step = ()

data Capture a Source #

Constructors

Capture a

Instances

Instances details

Show a => Show (Capture a) Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Capture a -> ShowS # show :: Capture a -> String # showList :: [Capture a] -> ShowS #
(Command a, Show a) => Command (Capture a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (Capture a) Source # Methods request :: Capture a -> ByteString Source # reply :: Capture a -> ByteString -> Either OCDError (Reply (Capture a)) Source #
type Reply (Capture a) Source #
Instance details Defined in HOCD.Command type Reply (Capture a) = ByteString

data ReadMemory a Source #

Constructors

ReadMemory
Fields readMemoryAddr :: MemAddress readMemoryCount :: Int

Instances

Instances details

(FiniteBits a, Num a) => Show (ReadMemory a) Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> ReadMemory a -> ShowS # show :: ReadMemory a -> String # showList :: [ReadMemory a] -> ShowS #
(FiniteBits a, Integral a) => Command (ReadMemory a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (ReadMemory a) Source # Methods request :: ReadMemory a -> ByteString Source # reply :: ReadMemory a -> ByteString -> Either OCDError (Reply (ReadMemory a)) Source #
type Reply (ReadMemory a) Source #
Instance details Defined in HOCD.Command type Reply (ReadMemory a) = [a]

data WriteMemory a Source #

Constructors

WriteMemory
Fields writeMemoryAddr :: MemAddress writeMemoryData :: [a]

Instances

Instances details

(FiniteBits a, PrintfArg a, Integral a) => Show (WriteMemory a) Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> WriteMemory a -> ShowS # show :: WriteMemory a -> String # showList :: [WriteMemory a] -> ShowS #
(FiniteBits a, Integral a, PrintfArg a) => Command (WriteMemory a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (WriteMemory a) Source # Methods request :: WriteMemory a -> ByteString Source # reply :: WriteMemory a -> ByteString -> Either OCDError (Reply (WriteMemory a)) Source #
type Reply (WriteMemory a) Source #
Instance details Defined in HOCD.Command type Reply (WriteMemory a) = ()

data Registers Source #

Constructors

Registers

Instances

Instances details

Show Registers Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Registers -> ShowS # show :: Registers -> String # showList :: [Registers] -> ShowS #
Command Registers Source #
Instance details Defined in HOCD.Command Associated Types type Reply Registers Source # Methods request :: Registers -> ByteString Source # reply :: Registers -> ByteString -> Either OCDError (Reply Registers) Source #
type Reply Registers Source #
Instance details Defined in HOCD.Command type Reply Registers = Map RegisterName RegisterInfo

data ReadRegister a Source #

Constructors

ReadRegister RegisterName

Instances

Instances details

(FiniteBits a, Num a) => Show (ReadRegister a) Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> ReadRegister a -> ShowS # show :: ReadRegister a -> String # showList :: [ReadRegister a] -> ShowS #
(FiniteBits a, Integral a) => Command (ReadRegister a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (ReadRegister a) Source # Methods request :: ReadRegister a -> ByteString Source # reply :: ReadRegister a -> ByteString -> Either OCDError (Reply (ReadRegister a)) Source #
type Reply (ReadRegister a) Source #
Instance details Defined in HOCD.Command type Reply (ReadRegister a) = a

data WriteRegister a Source #

Constructors

WriteRegister
Fields writeRegisterName :: RegisterName writeRegisterValue :: a

Instances

Instances details

(FiniteBits a, Num a, PrintfArg a) => Show (WriteRegister a) Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> WriteRegister a -> ShowS # show :: WriteRegister a -> String # showList :: [WriteRegister a] -> ShowS #
(FiniteBits a, Integral a, PrintfArg a) => Command (WriteRegister a) Source #
Instance details Defined in HOCD.Command Associated Types type Reply (WriteRegister a) Source # Methods request :: WriteRegister a -> ByteString Source # reply :: WriteRegister a -> ByteString -> Either OCDError (Reply (WriteRegister a)) Source #
type Reply (WriteRegister a) Source #
Instance details Defined in HOCD.Command type Reply (WriteRegister a) = ()

data Version Source #

Constructors

Version

Instances

Instances details

Show Version Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #
Command Version Source #
Instance details Defined in HOCD.Command Associated Types type Reply Version Source # Methods request :: Version -> ByteString Source # reply :: Version -> ByteString -> Either OCDError (Reply Version) Source #
type Reply Version Source #
Instance details Defined in HOCD.Command type Reply Version = ByteString

data Raw Source #

Constructors

Raw ByteString

Instances

Instances details

Show Raw Source #
Instance details Defined in HOCD.Command Methods showsPrec :: Int -> Raw -> ShowS # show :: Raw -> String # showList :: [Raw] -> ShowS #
Command Raw Source #
Instance details Defined in HOCD.Command Associated Types type Reply Raw Source # Methods request :: Raw -> ByteString Source # reply :: Raw -> ByteString -> Either OCDError (Reply Raw) Source #
type Reply Raw Source #
Instance details Defined in HOCD.Command type Reply Raw = ByteString

subChar :: Char Source #