Safe Haskell	Safe-Inferred
Language	GHC2021

Language.Hasmtlib.Boolean

Synopsis

class Boolean b where
- bool :: Bool -> b
- true :: b
- false :: b
- (&&) :: b -> b -> b
- (||) :: b -> b -> b
- (==>) :: b -> b -> b
- (<==) :: b -> b -> b
- (<==>) :: b -> b -> b
- not :: b -> b
- xor :: b -> b -> b
and :: (Foldable t, Boolean b) => t b -> b
or :: (Foldable t, Boolean b) => t b -> b
nand :: (Foldable t, Boolean b) => t b -> b
nor :: (Foldable t, Boolean b) => t b -> b
all :: (Foldable t, Boolean b) => (a -> b) -> t a -> b
any :: (Foldable t, Boolean b) => (a -> b) -> t a -> b

Documentation

class Boolean b where Source #

Minimal complete definition

bool, (&&), (||), not, xor

Methods

bool :: Bool -> b Source #

Lift a Bool.

true :: b Source #

The true constant. true = bool True

false :: b Source #

The false constant. false = bool False

(&&) :: b -> b -> b infixr 3 Source #

Logical conjunction.

(||) :: b -> b -> b infixr 2 Source #

Logical disjunction (inclusive or).

(==>) :: b -> b -> b infixr 0 Source #

Logical implication.

(<==) :: b -> b -> b infixl 0 Source #

Logical implication with arrow reversed.

forall x y. (x ==> y) === (y <== x)

(<==>) :: b -> b -> b infixr 4 Source #

Logical equivalence.

not :: b -> b Source #

Logical negation.

xor :: b -> b -> b infix 4 Source #

Exclusive-or.

Instances

Instances details

Boolean Bit Source #
Instance details Defined in Language.Hasmtlib.Boolean Methods bool :: Bool -> Bit Source # true :: Bit Source # false :: Bit Source # (&&) :: Bit -> Bit -> Bit Source # (\|\|) :: Bit -> Bit -> Bit Source # (==>) :: Bit -> Bit -> Bit Source # (<==) :: Bit -> Bit -> Bit Source # (<==>) :: Bit -> Bit -> Bit Source # not :: Bit -> Bit Source # xor :: Bit -> Bit -> Bit Source #
Boolean Bool Source #
Instance details Defined in Language.Hasmtlib.Boolean Methods bool :: Bool -> Bool Source # true :: Bool Source # false :: Bool Source # (&&) :: Bool -> Bool -> Bool Source # (\|\|) :: Bool -> Bool -> Bool Source # (==>) :: Bool -> Bool -> Bool Source # (<==) :: Bool -> Bool -> Bool Source # (<==>) :: Bool -> Bool -> Bool Source # not :: Bool -> Bool Source # xor :: Bool -> Bool -> Bool Source #
KnownNat n => Boolean (Bitvec n) Source #
Instance details Defined in Language.Hasmtlib.Internal.Bitvec Methods bool :: Bool -> Bitvec n Source # true :: Bitvec n Source # false :: Bitvec n Source # (&&) :: Bitvec n -> Bitvec n -> Bitvec n Source # (\|\|) :: Bitvec n -> Bitvec n -> Bitvec n Source # (==>) :: Bitvec n -> Bitvec n -> Bitvec n Source # (<==) :: Bitvec n -> Bitvec n -> Bitvec n Source # (<==>) :: Bitvec n -> Bitvec n -> Bitvec n Source # not :: Bitvec n -> Bitvec n Source # xor :: Bitvec n -> Bitvec n -> Bitvec n Source #
Boolean (Expr 'BoolSort) Source #
Instance details Defined in Language.Hasmtlib.Internal.Expr Methods bool :: Bool -> Expr 'BoolSort Source # true :: Expr 'BoolSort Source # false :: Expr 'BoolSort Source # (&&) :: Expr 'BoolSort -> Expr 'BoolSort -> Expr 'BoolSort Source # (\|\|) :: Expr 'BoolSort -> Expr 'BoolSort -> Expr 'BoolSort Source # (==>) :: Expr 'BoolSort -> Expr 'BoolSort -> Expr 'BoolSort Source # (<==) :: Expr 'BoolSort -> Expr 'BoolSort -> Expr 'BoolSort Source # (<==>) :: Expr 'BoolSort -> Expr 'BoolSort -> Expr 'BoolSort Source # not :: Expr 'BoolSort -> Expr 'BoolSort Source # xor :: Expr 'BoolSort -> Expr 'BoolSort -> Expr 'BoolSort Source #
KnownNat n => Boolean (Expr ('BvSort n)) Source #
Instance details Defined in Language.Hasmtlib.Internal.Expr Methods bool :: Bool -> Expr ('BvSort n) Source # true :: Expr ('BvSort n) Source # false :: Expr ('BvSort n) Source # (&&) :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # (\|\|) :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # (==>) :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # (<==) :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # (<==>) :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source # not :: Expr ('BvSort n) -> Expr ('BvSort n) Source # xor :: Expr ('BvSort n) -> Expr ('BvSort n) -> Expr ('BvSort n) Source #
KnownNat n => Boolean (Vector n Bit) Source #	Defined bitwise
Instance details Defined in Language.Hasmtlib.Boolean Methods bool :: Bool -> Vector n Bit Source # true :: Vector n Bit Source # false :: Vector n Bit Source # (&&) :: Vector n Bit -> Vector n Bit -> Vector n Bit Source # (\|\|) :: Vector n Bit -> Vector n Bit -> Vector n Bit Source # (==>) :: Vector n Bit -> Vector n Bit -> Vector n Bit Source # (<==) :: Vector n Bit -> Vector n Bit -> Vector n Bit Source # (<==>) :: Vector n Bit -> Vector n Bit -> Vector n Bit Source # not :: Vector n Bit -> Vector n Bit Source # xor :: Vector n Bit -> Vector n Bit -> Vector n Bit Source #

and :: (Foldable t, Boolean b) => t b -> b Source #

The logical conjunction of several values.

or :: (Foldable t, Boolean b) => t b -> b Source #

The logical disjunction of several values.

nand :: (Foldable t, Boolean b) => t b -> b Source #

The negated logical conjunction of several values.

nand = not . and

nor :: (Foldable t, Boolean b) => t b -> b Source #

The negated logical disjunction of several values.

nor = not . or

all :: (Foldable t, Boolean b) => (a -> b) -> t a -> b Source #

The logical conjunction of the mapping of a function over several values.

any :: (Foldable t, Boolean b) => (a -> b) -> t a -> b Source #

The logical disjunction of the mapping of a function over several values.