extra-boolean
Version:
[Boolean] data type has two possible truth values to represent logic.<br>
139 lines (138 loc) • 4.46 kB
TypeScript
/**
* Check if a value is boolean.
* @param v a value
* @returns is boolean?
*/ export declare function is(v: any): v is boolean;
/**
* Convert a string to boolean.
* @param s a string
* @returns s represents true?
*/ export declare function parse(s: string): boolean;
/**
* Check if a boolean is false.
* @param a a boolean
* @returns ¬a?
*/ export declare function not(a: boolean): boolean;
/**
* Check if antecedent ⇒ consequent.
* @param a antecedent
* @param b consequent
* @returns a ⇒ b?
*/ export declare function imply(a: boolean, b: boolean): boolean;
export { imply as imp };
/**
* Check if antecedent ⇏ consequent.
* @param a antecedent
* @param b consequent
* @returns a ⇏ b?
*/ export declare function nimply(a: boolean, b: boolean): boolean;
/**
* Check if antecedent ⇔ consequent.
* @param a antecedent
* @param b consequent
* @returns a ⇔ b?
*/ export declare function eq(a: boolean, b: boolean): boolean;
export { eq as eqv };
/**
* Check if antecedent ⇎ consequent.
* @param a antecedent
* @param b consequent
* @returns a ⇎ b?
*/ export declare function neq(a: boolean, b: boolean): boolean;
/**
* Check if all booleans are true.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns a ^ b ^ ...?
*/ export declare function and(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
* Check if any boolean is false.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns ¬(a ^ b ^ ...)?
*/ export declare function nand(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
* Check if any boolean is true.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns a ∨ b ∨ ...?
*/ export declare function or(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
* Check if all booleans are false.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns ¬(a ∨ b ∨ ...)?
*/ export declare function nor(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
* Check if odd number of booleans are true.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns a ⊕ b ⊕ ...?
*/ export declare function xor(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
* Check if even number of booleans are true.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns ¬(a ⊕ b ⊕ ...)?
*/ export declare function xnor(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
* Count number of true booleans.
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns a + b + ...
*/ export declare function count(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): number;
/**
* Check if iᵗʰ boolean is true.
* @param i index
* @param a 1st boolean
* @param b 2nd boolean
* @param c 3rd boolean
* @param d 4th boolean
* @param e 5th boolean
* @param f 6th boolean
* @param g 7th boolean
* @param h 8th boolean
* @returns iᵗʰ boolean
*/ export declare function select(i: number, a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;