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