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

Safe HaskellSafe
LanguageHaskell2010

Copilot.Language.Operators.Extern

Contents

Description

External variables, arrays, and functions.

Synopsis

Documentation

extern :: Typed a => String -> Maybe [a] -> Stream a Source #

externFun :: Typed a => String -> [Arg] -> Maybe (Stream a) -> Stream a Source #

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

Deprecated.

Deprecated.