mirror of
https://github.com/duke-git/lancet.git
synced 2025-09-27 03:45:58 +08:00
805e2543d0
Add new function, NAND, designed to create a composed predicate representing the logical NAND operation applied to a list of predicates. The NAND operation is a logical operation that returns true only if all perdicate result in false otherwise false
129 lines
2.5 KiB
Go
129 lines
2.5 KiB
Go
package function
|
|
|
|
import (
|
|
"fmt"
|
|
"strings"
|
|
)
|
|
|
|
func ExampleNegate() {
|
|
// Define some simple predicates for demonstration
|
|
isUpperCase := func(s string) bool {
|
|
return strings.ToUpper(s) == s
|
|
}
|
|
isLowerCase := func(s string) bool {
|
|
return strings.ToLower(s) == s
|
|
}
|
|
isMixedCase := Negate(Or(isUpperCase, isLowerCase))
|
|
|
|
fmt.Println(isMixedCase("ABC"))
|
|
fmt.Println(isMixedCase("AbC"))
|
|
|
|
// Output:
|
|
// false
|
|
// true
|
|
}
|
|
|
|
func ExampleOr() {
|
|
containsDigitOrSpecialChar := Or(
|
|
func(s string) bool { return strings.ContainsAny(s, "0123456789") },
|
|
func(s string) bool { return strings.ContainsAny(s, "!@#$%") },
|
|
)
|
|
|
|
fmt.Println(containsDigitOrSpecialChar("hello!"))
|
|
fmt.Println(containsDigitOrSpecialChar("hello"))
|
|
|
|
// Output:
|
|
// true
|
|
// false
|
|
}
|
|
|
|
func ExampleAnd() {
|
|
isNumericAndLength5 := And(
|
|
func(s string) bool { return strings.ContainsAny(s, "0123456789") },
|
|
func(s string) bool { return len(s) == 5 },
|
|
)
|
|
|
|
fmt.Println(isNumericAndLength5("12345"))
|
|
fmt.Println(isNumericAndLength5("1234"))
|
|
fmt.Println(isNumericAndLength5("abcde"))
|
|
|
|
// Output:
|
|
// true
|
|
// false
|
|
// false
|
|
}
|
|
|
|
func ExampleNand() {
|
|
isNumericAndLength5 := Nand(
|
|
func(s string) bool { return strings.ContainsAny(s, "0123456789") },
|
|
func(s string) bool { return len(s) == 5 },
|
|
)
|
|
|
|
fmt.Println(isNumericAndLength5("12345"))
|
|
fmt.Println(isNumericAndLength5("1234"))
|
|
fmt.Println(isNumericAndLength5("abcdef"))
|
|
|
|
// Output:
|
|
// false
|
|
// false
|
|
// true
|
|
}
|
|
|
|
func ExampleNor() {
|
|
match := Nor(
|
|
func(s string) bool { return strings.ContainsAny(s, "0123456789") },
|
|
func(s string) bool { return len(s) == 5 },
|
|
)
|
|
|
|
fmt.Println(match("dbcdckkeee"))
|
|
|
|
match = Nor(
|
|
func(s string) bool { return strings.ContainsAny(s, "0123456789") },
|
|
func(s string) bool { return len(s) == 5 },
|
|
)
|
|
|
|
fmt.Println(match("0123456789"))
|
|
|
|
// Output:
|
|
// true
|
|
// false
|
|
}
|
|
|
|
func ExampleXnor() {
|
|
isEven := func(i int) bool { return i%2 == 0 }
|
|
isPositive := func(i int) bool { return i > 0 }
|
|
|
|
match := Xnor(isEven, isPositive)
|
|
|
|
fmt.Println(match(2))
|
|
fmt.Println(match(-3))
|
|
fmt.Println(match(3))
|
|
|
|
// Output:
|
|
// true
|
|
// true
|
|
// false
|
|
}
|
|
|
|
// func ExamplePredicatesMix() {
|
|
// a := Or(
|
|
// func(s string) bool { return strings.ContainsAny(s, "0123456789") },
|
|
// func(s string) bool { return strings.ContainsAny(s, "!") },
|
|
// )
|
|
|
|
// b := And(
|
|
// func(s string) bool { return strings.ContainsAny(s, "hello") },
|
|
// func(s string) bool { return strings.ContainsAny(s, "!") },
|
|
// )
|
|
|
|
// c := Negate(And(a, b))
|
|
// fmt.Println(c("hello!"))
|
|
|
|
// c = Nor(a, b)
|
|
// fmt.Println(c("hello!"))
|
|
|
|
// // Output:
|
|
// // false
|
|
// // false
|
|
// }
|