copilot-language-2.2.0: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Safe HaskellTrustworthy
LanguageHaskell2010

Copilot.Language

Description

Main Copilot language export file.

Synopsis

Documentation

module Data.Int

module Data.Word

csv :: Integer -> Spec -> IO () Source

interpret :: Integer -> Spec -> IO () Source

Much slower, but pretty-printed interpreter output.

type Spec = Writer [SpecItem] () Source

data Stream :: * -> * Source

Instances

Eq (Stream a) Source

Dummy instance in order to make Stream an instance of Num.

(Typed a, Eq a, Floating a) => Floating (Stream a) Source 
(Typed a, Eq a, Fractional a) => Fractional (Stream a) Source 
(Typed a, Eq a, Num a) => Num (Stream a) Source 
Show (Stream a) Source

Dummy instance in order to make Stream an instance of Num.

trigger :: String -> Stream Bool -> [Arg] -> Spec Source

arg :: Typed a => Stream a -> Arg Source

prop :: String -> Prop a -> Writer [SpecItem] (PropRef a) Source

theorem :: String -> Prop a -> Proof a -> Writer [SpecItem] (PropRef a) Source