elmw / extra-boolean / Boolean

Boolean data type has two possible truth values to represent logic.\ 📦 Package, 📘 Wiki.

parse : String -> Basics.Bool

Converts string to boolean. 📘

-- parse s
-- s: a string
parse "1"            == True
parse "truthy"       == True
parse "Not Off"      == True
parse "Not Inactive" == True
parse "cold"         == False
parse "inactive"     == False
parse "Negative Yes" == False
parse "Negative Aye" == False

not : Basics.Bool -> Basics.Bool

Checks if value is false. 📘

-- not a
-- a: a boolean
not False == True
not True  == False

eq : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if antecedent ⇔ consequent (a ⇔ b). 📘

-- eq a b
-- a: antecedent
-- b: consequent
eq True True   == True
eq False False == True
eq True False  == False
eq False True  == False

neq : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if antecedent ⇎ consequent (a ⇎ b). 📘

-- neq a b
-- a: antecedent
-- b: consequent
neq True False  == True
neq False True  == True
neq True True   == False
neq False False == False

imply : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if antecedent ⇒ consequent (a ⇒ b). 📘

-- imply a b
-- a: antecedent
-- b: consequent
imply True True   == True
imply False True  == True
imply False False == True
imply True False  == False

nimply : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if antecedent ⇏ consequent (a ⇏ b). 📘

-- nimply a b
-- a: antecedent
-- b: consequent
nimply True False  == True
nimply True True   == False
nimply False True  == False
nimply False False == False

eqv : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if antecedent ⇔ consequent (a ⇔ b). 📘

-- eqv a b
-- a: antecedent
-- b: consequent
eqv True True   == True
eqv False False == True
eqv True False  == False
eqv False True  == False

imp : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if antecedent ⇒ consequent (a ⇒ b). 📘

-- imp a b
-- a: antecedent
-- b: consequent
imp True True   == True
imp False True  == True
imp False False == True
imp True False  == False

and : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and0 : Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and1 : Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

and8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are true. 📘

-- and[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
and True True             == True
and True False            == False
and4 True True True True  == True
and4 True False True True == False

or : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or0 : Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or1 : Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

or8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is true. 📘

-- or[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
or True False               == True
or False False              == False
or4 False True False True   == True
or4 False False False False == False

xor : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor0 : Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor1 : Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

xor8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if odd no. of values are true. 📘

-- xor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xor True False            == True
xor True True             == False
xor4 True True True False == True
xor4 True True True True  == False

count : Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count0 : Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count1 : Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count2 : Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

count8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Int

Counts no. of true values. 📘

-- count[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
count True True               == 2
count True False              == 1
count4 True True True False   == 3
count4 False True False False == 1

nand : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand0 : Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand1 : Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nand8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if any value is false. 📘

-- nand[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nand True False            == True
nand True True             == False
nand4 True True False True == True
nand4 True True True True  == False

nor : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor0 : Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor1 : Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

nor8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if all values are false. 📘

-- nor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
nor False False              == True
nor True False               == False
nor4 False False False False == True
nor4 False False True False  == False

xnor : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor0 : Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor1 : Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor2 : Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor3 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor4 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor5 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor6 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor7 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

xnor8 : Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if even no. of values are true. 📘

-- xnor[n] a b ...
-- a: 1st boolean
-- b: 2nd boolean
xnor True True              == True
xnor False True             == False
xnor4 True True False False == True
xnor4 True True True False  == False

select : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select0 : Basics.Int -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select1 : Basics.Int -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select2 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select3 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select4 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select5 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select6 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select7 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False

select8 : Basics.Int -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool -> Basics.Bool

Checks if ith value is true. 📘

-- select[n] i a b ...
-- i: index
-- a: 1st boolean
-- b: 2nd boolean
select 0 True False             == True
select 1 True False             == False
select4 1 True True False False == True
select4 2 True True False False == False