Esempio n. 1
0
def all(xs):
    if not xs:
        return True
    else:
        x = head(xs)
        if not x:
            return False
        return and_(x, all(tail(xs)))
Esempio n. 2
0
def all(xs):
    return foldr(lambda x, ys: and_(x, ys), True, xs)
Esempio n. 3
0
def all(xs):
    return foldr(lambda x, ys: and_(x, ys), True, xs)