copilot-language-3.0.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Operators.Boolean
Description
Boolean operators.
(&&) :: Stream Bool -> Stream Bool -> Stream Bool infixr 4 Source #
(||) :: Stream Bool -> Stream Bool -> Stream Bool infixr 4 Source #
not :: Stream Bool -> Stream Bool Source #
true :: Stream Bool Source #
false :: Stream Bool Source #
xor :: Stream Bool -> Stream Bool -> Stream Bool Source #
(==>) :: Stream Bool -> Stream Bool -> Stream Bool Source #