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

Safe HaskellSafe

Copilot.Language.Operators.Boolean

Description

Boolean operators.

Documentation

(&&) :: Stream Bool -> Stream Bool -> Stream BoolSource

(||) :: Stream Bool -> Stream Bool -> Stream BoolSource

not :: Stream Bool -> Stream BoolSource

true :: Stream BoolSource

false :: Stream BoolSource

xor :: Stream Bool -> Stream Bool -> Stream BoolSource

(==>) :: Stream Bool -> Stream Bool -> Stream BoolSource