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

Safe HaskellSafe

Copilot.Language.Operators.Extern

Contents

Description

External variables, arrays, and functions.

Synopsis

Documentation

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

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

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

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

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

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

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

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

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

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

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

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

Deprecated.

Deprecated.