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

Copilot.Language.Operators.Boolean

Description

 

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