aboutsummaryrefslogtreecommitdiffstats
path: root/schedcat/util/quantor.py
blob: 8bb985b9823917273396a3fbb79f10e0914a9cea (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

def forall(lst):
    def predicate(p):
        for x in lst:
            if not p(x):
                return False
        return True
    return predicate

def exists(lst):
    def predicate(p):
        for x in lst:
            if p(x):
                return True
        return False
    return predicate