copilot-language-3.19.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Language.Operators.Ord

Description

Comparison operators applied point-wise on streams.

Synopsis

Documentation

(<=) :: (Ord a, Typed a) => Stream a -> Stream a -> Stream Bool Source #

Compare two streams point-wise for order.

The output stream contains the value True at a point in time if the element in the first stream is smaller or equal than the element in the second stream at that point in time, and False otherwise.

(>=) :: (Ord a, Typed a) => Stream a -> Stream a -> Stream Bool Source #

Compare two streams point-wise for order.

The output stream contains the value True at a point in time if the element in the first stream is greater or equal than the element in the second stream at that point in time, and False otherwise.

(<) :: (Ord a, Typed a) => Stream a -> Stream a -> Stream Bool Source #

Compare two streams point-wise for order.

The output stream contains the value True at a point in time if the element in the first stream is smaller than the element in the second stream at that point in time, and False otherwise.

(>) :: (Ord a, Typed a) => Stream a -> Stream a -> Stream Bool Source #

Compare two streams point-wise for order.

The output stream contains the value True at a point in time if the element in the first stream is greater than the element in the second stream at that point in time, and False otherwise.