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

Safe Haskell | Safe
Language | Haskell2010

Copilot.Language.Operators.Constant

Description

Primitives to build constant streams.

Synopsis

- constant :: Typed a => a -> Stream a
- constB :: Bool -> Stream Bool
- constW8 :: Word8 -> Stream Word8
- constW16 :: Word16 -> Stream Word16
- constW32 :: Word32 -> Stream Word32
- constW64 :: Word64 -> Stream Word64
- constI8 :: Int8 -> Stream Int8
- constI16 :: Int16 -> Stream Int16
- constI32 :: Int32 -> Stream Int32
- constI64 :: Int64 -> Stream Int64
- constF :: Float -> Stream Float
- constD :: Double -> Stream Double

# Documentation

constant :: Typed a => a -> Stream a Source #

Create a constant stream that is equal to the given argument, at any point in time.

constB :: Bool -> Stream Bool Source #

Create a constant stream carrying values of type `Bool` that is equal to the given argument, at any point in time.

constW8 :: Word8 -> Stream Word8 Source #

Create a constant stream carrying values of type `Word8` that is equal to the given argument, at any point in time.

constW16 :: Word16 -> Stream Word16 Source #

Create a constant stream carrying values of type `Word16` that is equal to the given argument, at any point in time.

constW32 :: Word32 -> Stream Word32 Source #

Create a constant stream carrying values of type `Word32` that is equal to the given argument, at any point in time.

constW64 :: Word64 -> Stream Word64 Source #

Create a constant stream carrying values of type `Word64` that is equal to the given argument, at any point in time.

constI8 :: Int8 -> Stream Int8 Source #

Create a constant stream carrying values of type `Int8` that is equal to the given argument, at any point in time.

constI16 :: Int16 -> Stream Int16 Source #

Create a constant stream carrying values of type `Int16` that is equal to the given argument, at any point in time.

constI32 :: Int32 -> Stream Int32 Source #

Create a constant stream carrying values of type `Int32` that is equal to the given argument, at any point in time.

constI64 :: Int64 -> Stream Int64 Source #

Create a constant stream carrying values of type `Int64` that is equal to the given argument, at any point in time.

constF :: Float -> Stream Float Source #

Create a constant stream carrying values of type `Float` that is equal to the given argument, at any point in time.

constD :: Double -> Stream Double Source #

Create a constant stream carrying values of type `Double` that is equal to the given argument, at any point in time.