예제 #1
0
파일: recursive.py 프로젝트: drkjam/funpy 
def all(xs):
    if not xs:
        return True
    else:
        x = head(xs)
        if not x:
            return False
        return and_(x, all(tail(xs)))
예제 #2
0
def all(xs):
    return foldr(lambda x, ys: and_(x, ys), True, xs)
예제 #3
0
파일: foldable.py 프로젝트: drkjam/funpy 
def all(xs):
    return foldr(lambda x, ys: and_(x, ys), True, xs)