Reactive.QState

Contents

• Qstate data
• Initialization
• Transition loops

Description

Synopsis

• myTrace :: [Char] -> a -> a
• color :: Int -> [Char] -> [Char]
• colorPurple :: [Char] -> [Char]
• colorGreen :: [Char] -> [Char]
• colorRed :: [Char] -> [Char]
• data QState d iv v = QState {
  • now :: TimeStamp d
  • qlist :: !(QList (RDuration d iv) iv v)
  • rank :: Integer
  • ouput :: ![RAtom d iv v]
  • isStateOn :: Bool
  }
• data DelayedEvents d v = DelayedEvents !(TimeStamp d) [Event v]
• initQState :: (Num d, Ord d, Ord iv, Ord v) => (Tile (RDuration d iv) iv iv -> Tile (RDuration d iv) iv v) -> QState d iv v
• inputToQ :: (Lattice d, Num d) => InQList d iv -> QList d iv iv
• updateState :: forall d iv v. (Num d, Ord d, Ord iv, Ord v, Show d, Show v, Show iv) => QState d iv v -> DelayedEvents d iv -> (QState d iv v, [DelayedEvents d v], WakeUpOrder d)
• updateStateOnEvent :: (Num d, Ord d, Ord iv, Ord v, Show d, Show v, Show iv) => QState d iv v -> DelayedEvents d iv -> Maybe (TimeStamp d) -> (QState d iv v, [DelayedEvents d v], WakeUpOrder d)

Documentation

Qstate data

Initialization

Transition loops