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

Safe HaskellTrustworthy
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

externArray :: (Typed a, Typed b, Integral a) => String -> Stream a -> Size -> Maybe [[b]] -> Stream b Source

externArrayB :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Bool]] -> Stream Bool Source

externArrayW8 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Word8]] -> Stream Word8 Source

externArrayI8 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int8]] -> Stream Int8 Source

externArrayI16 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int16]] -> Stream Int16 Source

externArrayI32 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int32]] -> Stream Int32 Source

externArrayI64 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int64]] -> Stream Int64 Source

externArrayF :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Float]] -> Stream Float Source

externArrayD :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Double]] -> Stream Double Source

externStruct :: Typed a => String -> [(String, Arg)] -> Stream a Source

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

Deprecated.

Deprecated.