copilot-language-2.2.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Operators.Constant
Description
Constants.
constant :: Typed a => a -> Stream a Source #
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 #