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

Safe Haskell	Safe

Copilot.Language

Description

Main Copilot language export file.

Synopsis

Documentation

module Data.Int

module Data.Word

module Copilot.Core

impossible :: String -> String -> aSource

badUsage :: String -> aSource

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

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

Much slower, but pretty-printed interpreter output.

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

module Copilot.Language.Prelude

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, Eq a, Floating a) => Floating (Stream a)
(Typed a, Eq a, Fractional a) => Fractional (Stream a)
(Typed a, Eq 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 -> Spec Source

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

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

prettyPrint :: Spec -> IO ()Source