shithub: MicroHs

ref: c3d5b2a4be56b65a09e0e52c01a4646ce407302b
dir: /lib/Data/Monoid.hs/

View raw version 
module Data.Monoid(module Data.Monoid) where
import Primitives
import Data.List_Type
import Data.Semigroup

class Semigroup a => Monoid a where
  mempty :: a
  mappend :: a -> a -> a
  mappend = (<>)
  mconcat :: [a] -> a
  mconcat [] = mempty
  mconcat (a:as) = a <> mconcat as