Copilot.Language.Operators.Eq
Description
Equality applied point-wise on streams.
(==) :: (Eq a, Typed a) => Stream a -> Stream a -> Stream Bool Source #
Compare two streams point-wise for equality.
The output stream contains the value True at a point in time if both argument streams contain the same value at that point in time.
(/=) :: (Eq a, Typed a) => Stream a -> Stream a -> Stream Bool Source #
Compare two streams point-wise for inequality.
The output stream contains the value True at a point in time if both argument streams contain different values at that point in time.