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 #