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

Safe HaskellSafe
LanguageHaskell2010

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 #