Beispiel #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)))
Beispiel #2
0
def all(xs):
    return foldr(lambda x, ys: and_(x, ys), True, xs)
Beispiel #3
0
def all(xs):
    return foldr(lambda x, ys: and_(x, ys), True, xs)