1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
|
{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
{-|
Module : Data.Monoid.Unicode
Copyright : 2009–2011 Roel van Dijk
License : BSD3 (see the file LICENSE)
Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
-}
module Data.Monoid.Unicode ( (∅), (⊕) ) where
-------------------------------------------------------------------------------
-- Imports
-------------------------------------------------------------------------------
-- from base:
import Data.Monoid ( Monoid, mempty, mappend )
-------------------------------------------------------------------------------
-- Fixities
-------------------------------------------------------------------------------
infixr 6 ⊕
-------------------------------------------------------------------------------
-- Symbols
-------------------------------------------------------------------------------
{-|
(∅) = 'mempty'
U+2205, EMPTY SET
-}
(∅) ∷ Monoid α ⇒ α
(∅) = mempty
{-# INLINE (∅) #-}
{-|
(⊕) = 'mappend'
U+2295, CIRCLED PLUS
-}
(⊕) ∷ Monoid α ⇒ α → α → α
(⊕) = mappend
{-# INLINE (⊕) #-}
|