copilot-language-2.2.0: 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