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

Copilot.Language

Description

 

Documentation

module Data.Int

module Data.Word

type Spec = Writer [SpecItem] ()Source

data Stream Source

Instances

Eq (Stream a)

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

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

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

(Typed a, Bits a) => Bits (Stream a) 

trigger :: String -> Stream Bool -> [TriggerArg] -> SpecSource

arg :: Typed a => Stream a -> TriggerArgSource