copilot-language-0.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Interpret
Description
The interpreter.
Synopsis
data Input Source
csv :: Integer -> [Input] -> Spec -> IO ()Source
interpret :: Integer -> [Input] -> Spec -> IO ()Source
Much slower, but pretty-printed interpreter output.
var :: Typed a => String -> [a] -> InputSource
array :: Typed a => String -> [[a]] -> InputSource
func :: Typed a => String -> Stream a -> InputSource