copilot-language-0.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Operators.Extern
Description
extern :: Typed a => String -> Stream aSource
externW8 :: String -> Stream Word8Source
externW16 :: String -> Stream Word16Source
externW32 :: String -> Stream Word32Source
externW64 :: String -> Stream Word64Source
externI8 :: String -> Stream Int8Source
externI16 :: String -> Stream Int16Source
externI32 :: String -> Stream Int32Source
externI64 :: String -> Stream Int64Source
externF :: String -> Stream FloatSource
externD :: String -> Stream DoubleSource
data FunArg Source
externFun :: Typed a => String -> [FunArg] -> Stream aSource
externArray :: (Typed a, Typed b, Integral a) => String -> Stream a -> Stream bSource
funArg :: Typed a => Stream a -> FunArgSource