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

Safe Haskell	Trustworthy
Language	Haskell2010

Copilot.Language.Operators.Boolean

Description

Boolean operators.

Documentation

(&&) :: 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