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

Safe HaskellSafe
LanguageHaskell2010

Copilot.Language.Spec

Description

Copilot specifications.

Documentation

data Observer where Source #

Constructors

Observer :: Typed a => String -> Stream a -> Observer 

data Trigger where Source #

Constructors

Trigger :: Name -> Stream Bool -> [Arg] -> Trigger 

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

data Property where Source #

Constructors

Property :: String -> Stream Bool -> Property 

data Prop a where Source #