expand semigroup

docs/Monoid.md

@@ -29,6 +29,17 @@ mconcat :: Monoid a => [a] -> a
 Semigroup
 ---------
 
+```haskell
+(<>) :: Semigroup a => a -> a -> a
+```
+
+```haskell
+sconcat :: Semigroup a => NonEmpty a -> a
+```
+
+```haskell
+stimes :: (Semigroup a, Integral b) => b -> a -> a
+```
 
 ```haskell
 option :: b -> (a -> b) -> Option a -> b
@@ -57,3 +68,6 @@ stimesIdempotentMonoid :: (Integral b, Monoid a) => b -> a -> a
 ```haskell
 mtimesDefault :: (Integral b, Monoid a) => b -> a -> a
 ```
+
+NonEmpty
+---------

src/Protolude.hs

@@ -103,6 +103,10 @@ import Data.Functor.Identity as X
 
 #if ( __GLASGOW_HASKELL__ >= 800 )
 import Data.Monoid as X
+import Data.List.NonEmpty as X (
+    NonEmpty(..)
+  , nonEmpty
+  )
 import Data.Semigroup as X (
     Semigroup(sconcat, stimes)
   , WrappedMonoid