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

Safe Haskell | Safe
Language | Haskell2010

Copilot.Language.Operators.Ord

Description

Comparison operators applied point-wise on streams.

Synopsis

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

# 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.