From 8073d55aaf3744c26ffd0579e5b93508b4553059 Mon Sep 17 00:00:00 2001 From: Christian Sievers Date: Fri, 13 Feb 2015 22:28:27 +0100 Subject: [PATCH] Changes to the Monoids section of the Basics chapter --- 001_basics.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/001_basics.md b/001_basics.md index 2d5cc54..908f267 100644 --- a/001_basics.md +++ b/001_basics.md @@ -508,8 +508,8 @@ Monoids ------- Monoids provide an interface for structures which have an associative operation -(``mappend``) and a neutral element (``mempty``) which is the zero for the join -operation. +(``mappend``, there is also the synonym ``<>``) and a neutral +(also: unit or zero) element (``mempty``) for that operation. ```haskell class Monoid a where @@ -518,7 +518,8 @@ class Monoid a where mconcat :: [a] -> a ``` -The canonical example is the list type with the zero being the empty list. +The canonical example is the list type with concatenation as the operation +and the empty list as zero. ```haskell import Data.Monoid