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

Copilot.Language

Description

 

Documentation

module Data.Int

module Data.Word

module Copilot.Core

module Copilot.Language.Error

module Copilot.Language.Interpret

module Copilot.Language.Operators.Boolean

module Copilot.Language.Operators.Cast

module Copilot.Language.Operators.Constant

module Copilot.Language.Operators.Eq

module Copilot.Language.Operators.Extern

module Copilot.Language.Operators.Local

module Copilot.Language.Operators.Integral

module Copilot.Language.Operators.Mux

module Copilot.Language.Operators.Ord

module Copilot.Language.Operators.Temporal

module Copilot.Language.Operators.BitWise

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) 

observer :: Typed a => String -> Stream a -> SpecSource

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

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

prettyPrint :: Spec -> IO ()Source