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

Copilot.Language.Operators.Constant

Description

Constants.

Documentation

constant :: Typed a => a -> Stream aSource

constB :: Bool -> Stream Bool Source

constW8 :: Word8 -> Stream Word8 Source

constW16 :: Word16 -> Stream Word16 Source

constW32 :: Word32 -> Stream Word32 Source

constW64 :: Word64 -> Stream Word64 Source

constI8 :: Int8 -> Stream Int8 Source

constI16 :: Int16 -> Stream Int16 Source

constI32 :: Int32 -> Stream Int32 Source

constI64 :: Int64 -> Stream Int64 Source

constF :: Float -> Stream Float Source

constD :: Double -> Stream Double Source