Rebuild docs

docs/Data.Monoid.Additive.md

@@ -7,6 +7,13 @@ newtype Additive a
   = Additive a
 ```
 
+Monoid and semigroup for semirings under addition.
+
+``` purescript
+Additive x <> Additive y == Additive (x + y)
+mempty :: Additive _ == Additive zero
+```
+
 ##### Instances
 ``` purescript
 instance eqAdditive :: (Eq a) => Eq (Additive a)
@@ -24,13 +31,6 @@ instance semigroupAdditive :: (Semiring a) => Semigroup (Additive a)
 instance monoidAdditive :: (Semiring a) => Monoid (Additive a)
 ```
 
-Monoid and semigroup for semirings under addition.
-
-``` purescript
-Additive x <> Additive y == Additive (x + y)
-mempty :: Additive _ == Additive zero
-```
-
 #### `runAdditive`
 
 ``` purescript

docs/Data.Monoid.Conj.md

@@ -7,6 +7,13 @@ newtype Conj a
   = Conj a
 ```
 
+Monoid under conjuntion.
+
+``` purescript
+Conj x <> Conj y == Conj (x && y)
+mempty :: Conj _ == Conj top
+```
+
 ##### Instances
 ``` purescript
 instance eqConj :: (Eq a) => Eq (Conj a)
@@ -24,13 +31,6 @@ instance semigroupConj :: (BooleanAlgebra a) => Semigroup (Conj a)
 instance monoidConj :: (BooleanAlgebra a) => Monoid (Conj a)
 ```
 
-Monoid under conjuntion.
-
-``` purescript
-Conj x <> Conj y == Conj (x && y)
-mempty :: Conj _ == Conj bottom
-```
-
 #### `runConj`
 
 ``` purescript

docs/Data.Monoid.Disj.md

@@ -7,6 +7,13 @@ newtype Disj a
   = Disj a
 ```
 
+Monoid under disjuntion.
+
+``` purescript
+Disj x <> Disj y == Disj (x || y)
+mempty :: Disj _ == Disj bottom
+```
+
 ##### Instances
 ``` purescript
 instance eqDisj :: (Eq a) => Eq (Disj a)
@@ -24,13 +31,6 @@ instance semigroupDisj :: (BooleanAlgebra a) => Semigroup (Disj a)
 instance monoidDisj :: (BooleanAlgebra a) => Monoid (Disj a)
 ```
 
-Monoid under disjuntion.
-
-``` purescript
-Disj x <> Disj y == Disj (x || y)
-mempty :: Disj _ == Disj top
-```
-
 #### `runDisj`
 
 ``` purescript

docs/Data.Monoid.Dual.md

@@ -7,6 +7,13 @@ newtype Dual a
   = Dual a
 ```
 
+The dual of a monoid.
+
+``` purescript
+Dual x <> Dual y == Dual (y <> x)
+mempty :: Dual _ == Dual mempty
+```
+
 ##### Instances
 ``` purescript
 instance eqDual :: (Eq a) => Eq (Dual a)
@@ -24,13 +31,6 @@ instance semigroupDual :: (Semigroup a) => Semigroup (Dual a)
 instance monoidDual :: (Monoid a) => Monoid (Dual a)
 ```
 
-The dual of a monoid.
-
-``` purescript
-Dual x <> Dual y == Dual (y <> x)
-mempty :: Dual _ == Dual mempty
-```
-
 #### `runDual`
 
 ``` purescript

docs/Data.Monoid.Endo.md

@@ -7,13 +7,6 @@ newtype Endo a
   = Endo (a -> a)
 ```
 
-##### Instances
-``` purescript
-instance invariantEndo :: Invariant Endo
-instance semigroupEndo :: Semigroup (Endo a)
-instance monoidEndo :: Monoid (Endo a)
-```
-
 Monoid of endomorphisms under composition.
 
 Composes of functions of type `a -> a`:
@@ -22,6 +15,13 @@ Endo f <> Endo g == Endo (f <<< g)
 mempty :: Endo _ == Endo id
 ```
 
+##### Instances
+``` purescript
+instance invariantEndo :: Invariant Endo
+instance semigroupEndo :: Semigroup (Endo a)
+instance monoidEndo :: Monoid (Endo a)
+```
+
 #### `runEndo`
 
 ``` purescript

docs/Data.Monoid.Multiplicative.md

@@ -7,6 +7,13 @@ newtype Multiplicative a
   = Multiplicative a
 ```
 
+Monoid and semigroup for semirings under multiplication.
+
+``` purescript
+Multiplicative x <> Multiplicative y == Multiplicative (x * y)
+mempty :: Multiplicative _ == Multiplicative one
+```
+
 ##### Instances
 ``` purescript
 instance eqMultiplicative :: (Eq a) => Eq (Multiplicative a)
@@ -24,13 +31,6 @@ instance semigroupMultiplicative :: (Semiring a) => Semigroup (Multiplicative a)
 instance monoidMultiplicative :: (Semiring a) => Monoid (Multiplicative a)
 ```
 
-Monoid and semigroup for semirings under multiplication.
-
-``` purescript
-Multiplicative x <> Multiplicative y == Multiplicative (x * y)
-mempty :: Multiplicative _ == Multiplicative one
-```
-
 #### `runMultiplicative`
 
 ``` purescript

docs/Data.Monoid.md

@@ -7,14 +7,6 @@ class (Semigroup m) <= Monoid m where
   mempty :: m
 ```
 
-##### Instances
-``` purescript
-instance monoidUnit :: Monoid Unit
-instance monoidFn :: (Monoid b) => Monoid (a -> b)
-instance monoidString :: Monoid String
-instance monoidArray :: Monoid (Array a)
-```
-
 A `Monoid` is a `Semigroup` with a value `mempty`, which is both a
 left and right unit for the associative operation `<>`:
 
@@ -26,4 +18,12 @@ forall x. mempty <> x = x <> mempty = x
 `<>` is used to combine individual results, and `mempty` gives the result
 of folding an empty collection of elements.
 
+##### Instances
+``` purescript
+instance monoidUnit :: Monoid Unit
+instance monoidFn :: (Monoid b) => Monoid (a -> b)
+instance monoidString :: Monoid String
+instance monoidArray :: Monoid (Array a)
+```
+