diff --git a/Control/Applicative/Unicode.hs b/Control/Applicative/Unicode.hs deleted file mode 100644 --- a/Control/Applicative/Unicode.hs +++ /dev/null @@ -1,48 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Control.Applicative.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Control.Applicative.Unicode ( (⊛), (∅) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Control.Applicative ( Applicative, Alternative, (<*>), empty ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infixl 4 ⊛ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(⊛) = '<*>' - -U+229B, CIRCLED ASTERISK OPERATOR --} -(⊛) ∷ Applicative f ⇒ f (α → β) → f α → f β -(⊛) = (<*>) -{-# INLINE (⊛) #-} - -{-| -(∅) = 'empty' - -U+2205, EMPTY SET --} -(∅) ∷ Alternative f ⇒ f α -(∅) = empty -{-# INLINE (∅) #-} diff --git a/Control/Arrow/Unicode.hs b/Control/Arrow/Unicode.hs deleted file mode 100644 --- a/Control/Arrow/Unicode.hs +++ /dev/null @@ -1,102 +0,0 @@ -{-# LANGUAGE CPP, NoImplicitPrelude, UnicodeSyntax, TypeOperators #-} - -{-| -Module : Control.Arrow.Unicode -Copyright : 2010—2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Control.Arrow.Unicode - ( (⋙) - , (⋘) -#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ > 608 - , (⁂) -#endif - , (⧻) - , (⫴) - ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Control.Arrow ( Arrow, (***), ArrowChoice, (+++), (|||) ) -import Data.Either ( Either ) - -#if (MIN_VERSION_base(3,0,3)) --- from base-unicode-symbols -import Control.Category.Unicode ( (⋙), (⋘) ) -#else -import Control.Arrow ( (>>>), (<<<) ) -#endif - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ > 608 -infixr 3 ⁂ -#endif -infixr 2 ⧻ -infixr 2 ⫴ -#if ! (MIN_VERSION_base(3,0,3)) -infixr 1 ⋙, ⋘ -#endif - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ > 608 -{-| -(⁂) = ('***') - -U+2042, ASTERISM --} -(⁂) ∷ Arrow a ⇒ a α β → a α' β' → a (α, α') (β, β') -(⁂) = (***) -{-# INLINE (⁂) #-} -#endif - -{-| -(⧻) = ('+++') - -U+29FB, TRIPLE PLUS --} -(⧻) ∷ ArrowChoice a ⇒ a α β → a α' β' → a (Either α α') (Either β β') -(⧻) = (+++) -{-# INLINE (⧻) #-} - -{-| -(⫴) = ('|||') - -U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION --} -(⫴) ∷ ArrowChoice a ⇒ a α δ → a β δ → a (Either α β) δ -(⫴) = (|||) -{-# INLINE (⫴) #-} - -#if ! (MIN_VERSION_base(3,0,3)) -{-| -(⋙) = ('>>>') - -U+22D9, VERY MUCH GREATER-THAN --} -(⋙) ∷ Arrow a ⇒ a α β → a β γ → a α γ -(⋙) = (>>>) -{-# INLINE (⋙) #-} - -{-| -(⋘) = ('<<<') - -U+22D8, VERY MUCH LESS-THAN --} -(⋘) ∷ Arrow a ⇒ a β γ → a α β → a α γ -(⋘) = (<<<) -{-# INLINE (⋘) #-} -#endif diff --git a/Control/Category/Unicode.hs b/Control/Category/Unicode.hs deleted file mode 100644 --- a/Control/Category/Unicode.hs +++ /dev/null @@ -1,58 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Control.Category.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Control.Category.Unicode ( (∘), (⋙), (⋘) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Control.Category ( Category, (.), (>>>), (<<<) ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infixr 9 ∘ -infixr 1 ⋙, ⋘ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(∘) = ('.') - -U+2218, RING OPERATOR --} -(∘) ∷ Category c ⇒ c β γ → c α β → c α γ -(∘) = (.) -{-# INLINE (∘) #-} - -{-| -(⋙) = ('>>>') - -U+22D9, VERY MUCH GREATER-THAN --} -(⋙) ∷ Category c ⇒ c α β → c β γ → c α γ -(⋙) = (>>>) -{-# INLINE (⋙) #-} - -{-| -(⋘) = ('<<<') - -U+22D8, VERY MUCH LESS-THAN --} -(⋘) ∷ Category c ⇒ c β γ → c α β → c α γ -(⋘) = (<<<) -{-# INLINE (⋘) #-} diff --git a/Control/Monad/Unicode.hs b/Control/Monad/Unicode.hs deleted file mode 100644 --- a/Control/Monad/Unicode.hs +++ /dev/null @@ -1,59 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Control.Monad.Unicode -Copyright : 2010—2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Control.Monad.Unicode ( (≫=), (≫), (=≪) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Control.Monad ( Monad, (>>=), (>>), (=<<) ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infixl 1 ≫= -infixl 1 ≫ -infixr 1 =≪ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(≫=) = ('>>=') - -(U+226B, MUCH GREATER-THAN) + (U+3D, EQUALS SIGN) --} -(≫=) ∷ Monad m ⇒ m α → (α → m β) → m β -(≫=) = (>>=) -{-# INLINE (≫=) #-} - -{-| -(≫) = ('>>') - -U+226B, MUCH GREATER-THAN --} -(≫) ∷ Monad m ⇒ m α → m β → m β -(≫) = (>>) -{-# INLINE (≫) #-} - -{-| -(=≪) = ('=<<') - -(U+3D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN) --} -(=≪) ∷ Monad m ⇒ (α → m β) → m α → m β -(=≪) = (=<<) -{-# INLINE (=≪) #-} diff --git a/Data/Bool/Unicode.hs b/Data/Bool/Unicode.hs deleted file mode 100644 --- a/Data/Bool/Unicode.hs +++ /dev/null @@ -1,58 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.Bool.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Data.Bool.Unicode ( (∧), (∨), (¬) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Bool ( Bool, (&&), (||), not ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infixr 2 ∨ -infixr 3 ∧ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(¬) = 'not' - -U+00AC, NOT SIGN --} -(¬) ∷ Bool → Bool -(¬) = not -{-# INLINE (¬) #-} - -{-| -(∧) = ('&&') - -U+2227, LOGICAL AND --} -(∧) ∷ Bool → Bool → Bool -(∧) = (&&) -{-# INLINE (∧) #-} - -{-| -(∨) = ('||') - -U+2228, LOGICAL OR --} -(∨) ∷ Bool → Bool → Bool -(∨) = (||) -{-# INLINE (∨) #-} diff --git a/Data/Eq/Unicode.hs b/Data/Eq/Unicode.hs deleted file mode 100644 --- a/Data/Eq/Unicode.hs +++ /dev/null @@ -1,59 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.Eq.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Data.Eq.Unicode ( (≡), (≢), (≠) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Bool ( Bool ) -import Data.Eq ( Eq, (==), (/=) ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infix 4 ≡ -infix 4 ≢ -infix 4 ≠ - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(≡) = ('==') - -U+2261, IDENTICAL TO --} -(≡) ∷ Eq α ⇒ α → α → Bool -(≡) = (==) -{-# INLINE (≡) #-} - -{-| -(≢) = ('/=') - -U+2262, NOT IDENTICAL TO --} -(≢) ∷ Eq α ⇒ α → α → Bool -(≢) = (/=) -{-# INLINE (≢) #-} - -{-| -(≠) = ('/=') - -U+2260, NOT EQUAL TO --} -(≠) ∷ Eq α ⇒ α → α → Bool -(≠) = (/=) -{-# INLINE (≠) #-} diff --git a/Data/Foldable/Unicode.hs b/Data/Foldable/Unicode.hs deleted file mode 100644 --- a/Data/Foldable/Unicode.hs +++ /dev/null @@ -1,72 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.Foldable.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Data.Foldable.Unicode where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Bool ( Bool ) -import Data.Eq ( Eq ) -import Data.Function ( flip ) -import Data.Foldable ( Foldable, elem, notElem ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infix 4 ∈ -infix 4 ∋ -infix 4 ∉ -infix 4 ∌ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(∈) = 'elem' - -U+2208, ELEMENT OF --} -(∈) ∷ (Foldable t, Eq α) ⇒ α → t α → Bool -(∈) = elem -{-# INLINE (∈) #-} - -{-| -(∋) = 'flip' (∈) - -U+220B, CONTAINS AS MEMBER --} -(∋) ∷ (Foldable t, Eq α) ⇒ t α → α → Bool -(∋) = flip (∈) -{-# INLINE (∋) #-} - -{-| -(∉) = 'notElem' - -U+2209, NOT AN ELEMENT OF --} -(∉) ∷ (Foldable t, Eq α) ⇒ α → t α → Bool -(∉) = notElem -{-# INLINE (∉) #-} - -{-| -(∌) = 'flip' (∉) - -U+220C, DOES NOT CONTAIN AS MEMBER --} -(∌) ∷ (Foldable t, Eq α) ⇒ t α → α → Bool -(∌) = flip (∉) -{-# INLINE (∌) #-} diff --git a/Data/Function/Unicode.hs b/Data/Function/Unicode.hs deleted file mode 100644 --- a/Data/Function/Unicode.hs +++ /dev/null @@ -1,39 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.Function.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Data.Function.Unicode ( (∘) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Function ( (.) ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infixr 9 ∘ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(∘) = ('.') - -U+2218, RING OPERATOR --} -(∘) ∷ (β → γ) → (α → β) → (α → γ) -(∘) = (.) -{-# INLINE (∘) #-} diff --git a/Data/List/Unicode.hs b/Data/List/Unicode.hs deleted file mode 100644 --- a/Data/List/Unicode.hs +++ /dev/null @@ -1,128 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.List.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Data.List.Unicode - ( (⧺) - , (∈), (∋), (∉), (∌) - , (∪), (∖), (∆), (∩) - ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Bool ( Bool ) -import Data.Eq ( Eq ) -import Data.Function ( flip ) -import Data.List ( (++), elem, notElem, union, (\\), intersect ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infix 4 ∈ -infix 4 ∋ -infix 4 ∉ -infix 4 ∌ -infixr 5 ⧺ -infixl 6 ∪ -infixr 6 ∩ -infixl 9 ∖ -infixl 9 ∆ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(⧺) = ('++') - -U+29FA, DOUBLE PLUS --} -(⧺) ∷ [α] → [α] → [α] -(⧺) = (++) -{-# INLINE (⧺) #-} - -{-| -(∈) = 'elem' - -U+2208, ELEMENT OF --} -(∈) ∷ Eq α ⇒ α → [α] → Bool -(∈) = elem -{-# INLINE (∈) #-} - -{-| -(∋) = 'flip' (∈) - -U+220B, CONTAINS AS MEMBER --} -(∋) ∷ Eq α ⇒ [α] → α → Bool -(∋) = flip (∈) -{-# INLINE (∋) #-} - -{-| -(∉) = 'notElem' - -U+2209, NOT AN ELEMENT OF --} -(∉) ∷ Eq α ⇒ α → [α] → Bool -(∉) = notElem -{-# INLINE (∉) #-} - -{-| -(∌) = 'flip' (∉) - -U+220C, DOES NOT CONTAIN AS MEMBER --} -(∌) ∷ Eq α ⇒ [α] → α → Bool -(∌) = flip (∉) -{-# INLINE (∌) #-} - -{-| -(∪) = 'union' - -U+222A, UNION --} -(∪) ∷ Eq α ⇒ [α] → [α] → [α] -(∪) = union -{-# INLINE (∪) #-} - -{-| -(∖) = ('\\') - -U+2216, SET MINUS --} -(∖) ∷ Eq α ⇒ [α] → [α] → [α] -(∖) = (\\) -{-# INLINE (∖) #-} - -{-| -Symmetric difference - -a ∆ b = (a ∖ b) ∪ (b ∖ a) - -U+2206, INCREMENT --} -(∆) ∷ Eq α ⇒ [α] → [α] → [α] -a ∆ b = (a ∖ b) ∪ (b ∖ a) -{-# INLINE (∆) #-} - -{-| -(∩) = 'intersect' - -U+2229, INTERSECTION --} -(∩) ∷ Eq α ⇒ [α] → [α] → [α] -(∩) = intersect -{-# INLINE (∩) #-} diff --git a/Data/Monoid/Unicode.hs b/Data/Monoid/Unicode.hs deleted file mode 100644 --- a/Data/Monoid/Unicode.hs +++ /dev/null @@ -1,48 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.Monoid.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -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 (⊕) #-} diff --git a/Data/Ord/Unicode.hs b/Data/Ord/Unicode.hs deleted file mode 100644 --- a/Data/Ord/Unicode.hs +++ /dev/null @@ -1,70 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Data.Ord.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Bool ( Bool ) -import Data.Ord ( Ord, (<=), (>=) ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infix 4 ≤ -infix 4 ≥ -infix 4 ≮ -infix 4 ≯ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -(≤) = ('<=') - -U+2264, LESS-THAN OR EQUAL TO --} -(≤) ∷ Ord α ⇒ α → α → Bool -(≤) = (<=) -{-# INLINE (≤) #-} - -{-| -(≥) = ('>=') - -U+2265, GREATER-THAN OR EQUAL TO --} -(≥) ∷ Ord α ⇒ α → α → Bool -(≥) = (>=) -{-# INLINE (≥) #-} - -{-| -(≮) = ('>=') - -U+226E, NOT LESS-THAN --} -(≮) ∷ Ord α ⇒ α → α → Bool -(≮) = (>=) -{-# INLINE (≮) #-} - -{-| -(≯) = ('<=') - -U+226F, NOT GREATER-THAN --} -(≯) ∷ Ord α ⇒ α → α → Bool -(≯) = (<=) -{-# INLINE (≯) #-} diff --git a/LICENSE b/LICENSE --- a/LICENSE +++ b/LICENSE @@ -1,4 +1,4 @@ -Copyright 2009–2011 Roel van Dijk +Copyright 2009–2018 Roel van Dijk All rights reserved. diff --git a/Prelude/Unicode.hs b/Prelude/Unicode.hs deleted file mode 100644 --- a/Prelude/Unicode.hs +++ /dev/null @@ -1,103 +0,0 @@ -{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} - -{-| -Module : Prelude.Unicode -Copyright : 2009–2011 Roel van Dijk -License : BSD3 (see the file LICENSE) -Maintainer : Roel van Dijk --} - -module Prelude.Unicode - ( (¬), (∧), (∨) - , (≡), (≢), (≠) - , (≤), (≥), (≮), (≯) - , π - , (÷), (⋅) - , (∘) - , (⧺) - , (∈), (∉) - , (⊥) - , ℤ, ℚ - ) where - - -------------------------------------------------------------------------------- --- Imports -------------------------------------------------------------------------------- - --- from base: -import Data.Ratio ( Ratio ) -import Prelude ( Num, Floating, Fractional, Integer - , (/), (*), pi, undefined - ) - --- from base-unicode-symbols: -import Data.Bool.Unicode ( (∧), (∨), (¬) ) -import Data.Eq.Unicode ( (≡), (≢), (≠) ) -import Data.Function.Unicode ( (∘) ) -import Data.List.Unicode ( (⧺), (∈), (∉) ) -import Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) - - -------------------------------------------------------------------------------- --- Fixities -------------------------------------------------------------------------------- - -infixl 7 ÷ -infixl 7 ⋅ - - -------------------------------------------------------------------------------- --- Symbols -------------------------------------------------------------------------------- - -{-| -π = 'pi' - -U+03C0, GREEK SMALL LETTER PI --} -π ∷ Floating α ⇒ α -π = pi -{-# INLINE π #-} - -{-| -(÷) = ('/') - -U+00F7, DIVISION SIGN --} -(÷) ∷ Fractional α ⇒ α → α → α -(÷) = (/) -{-# INLINE (÷) #-} - -{-| -(⋅) = ('*') - -U+22C5, DOT OPERATOR --} -(⋅) ∷ Num α ⇒ α → α → α -(⋅) = (*) -{-# INLINE (⋅) #-} - -{-| -(⊥) = 'undefined' - -U+22A5, UP TACK --} -(⊥) ∷ α -(⊥) = undefined -{-# INLINE (⊥) #-} - - -------------------------------------------------------------------------------- --- Types -------------------------------------------------------------------------------- - -{-| -U+2124, DOUBLE-STRUCK CAPITAL Z --} -type ℤ = Integer - -{-| -U+2124, DOUBLE-STRUCK CAPITAL Q --} -type ℚ = Ratio ℤ diff --git a/README.markdown b/README.markdown --- a/README.markdown +++ b/README.markdown @@ -1,14 +1,20 @@ -This package defines new symbols for a number of functions and -operators in the base package. +This package defines Unicode symbol aliases for a number of functions and +operators in the `base` package of the Haskell standard library. +Many of these aliases enable the use of standard mathematical notation in place of ASCII approximations or textual names. +For example, `(∧)` (U+2227 LOGICAL AND) can be used in place of `(&&)` for boolean AND. -All symbols are documented with their actual definition and -information regarding their Unicode code point. They should be +All symbols are documented with their actual definition and their Unicode code point. They should be completely interchangeable with their definitions. -For further Unicode goodness you can enable the -[UnicodeSyntax](http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#unicode-syntax) +# Versus the `UnicodeSyntax` language extension + +This library only provides Unicode aliases for *library* functions. +If you want to use Unicode symbols for core language tokens, also enable the +[`UnicodeSyntax`](http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#unicode-syntax) language extension. This extension enables Unicode characters to be -used to stand for certain ASCII character sequences, i.e. → instead of -`->`, ∀ instead of `forall` and many others. +used to stand for certain ASCII character sequences, i.e. `→` instead of +`->`, `∀` instead of `forall` and many others. + +# Credits Original idea by Péter Diviánszky. diff --git a/base-unicode-symbols.cabal b/base-unicode-symbols.cabal --- a/base-unicode-symbols.cabal +++ b/base-unicode-symbols.cabal @@ -1,12 +1,12 @@ name: base-unicode-symbols -version: 0.2.2.4 +version: 0.2.3 cabal-version: >=1.6 build-type: Simple stability: provisional -tested-with: GHC ==6.8.1, GHC ==6.10.1, GHC ==6.12.1, GHC ==6.12.3, GHC ==7.0.1, GHC ==7.0.3, GHC ==7.2.1 +tested-with: GHC ==6.8.1, GHC ==6.10.1, GHC ==6.12.1, GHC ==6.12.3, GHC ==7.0.1, GHC ==7.0.3, GHC ==7.2.1, GHC==8.2.2 author: Roel van Dijk maintainer: Roel van Dijk -copyright: 2009–2011 Roel van Dijk +copyright: 2009–2018 Roel van Dijk license: BSD3 license-file: LICENSE category: @@ -22,14 +22,14 @@ completely interchangeable with their definitions. . For further Unicode goodness you can enable the @UnicodeSyntax@ - language extension \[1\]. This extension enables Unicode characters + language extension [1]. This extension enables Unicode characters to be used to stand for certain ASCII character sequences, i.e. → instead of @->@, ∀ instead of @forall@ and many others. . Original idea by Péter Diviánszky. . - \[1\] + \[1] extra-source-files: LICENSE, README.markdown @@ -41,12 +41,23 @@ description: Support for base < 3.0.3.1 default: False +flag base-4-8 + description: Support features of base >= 4.8.0.0 + default: True + library + hs-source-dirs: src + ghc-options: -Wall + if flag(old-base) build-depends: base >= 3.0 && < 3.0.3.1 else - build-depends: base >= 3.0.3.1 && < 5 exposed-modules: Control.Category.Unicode + if flag(base-4-8) + build-depends: base >= 4.8.0.0 && < 5 + exposed-modules: Numeric.Natural.Unicode + else + build-depends: base >= 3.0.3.1 && < 5 exposed-modules: Control.Applicative.Unicode , Control.Arrow.Unicode , Control.Monad.Unicode @@ -57,5 +68,5 @@ , Data.List.Unicode , Data.Monoid.Unicode , Data.Ord.Unicode + , Data.String.Unicode , Prelude.Unicode - diff --git a/src/Control/Applicative/Unicode.hs b/src/Control/Applicative/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Control/Applicative/Unicode.hs @@ -0,0 +1,40 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Control.Applicative.Unicode ( (⊛), (∅) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Control.Applicative ( Applicative, Alternative, (<*>), empty ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infixl 4 ⊛ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(⊛) = '<*>' + +U+229B, CIRCLED ASTERISK OPERATOR +-} +(⊛) ∷ Applicative f ⇒ f (α → β) → f α → f β +(⊛) = (<*>) +{-# INLINE (⊛) #-} + +{-| +(∅) = 'empty' + +U+2205, EMPTY SET +-} +(∅) ∷ Alternative f ⇒ f α +(∅) = empty +{-# INLINE (∅) #-} diff --git a/src/Control/Arrow/Unicode.hs b/src/Control/Arrow/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Control/Arrow/Unicode.hs @@ -0,0 +1,94 @@ +{-# LANGUAGE CPP, NoImplicitPrelude, UnicodeSyntax, TypeOperators #-} + +module Control.Arrow.Unicode + ( (⋙) + , (⋘) +#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ > 608 + , (⁂) +#endif + , (⧻) + , (⫴) + ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Control.Arrow ( Arrow, (***), ArrowChoice, (+++), (|||) ) +import Data.Either ( Either ) + +#if (MIN_VERSION_base(3,0,3)) +-- from base-unicode-symbols +import Control.Category.Unicode ( (⋙), (⋘) ) +#else +import Control.Arrow ( (>>>), (<<<) ) +#endif + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ > 608 +infixr 3 ⁂ +#endif +infixr 2 ⧻ +infixr 2 ⫴ +#if ! (MIN_VERSION_base(3,0,3)) +infixr 1 ⋙, ⋘ +#endif + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ > 608 +{-| +(⁂) = ('***') + +U+2042, ASTERISM +-} +(⁂) ∷ Arrow a ⇒ a α β → a α' β' → a (α, α') (β, β') +(⁂) = (***) +{-# INLINE (⁂) #-} +#endif + +{-| +(⧻) = ('+++') + +U+29FB, TRIPLE PLUS +-} +(⧻) ∷ ArrowChoice a ⇒ a α β → a α' β' → a (Either α α') (Either β β') +(⧻) = (+++) +{-# INLINE (⧻) #-} + +{-| +(⫴) = ('|||') + +U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION +-} +(⫴) ∷ ArrowChoice a ⇒ a α δ → a β δ → a (Either α β) δ +(⫴) = (|||) +{-# INLINE (⫴) #-} + +#if ! (MIN_VERSION_base(3,0,3)) +{-| +(⋙) = ('>>>') + +U+22D9, VERY MUCH GREATER-THAN +-} +(⋙) ∷ Arrow a ⇒ a α β → a β γ → a α γ +(⋙) = (>>>) +{-# INLINE (⋙) #-} + +{-| +(⋘) = ('<<<') + +U+22D8, VERY MUCH LESS-THAN +-} +(⋘) ∷ Arrow a ⇒ a β γ → a α β → a α γ +(⋘) = (<<<) +{-# INLINE (⋘) #-} +#endif diff --git a/src/Control/Category/Unicode.hs b/src/Control/Category/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Control/Category/Unicode.hs @@ -0,0 +1,50 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Control.Category.Unicode ( (∘), (⋙), (⋘) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Control.Category ( Category, (.), (>>>), (<<<) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infixr 9 ∘ +infixr 1 ⋙, ⋘ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(∘) = ('.') + +U+2218, RING OPERATOR +-} +(∘) ∷ Category c ⇒ c β γ → c α β → c α γ +(∘) = (.) +{-# INLINE (∘) #-} + +{-| +(⋙) = ('>>>') + +U+22D9, VERY MUCH GREATER-THAN +-} +(⋙) ∷ Category c ⇒ c α β → c β γ → c α γ +(⋙) = (>>>) +{-# INLINE (⋙) #-} + +{-| +(⋘) = ('<<<') + +U+22D8, VERY MUCH LESS-THAN +-} +(⋘) ∷ Category c ⇒ c β γ → c α β → c α γ +(⋘) = (<<<) +{-# INLINE (⋘) #-} diff --git a/src/Control/Monad/Unicode.hs b/src/Control/Monad/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Control/Monad/Unicode.hs @@ -0,0 +1,72 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Control.Monad.Unicode ( (≫=), (≫), (=≪), (↣), (↢) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Control.Monad ( Monad, (>>=), (>>), (=<<), (>=>), (<=<) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infixl 1 ≫= +infixl 1 ≫ +infixr 1 =≪ +infixl 1 ↣ +infixr 1 ↢ + + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(≫=) = ('>>=') + +(U+226B, MUCH GREATER-THAN) + (U+3D, EQUALS SIGN) +-} +(≫=) ∷ Monad m ⇒ m α → (α → m β) → m β +(≫=) = (>>=) +{-# INLINE (≫=) #-} + +{-| +(≫) = ('>>') + +U+226B, MUCH GREATER-THAN +-} +(≫) ∷ Monad m ⇒ m α → m β → m β +(≫) = (>>) +{-# INLINE (≫) #-} + +{-| +(=≪) = ('=<<') + +(U+3D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN) +-} +(=≪) ∷ Monad m ⇒ (α → m β) → m α → m β +(=≪) = (=<<) +{-# INLINE (=≪) #-} + +{-| +(↣) = ('>=>') + +(U+21A3, RIGHTWARDS ARROW WITH TAIL) +-} +(↣) ∷ Monad μ ⇒ (α → μ β) → (β → μ γ) → α → μ γ +(↣) = (>=>) +{-# INLINE (↣) #-} + +{-| +(↢) = ('<=<') + +(U+21A2, LEFTWARDS ARROW WITH TAIL) +-} +(↢) ∷ Monad μ ⇒ (β → μ γ) → (α → μ β) → α → μ γ +(↢) = (<=<) +{-# INLINE (↢) #-} diff --git a/src/Data/Bool/Unicode.hs b/src/Data/Bool/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/Bool/Unicode.hs @@ -0,0 +1,79 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Data.Bool.Unicode ( (∧), (∨), (¬), (⊻), (⊼), (⊽) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Data.Bool ( Bool, (&&), (||), not ) + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infixr 2 ∨ +infixr 3 ⊽ +infixr 3 ⊼ +infixr 3 ⊻ +infixr 3 ∧ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(¬) = 'not' + +U+00AC, NOT SIGN +-} +(¬) ∷ Bool → Bool +(¬) = not +{-# INLINE (¬) #-} + +{-| +(∧) = ('&&') + +U+2227, LOGICAL AND +-} +(∧) ∷ Bool → Bool → Bool +(∧) = (&&) +{-# INLINE (∧) #-} + +{-| +(∨) = ('||') + +U+2228, LOGICAL OR +-} +(∨) ∷ Bool → Bool → Bool +(∨) = (||) +{-# INLINE (∨) #-} + +{-| +a ⊻ b = (a ∨ b) ∧ not (a ∧ b) + +U+22BB, XOR +-} +(⊻) ∷ Bool → Bool → Bool +a ⊻ b = (a || b) && not (a && b) +{-# INLINE (⊻) #-} + +{-| +a ⊼ b = not (a ∧ b) + +U+22bc, NAND +-} +(⊼) ∷ Bool → Bool → Bool +a ⊼ b = not (a && b) +{-# INLINE (⊼) #-} + +{-| +a ⊽ b = not (a ∨ b) + +U+22bd, NOR +-} +(⊽) ∷ Bool → Bool → Bool +a ⊽ b = not (a || b) +{-# INLINE (⊽) #-} diff --git a/src/Data/Eq/Unicode.hs b/src/Data/Eq/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/Eq/Unicode.hs @@ -0,0 +1,51 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Data.Eq.Unicode ( (≡), (≢), (≠) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Data.Bool ( Bool ) +import Data.Eq ( Eq, (==), (/=) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infix 4 ≡ +infix 4 ≢ +infix 4 ≠ + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(≡) = ('==') + +U+2261, IDENTICAL TO +-} +(≡) ∷ Eq α ⇒ α → α → Bool +(≡) = (==) +{-# INLINE (≡) #-} + +{-| +(≢) = ('/=') + +U+2262, NOT IDENTICAL TO +-} +(≢) ∷ Eq α ⇒ α → α → Bool +(≢) = (/=) +{-# INLINE (≢) #-} + +{-| +(≠) = ('/=') + +U+2260, NOT EQUAL TO +-} +(≠) ∷ Eq α ⇒ α → α → Bool +(≠) = (/=) +{-# INLINE (≠) #-} diff --git a/src/Data/Foldable/Unicode.hs b/src/Data/Foldable/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/Foldable/Unicode.hs @@ -0,0 +1,64 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Data.Foldable.Unicode where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Data.Bool ( Bool ) +import Data.Eq ( Eq ) +import Data.Function ( flip ) +import Data.Foldable ( Foldable, elem, notElem ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infix 4 ∈ +infix 4 ∋ +infix 4 ∉ +infix 4 ∌ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(∈) = 'elem' + +U+2208, ELEMENT OF +-} +(∈) ∷ (Foldable t, Eq α) ⇒ α → t α → Bool +(∈) = elem +{-# INLINE (∈) #-} + +{-| +(∋) = 'flip' (∈) + +U+220B, CONTAINS AS MEMBER +-} +(∋) ∷ (Foldable t, Eq α) ⇒ t α → α → Bool +(∋) = flip (∈) +{-# INLINE (∋) #-} + +{-| +(∉) = 'notElem' + +U+2209, NOT AN ELEMENT OF +-} +(∉) ∷ (Foldable t, Eq α) ⇒ α → t α → Bool +(∉) = notElem +{-# INLINE (∉) #-} + +{-| +(∌) = 'flip' (∉) + +U+220C, DOES NOT CONTAIN AS MEMBER +-} +(∌) ∷ (Foldable t, Eq α) ⇒ t α → α → Bool +(∌) = flip (∉) +{-# INLINE (∌) #-} diff --git a/src/Data/Function/Unicode.hs b/src/Data/Function/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/Function/Unicode.hs @@ -0,0 +1,31 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Data.Function.Unicode ( (∘) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Data.Function ( (.) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infixr 9 ∘ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(∘) = ('.') + +U+2218, RING OPERATOR +-} +(∘) ∷ (β → γ) → (α → β) → (α → γ) +(∘) = (.) +{-# INLINE (∘) #-} diff --git a/src/Data/List/Unicode.hs b/src/Data/List/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/List/Unicode.hs @@ -0,0 +1,143 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Data.List.Unicode + ( (⧺) + , (∈), (∋), (∉), (∌) + , (∪), (∖), (∆), (∩) + , (‼) + , 𝜀 + ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Prelude ( Int ) +import Data.Bool ( Bool ) +import Data.Eq ( Eq ) +import Data.Function ( flip ) +import Data.List ( (++), elem, notElem, union, (\\), intersect, (!!) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infix 4 ∈ +infix 4 ∋ +infix 4 ∉ +infix 4 ∌ +infixr 5 ⧺ +infixl 6 ∪ +infixr 6 ∩ +infixl 9 ∖ +infixl 9 ∆ +infixl 9 ‼ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(⧺) = ('++') + +U+29FA, DOUBLE PLUS +-} +(⧺) ∷ [α] → [α] → [α] +(⧺) = (++) +{-# INLINE (⧺) #-} + +{-| +(∈) = 'elem' + +U+2208, ELEMENT OF +-} +(∈) ∷ Eq α ⇒ α → [α] → Bool +(∈) = elem +{-# INLINE (∈) #-} + +{-| +(∋) = 'flip' (∈) + +U+220B, CONTAINS AS MEMBER +-} +(∋) ∷ Eq α ⇒ [α] → α → Bool +(∋) = flip (∈) +{-# INLINE (∋) #-} + +{-| +(∉) = 'notElem' + +U+2209, NOT AN ELEMENT OF +-} +(∉) ∷ Eq α ⇒ α → [α] → Bool +(∉) = notElem +{-# INLINE (∉) #-} + +{-| +(∌) = 'flip' (∉) + +U+220C, DOES NOT CONTAIN AS MEMBER +-} +(∌) ∷ Eq α ⇒ [α] → α → Bool +(∌) = flip (∉) +{-# INLINE (∌) #-} + +{-| +(∪) = 'union' + +U+222A, UNION +-} +(∪) ∷ Eq α ⇒ [α] → [α] → [α] +(∪) = union +{-# INLINE (∪) #-} + +{-| +(∖) = ('\\') + +U+2216, SET MINUS +-} +(∖) ∷ Eq α ⇒ [α] → [α] → [α] +(∖) = (\\) +{-# INLINE (∖) #-} + +{-| +Symmetric difference + +a ∆ b = (a ∖ b) ∪ (b ∖ a) + +U+2206, INCREMENT +-} +(∆) ∷ Eq α ⇒ [α] → [α] → [α] +a ∆ b = (a ∖ b) ∪ (b ∖ a) +{-# INLINE (∆) #-} + +{-| +(∩) = 'intersect' + +U+2229, INTERSECTION +-} +(∩) ∷ Eq α ⇒ [α] → [α] → [α] +(∩) = intersect +{-# INLINE (∩) #-} + +{-| +(‼) = ('!!') + +U+203C, DOUBLE EXCLAMATION MARK +-} +(‼) ∷ [α] → Int → α +(‼) = (!!) +{-# INLINE (‼) #-} + +{-| +Epsilon, the empty word (or list) + +(ε) = [] + +(U+3B5, GREEK SMALL LETTER EPSILON) +-} +𝜀 ∷ [a] +𝜀 = [] diff --git a/src/Data/Monoid/Unicode.hs b/src/Data/Monoid/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/Monoid/Unicode.hs @@ -0,0 +1,40 @@ +{-# 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 α ⇒ α +(∅) = mempty +{-# INLINE (∅) #-} + +{-| +(⊕) = 'mappend' + +U+2295, CIRCLED PLUS +-} +(⊕) ∷ Monoid α ⇒ α → α → α +(⊕) = mappend +{-# INLINE (⊕) #-} diff --git a/src/Data/Ord/Unicode.hs b/src/Data/Ord/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/Ord/Unicode.hs @@ -0,0 +1,62 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Data.Bool ( Bool ) +import Data.Ord ( Ord, (<=), (>=) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infix 4 ≤ +infix 4 ≥ +infix 4 ≮ +infix 4 ≯ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +(≤) = ('<=') + +U+2264, LESS-THAN OR EQUAL TO +-} +(≤) ∷ Ord α ⇒ α → α → Bool +(≤) = (<=) +{-# INLINE (≤) #-} + +{-| +(≥) = ('>=') + +U+2265, GREATER-THAN OR EQUAL TO +-} +(≥) ∷ Ord α ⇒ α → α → Bool +(≥) = (>=) +{-# INLINE (≥) #-} + +{-| +(≮) = ('>=') + +U+226E, NOT LESS-THAN +-} +(≮) ∷ Ord α ⇒ α → α → Bool +(≮) = (>=) +{-# INLINE (≮) #-} + +{-| +(≯) = ('<=') + +U+226F, NOT GREATER-THAN +-} +(≯) ∷ Ord α ⇒ α → α → Bool +(≯) = (<=) +{-# INLINE (≯) #-} diff --git a/src/Data/String/Unicode.hs b/src/Data/String/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Data/String/Unicode.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE UnicodeSyntax #-} + +module Data.String.Unicode (𝜀) where + +import Data.List.Unicode (𝜀) diff --git a/src/Numeric/Natural/Unicode.hs b/src/Numeric/Natural/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Numeric/Natural/Unicode.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Numeric.Natural.Unicode ( ℕ ) where + +import Numeric.Natural ( Natural ) + +{-| +U+2115, DOUBLE-STRUCK CAPITAL N +-} +type ℕ = Natural diff --git a/src/Prelude/Unicode.hs b/src/Prelude/Unicode.hs new file mode 100644 --- /dev/null +++ b/src/Prelude/Unicode.hs @@ -0,0 +1,129 @@ +{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} + +module Prelude.Unicode + ( (¬), (∧), (∨) + , (≡), (≢), (≠) + , (≤), (≥), (≮), (≯) + , (−) + , π + , (÷), (⋅) + , (∘) + , (⧺) + , (∈), (∉) + , (‼) + , (⊥) + , (∣), (∤) + , ℤ, ℚ + , 𝜀 + ) where + +------------------------------------------------------------------------------- +-- Imports +------------------------------------------------------------------------------- + +-- from base: +import Data.Bool ( Bool ) +import Data.Eq ( (==) ) +import Data.Ratio ( Ratio ) +import Prelude ( Num, Floating, Fractional, Integer, Integral + , (-), (/), (*), pi, undefined, mod + ) + +-- from base-unicode-symbols: +import Data.Bool.Unicode ( (∧), (∨), (¬) ) +import Data.Eq.Unicode ( (≡), (≢), (≠) ) +import Data.Function.Unicode ( (∘) ) +import Data.List.Unicode ( (⧺), (∈), (∉), (‼), 𝜀 ) +import Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) + + +------------------------------------------------------------------------------- +-- Fixities +------------------------------------------------------------------------------- + +infixl 7 ÷ +infixl 7 ⋅ +infix 4 ∣ +infix 4 ∤ + + +------------------------------------------------------------------------------- +-- Symbols +------------------------------------------------------------------------------- + +{-| +π = 'pi' + +U+03C0, GREEK SMALL LETTER PI +-} +π ∷ Floating α ⇒ α +π = pi +{-# INLINE π #-} + +{-| +(÷) = ('/') + +U+00F7, DIVISION SIGN +-} +(÷) ∷ Fractional α ⇒ α → α → α +(÷) = (/) +{-# INLINE (÷) #-} + +{-| +(⋅) = ('*') + +U+22C5, DOT OPERATOR +-} +(⋅) ∷ Num α ⇒ α → α → α +(⋅) = (*) +{-# INLINE (⋅) #-} + +{-| +(⊥) = 'undefined' + +U+22A5, UP TACK +-} +(⊥) ∷ α +(⊥) = undefined +{-# INLINE (⊥) #-} + +{-| +a ∣ b = mod a b == 0 + +U+2223, DIVIDES +-} +(∣) ∷ Integral a ⇒ a → a → Bool +a ∣ b = mod a b == 0 +{-# INLINE (∣) #-} + +{-| +a ∤ b = not (a ∣ b) + +U+2224, DOES NOT DIVIDE +-} +(∤) ∷ Integral a ⇒ a → a → Bool +a ∤ b = (¬)(a ∣ b) +{-# INLINE (∤) #-} + +{-| +a − b = a - b + +U+2212, MINUS SIGN +-} +(−) ∷ Num a ⇒ a → a → a +(−) = (-) +{-# INLINE (−) #-} + +------------------------------------------------------------------------------- +-- Types +------------------------------------------------------------------------------- + +{-| +U+2124, DOUBLE-STRUCK CAPITAL Z +-} +type ℤ = Integer + +{-| +U+2124, DOUBLE-STRUCK CAPITAL Q +-} +type ℚ = Ratio ℤ