Update documentation and tests

Author: kl0tl

src/Data/Array.purs

@@ -1195,10 +1195,26 @@ unzip xs =
     snds' <- STA.unsafeFreeze snds
     pure $ Tuple fsts' snds'
 
--- | Returns true if at least one array element satisfy the given predicate.
+-- | Returns true if at least one array element satisfies the given predicate,
+-- | iterating the array only as necessary and stopping as soon as the predicate
+-- | yields true.
+-- |
+-- | ```purescript
+-- | any (_ > 0) [] = False
+-- | any (_ > 0) [-1, 0, 1] = True
+-- | any (_ > 0) [-1, -2, -3] = False
+-- | ```
 foreign import any :: forall a. (a -> Boolean) -> Array a -> Boolean
 
 -- | Returns true if all the array elements satisfy the given predicate.
+-- | iterating the array only as necessary and stopping as soon as the predicate
+-- | yields false.
+-- |
+-- | ```purescript
+-- | all (_ > 0) [] = True
+-- | all (_ > 0) [1, 2, 3] = True
+-- | all (_ > 0) [-1, -2, -3] = False
+-- | ```
 foreign import all :: forall a. (a -> Boolean) -> Array a -> Boolean
 
 -- | Perform a fold using a monadic step function.

test/Test/Data/Array.purs

@@ -416,14 +416,14 @@ testArray = do
   assert $ A.unzip [Tuple 1 "a", Tuple 2 "b", Tuple 3 "c"] == Tuple [1, 2, 3] ["a", "b", "c"]
 
   log "any should return true if at least one array element satisfy the given predicate"
-  assert $ not $ A.any (_ > 2) []
-  assert $ A.any (_ > 2) [1, 2, 3]
-  assert $ not $ A.any (_ > 3) [1, 2, 3]
+  assert $ not $ A.any (_ > 0) []
+  assert $ A.any (_ > 0) [-1, 0, 1]
+  assert $ not $ A.any (_ > 0) [-1, -2, -3]
 
   log "all should return true if all the array elements satisfy the given predicate"
   assert $ A.all (_ > 0) []
   assert $ A.all (_ > 0) [1, 2, 3]
-  assert $ not $ A.all (_ > 1) [1, 2, 3]
+  assert $ not $ A.all (_ > 0) [-1, -2, -3]
 
   log "foldM should perform a fold using a monadic step function"
   assert $ A.foldM (\x y -> Just (x + y)) 0 (A.range 1 10) == Just 55

test/Test/Data/Array/NonEmpty.purs

@@ -286,12 +286,12 @@ testNonEmptyArray = do
   assert $ NEA.unzip (fromArray [Tuple 1 "a", Tuple 2 "b", Tuple 3 "c"]) == Tuple (fromArray [1, 2, 3]) (fromArray ["a", "b", "c"])
 
   log "any should return true if at least one array element satisfy the given predicate"
-  assert $ NEA.any (_ > 2) $ fromArray [1, 2, 3]
-  assert $ not $ NEA.any (_ > 3) $ fromArray [1, 2, 3]
+  assert $ NEA.any (_ > 0) $ fromArray [-1, 0, 1]
+  assert $ not $ NEA.any (_ > 0) $ fromArray [-1, -2, -3]
 
   log "all should return true if all the array elements satisfy the given predicate"
   assert $ NEA.all (_ > 0) $ fromArray [1, 2, 3]
-  assert $ not $ NEA.all (_ > 1) $ fromArray [1, 2, 3]
+  assert $ not $ NEA.all (_ > 0) $ fromArray [-1, -2, -3]
 
   log "fromFoldable"
   for_ (fromArray [[], [1], [1,2], [1,2,3,4,5]]) \xs -> do