Published
Edited
Jan 10, 2020
// Define an IS_ZERO function
IS_ZERO = qtyFn => qtyFn(dont_care => lib.FALSE)(lib.TRUE)
lib.to_boolean(IS_ZERO(lib.ONE))
// Define an IS_LessThanEqual function
IS_LTE = val1 => val2 => IS_ZERO(lib.SUBTRACT(val1)(val2))
AND = bool1 => bool2 => bool1(bool2)(lib.FALSE)
OR = bool1 => bool2 => bool1(lib.TRUE)(bool2)
NOT = bool => bool(lib.FALSE)(lib.TRUE)
XOR = bool1 => bool2 => bool1(NOT(bool2))(bool2)
{
// Check the NOT function
return {
NOT_false : lib.to_boolean(NOT(lib.FALSE)),
NOT_true : lib.to_boolean(NOT(lib.TRUE))
}
}
{
// Check the AND function
return {
false_AND_false : lib.to_boolean(AND(lib.FALSE)(lib.FALSE)),
true_AND_false : lib.to_boolean(AND(lib.TRUE)(lib.FALSE)),
false_AND_true : lib.to_boolean(AND(lib.FALSE)(lib.TRUE)),
true_AND_true : lib.to_boolean(AND(lib.TRUE)(lib.TRUE))
}
}
{
// Check the OR function
return {
false_OR_false : lib.to_boolean(OR(lib.FALSE)(lib.FALSE)),
true_OR_false : lib.to_boolean(OR(lib.TRUE)(lib.FALSE)),
false_OR_true : lib.to_boolean(OR(lib.FALSE)(lib.TRUE)),
true_OR_true : lib.to_boolean(OR(lib.TRUE)(lib.TRUE))
}
}
{
// Check the XOR function
return {
false_XOR_false : lib.to_boolean(XOR(lib.FALSE)(lib.FALSE)),
true_XOR_false : lib.to_boolean(XOR(lib.TRUE)(lib.FALSE)),
false_XOR_true : lib.to_boolean(XOR(lib.FALSE)(lib.TRUE)),
true_XOR_true : lib.to_boolean(XOR(lib.TRUE)(lib.TRUE))
}
}
IS_LT = val1 => val2 => NOT(IS_LTE(val2)(val1))
// Check that our IS_LT function behaves correctly
{
return {
is_5_LT_8: lib.to_boolean(IS_LT(lib.FIVE)(lib.EIGHT)),
is_7_LT_4: lib.to_boolean(IS_LT(lib.SEVEN)(lib.FOUR)),
is_6_LT_6: lib.to_boolean(IS_LT(lib.SIX)(lib.SIX))
}
}
Purpose-built for displays of data
Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
