def and_(t):
"""
and :: Foldable t => t bool -> bool
and returns the conjunction of a container of Bools. For the result to be
True, the container must be finite; False, however, results from a False
value finitely far from the left end.
"""
return DL.and_(toList(t))
def and_(t):
"""
and :: Foldable t => t bool -> bool
and returns the conjunction of a container of Bools. For the result to be
True, the container must be finite; False, however, results from a False
value finitely far from the left end.
"""
return DL.and_(toList(t))
