{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} module Data.Monoid.Unicode ( (∅), (⊕) ) where ------------------------------------------------------------------------------- -- Imports ------------------------------------------------------------------------------- -- from base: import Data.Monoid ( Monoid, mempty, mappend ) ------------------------------------------------------------------------------- -- Fixities ------------------------------------------------------------------------------- infixr 6 ⊕ ------------------------------------------------------------------------------- -- Symbols ------------------------------------------------------------------------------- {-| (∅) = 'mempty' U+2205, EMPTY SET -} (∅) ∷ Monoid α ⇒ α ∅ :: α (∅) = α forall a. Monoid a => a mempty {-# INLINE (∅) #-} {-| (⊕) = 'mappend' U+2295, CIRCLED PLUS -} (⊕) ∷ Monoid α ⇒ α → α → α ⊕ :: α -> α -> α (⊕) = α -> α -> α forall a. Monoid a => a -> a -> a mappend {-# INLINE (⊕) #-}