PackagesReroutesAboutlamdera.com

elmw/extra-boolean/1.1.1

NOTE: the latest version is 1.3.6

Renamed to nodef/extra-boolean.elm. That is where the repository lives now. It has not been published as a package under the new name.

Versions published as elmw/extra-boolean still install under that name. 20 versions of 20 come from the new location (see their notes).

Rerouted (renamed, verified). The GitHub user or repository was renamed. The tag is still there, at the new name. The Lamdera package server serves a copy recovered from https://github.com/nodef/extra-boolean.elm.

What we checked: The repo moved to github.com/nodef/extra-boolean.elm. Rebuilt with git archive from commit 98dd471d2b4a of https://github.com/nodef/extra-boolean.elm (zip prefix elmw-extra-boolean-3a1b1a0/, America/Los_Angeles times): the zip is byte-identical to the one package.elm-lang.org recorded, SHA-1 1e8386f1e93b4f8b3d5e61a7309c89749584f328.

The Lamdera compiler uses this copy and prints a one-line notice saying so. elm itself fails to download this version.

Details · package.elm-lang.org's zip: https://github.com/elmw/extra-boolean/zipball/1.1.1/

READMEAboutVersionsSourceModules

Boolean

Boolean data type has two possible truth values to represent logic.

parse : String -> Bool

Convert string to boolean.

-- parse s
-- s: a string
parse "truthy"   == True
parse "not off"  == True
parse "not true" == False
parse "inactive" == False
not : Bool -> Bool

Check if value is false.

-- not a
-- a: a boolean value
not False == True
not True  == False
eq : Bool -> Bool -> Bool

Check 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
imply : Bool -> Bool -> Bool

Check 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 : Bool -> Bool -> Bool

Check 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 : Bool -> Bool -> Bool

Check 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 : Bool -> Bool -> Bool

Check 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 : Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and0 : Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and1 : Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and2 : Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and3 : Bool -> Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and4 : Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and5 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
and8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are true.

-- and[n] a b ...
-- a: a boolean value
-- b: another boolean value
and True True   == True
and True False  == False
and False True  == False
and False False == False
or : Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or0 : Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or1 : Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or2 : Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or3 : Bool -> Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or4 : Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or5 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
or8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is true.

-- or[n] a b ...
-- a: a boolean value
-- b: another boolean value
or True True   == True
or True False  == True
or False True  == True
or False False == False
xor : Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor0 : Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor1 : Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor2 : Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor3 : Bool -> Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor4 : Bool -> Bool -> Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor5 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
xor8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if odd no. of values are true.

-- xor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xor True False  == True
xor False True  == True
xor True True   == False
xor False False == False
count : Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count0 : Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count1 : Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count2 : Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count3 : Bool -> Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count4 : Bool -> Bool -> Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count5 : Bool -> Bool -> Bool -> Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
count8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Int

Count no. of true values.

-- count[n] a b ...
-- a: a boolean value
-- b: another boolean value
count True True   == 2
count True False  == 1
count False True  == 1
count False False == 0
nand : Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand0 : Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand1 : Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand2 : Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand3 : Bool -> Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand4 : Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand5 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nand8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if any value is false.

-- nand[n] a b ...
-- a: a boolean value
-- b: another boolean value
nand True False  == True
nand False True  == True
nand False False == True
nand True True   == False
nor : Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor0 : Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor1 : Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor2 : Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor3 : Bool -> Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor4 : Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor5 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
nor8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if all values are false.

-- nor[n] a b ...
-- a: a boolean value
-- b: another boolean value
nor False False == True
nor True True   == False
nor True False  == False
nor False True  == False
xnor : Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor0 : Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor1 : Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor2 : Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor3 : Bool -> Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor4 : Bool -> Bool -> Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor5 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor6 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor7 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False
xnor8 : Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool

Check if even no. of values are true.

-- xnor[n] a b ...
-- a: a boolean value
-- b: another boolean value
xnor True True   == True
xnor False False == True
xnor True False  == False
xnor False True  == False

Modules

About this package serverReroutesreroutes.json
Pages and docs rendering from package.elm-lang.org, © 2012-2020 Evan Czaplicki. © 2026 Lamdera