Update for new control modules

Author: paf31

README.md

@@ -11,6 +11,8 @@
 
 ### Type Class Instances
 
+    instance altList :: Alt List
+
     instance alternativeList :: Alternative List
 
     instance applicativeList :: Applicative List
@@ -27,10 +29,14 @@
 
     instance monadList :: Monad List
 
+    instance monadPlusList :: MonadPlus List
+
     instance monoidList :: Monoid (List a)
 
     instance ordList :: (Ord a) => Ord (List a)
 
+    instance plusList :: Plus List
+
     instance semigroupList :: Semigroup (List a)
 
     instance showList :: (Show a) => Show (List a)
@@ -76,6 +82,10 @@
 
     insertBy :: forall a. (a -> a -> Ordering) -> a -> List a -> List a
 
+    intersect :: forall a. (Eq a) => List a -> List a -> List a
+
+    intersectBy :: forall a. (a -> a -> Boolean) -> List a -> List a -> List a
+
     last :: forall a. List a -> Maybe a
 
     length :: forall a. List a -> Number
@@ -98,6 +108,10 @@
 
     toArray :: forall a. List a -> [a]
 
+    union :: forall a. (Eq a) => List a -> List a -> List a
+
+    unionBy :: forall a. (a -> a -> Boolean) -> List a -> List a -> List a
+
     zipWith :: forall a b c. (a -> b -> c) -> List a -> List b -> List c
 
 

src/Data/List.purs

@@ -41,6 +41,11 @@ import Data.Foldable
 import Data.Unfoldable
 import Data.Traversable
 
+import Control.Alt
+import Control.Plus
+import Control.Alternative
+import Control.MonadPlus
+
 data List a = Nil | Cons a (List a)
 
 instance showList :: (Show a) => Show (List a) where
@@ -115,10 +120,16 @@ instance bindList :: Bind List where
 
 instance monadList :: Monad List
 
-instance alternativeList :: Alternative List where
-  empty = Nil
+instance altList :: Alt List where
   (<|>) = (<>)
 
+instance plusList :: Plus List where
+  empty = Nil
+
+instance alternativeList :: Alternative List 
+
+instance monadPlusList :: MonadPlus List
+
 fromArray :: forall a. [a] -> List a
 fromArray = foldr Cons Nil