titan-1.0.2: src/FRP/Titan/Protocol.hs

module FRP.Titan.Protocol where

-- Basic Titan Protocol

data Response = CurrentFrame   Int
              | CurrentHistory Int
              | CurrentTime    Float
              | MaxTime        Float
  deriving Read

data TitanEvent = HistoryChanched
  deriving Read

data TitanCommand = GetMaxTime
                  | GetCurrentTime
                  | GetCurrentFrame
                  | SummarizeHistory
                  | Step
                  | Skip
                  | StepUntil
                  | SkipBack
                  | Redo
                  | Play
                  | Stop
                  | Pause
                  | DeleteTrace
                  | ReplayTrace
                  | TravelToFrame Int
                  | JumpTo Int
                  | IOSense Int
                  | DiscardFuture Int
                  | LoadTraceFromString String
  deriving Show