Merge pull request #14 from JustusAdam/master

Added epsilon, the empty word/list.
roelvandijk · Jul 25, 2015 · a676a97 · a676a97
2 parents 898ec7d + bd2e75b
commit a676a97
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 2 deletions.
diff --git a/Data/List/Unicode.hs b/Data/List/Unicode.hs
@@ -12,6 +12,7 @@ module Data.List.Unicode
     , (∈), (∋), (∉), (∌)
     , (∪), (∖), (∆), (∩)
     , (‼)
+    , 𝜀
     ) where
 
 
@@ -138,3 +139,13 @@ U+203C, DOUBLE EXCLAMATION MARK
 (‼) ∷ [α] → Int → α
 (‼) = (!!)
 {-# INLINE (‼) #-}
+
+{-|
+Epsilon, the empty word (or list)
+
+(&#x3b5;) = []
+
+(U+3B5, GREEK SMALL LETTER EPSILON)
+-}
+𝜀 ∷ [a]
+𝜀 = []
diff --git a/Data/String/Unicode.hs b/Data/String/Unicode.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE UnicodeSyntax #-}
+module Data.String.Unicode (𝜀) where
+
+
+import Data.List.Unicode (𝜀)
diff --git a/Prelude/Unicode.hs b/Prelude/Unicode.hs
@@ -20,6 +20,7 @@ module Prelude.Unicode
     , (⊥)
     , (∣), (∤)
     , ℤ, ℚ
+    , 𝜀
     ) where
 
 
@@ -39,7 +40,7 @@ import Prelude    ( Num, Floating, Fractional, Integer, Integral
 import Data.Bool.Unicode     ( (∧), (∨), (¬) )
 import Data.Eq.Unicode       ( (≡), (≢), (≠) )
 import Data.Function.Unicode ( (∘) )
-import Data.List.Unicode     ( (⧺), (∈), (∉), (‼) )
+import Data.List.Unicode     ( (⧺), (∈), (∉), (‼), 𝜀 )
 import Data.Ord.Unicode      ( (≤), (≥), (≮), (≯) )
 
 

diff --git a/base-unicode-symbols.cabal b/base-unicode-symbols.cabal
@@ -57,5 +57,5 @@ library
                  , Data.List.Unicode
                  , Data.Monoid.Unicode
                  , Data.Ord.Unicode
+                 , Data.String.Unicode
                  , Prelude.Unicode
-