Add orphan Array instances

Author: garyb

docs/Control.Alt.md

@@ -22,6 +22,11 @@ types of kind `* -> *`, like `Array` or `List`, rather than concrete types
 For example, the `Array` (`[]`) type is an instance of `Alt`, where
 `(<|>)` is defined to be concatenation.
 
+##### Instances
+``` purescript
+instance altArray :: Alt Array
+```
+
 #### `(<|>)`
 
 ``` purescript

docs/Control.Alternative.md

@@ -18,4 +18,9 @@ laws:
 - Distributivity: `(f <|> g) <*> x == (f <*> x) <|> (g <*> x)`
 - Annihilation: `empty <*> f = empty`
 
+##### Instances
+``` purescript
+instance alternativeArray :: Alternative Array
+```
+
 

docs/Control.Extend.md

@@ -9,11 +9,6 @@ class (Functor w) <= Extend w where
   extend :: forall b a. (w a -> b) -> w a -> w b
 ```
 
-##### Instances
-``` purescript
-instance extendFn :: (Semigroup w) => Extend (Function w)
-```
-
 The `Extend` class defines the extension operator `(<<=)`
 which extends a local context-dependent computation to
 a global computation.
@@ -25,6 +20,11 @@ Laws:
 
 - Associativity: `extend f <<< extend g = extend (f <<< extend g)`
 
+##### Instances
+``` purescript
+instance extendFn :: (Semigroup w) => Extend (Function w)
+```
+
 #### `(<<=)`
 
 ``` purescript

docs/Control.MonadPlus.md

@@ -17,6 +17,11 @@ laws:
 - Distributivity: `(x <|> y) >>= f == (x >>= f) <|> (y >>= f)`
 - Annihilation: `empty >>= f = empty`
 
+##### Instances
+``` purescript
+instance monadPlusArray :: MonadPlus Array
+```
+
 #### `guard`
 
 ``` purescript

docs/Control.Plus.md

@@ -22,4 +22,9 @@ kind `* -> *`, like `Array` or `List`, rather than concrete types like
 - Right identity: `x <|> empty == x`
 - Annihilation: `f <$> empty == empty`
 
+##### Instances
+``` purescript
+instance plusArray :: Plus Array
+```
+
 

src/Control/Alt.purs

@@ -24,3 +24,6 @@ infixl 3 <|>
 -- | An infix version of `alt`.
 (<|>) :: forall f a. (Alt f) => f a -> f a -> f a
 (<|>) = alt
+
+instance altArray :: Alt Array where
+  alt = append

src/Control/Alternative.purs

@@ -18,3 +18,5 @@ import Control.Plus
 -- | - Distributivity: `(f <|> g) <*> x == (f <*> x) <|> (g <*> x)`
 -- | - Annihilation: `empty <*> f = empty`
 class (Applicative f, Plus f) <= Alternative f
+
+instance alternativeArray :: Alternative Array

src/Control/MonadPlus.purs

@@ -24,7 +24,7 @@ class (Monad m, Alternative m) <= MonadPlus m
 -- |
 -- | ```purescript
 -- | import Data.Array
--- | 
+-- |
 -- | factors :: Number -> Array Number
 -- | factors n = do
 -- |   a <- 1 .. n
@@ -35,3 +35,5 @@ class (Monad m, Alternative m) <= MonadPlus m
 guard :: forall m. (MonadPlus m) => Boolean -> m Unit
 guard true = return unit
 guard false = empty
+
+instance monadPlusArray :: MonadPlus Array

src/Control/Plus.purs

@@ -20,3 +20,6 @@ import Control.Alt
 -- | - Annihilation: `f <$> empty == empty`
 class (Alt f) <= Plus f where
   empty :: forall a. f a
+
+instance plusArray :: Plus Array where
+  empty = []