base-unicode-symbols 0.2.1.1 → 0.2.4.2
raw patch · 29 files changed
Files
- Control/Applicative/Unicode.hs +0/−46
- Control/Arrow/Unicode.hs +0/−60
- Control/Category/Unicode.hs +0/−55
- Control/Monad/Unicode.hs +0/−56
- Data/Bool/Unicode.hs +0/−55
- Data/Eq/Unicode.hs +0/−56
- Data/Foldable/Unicode.hs +0/−68
- Data/Function/Unicode.hs +0/−38
- Data/List/Unicode.hs +0/−119
- Data/Monoid/Unicode.hs +0/−47
- Data/Ord/Unicode.hs +0/−66
- LICENSE +1/−1
- Prelude/Unicode.hs +0/−82
- README.markdown +23/−0
- base-unicode-symbols.cabal +37/−24
- src/Control/Applicative/Unicode.hs +40/−0
- src/Control/Arrow/Unicode.hs +94/−0
- src/Control/Category/Unicode.hs +50/−0
- src/Control/Monad/Unicode.hs +72/−0
- src/Data/Bool/Unicode.hs +79/−0
- src/Data/Eq/Unicode.hs +51/−0
- src/Data/Foldable/Unicode.hs +64/−0
- src/Data/Function/Unicode.hs +31/−0
- src/Data/List/Unicode.hs +143/−0
- src/Data/Monoid/Unicode.hs +40/−0
- src/Data/Ord/Unicode.hs +62/−0
- src/Data/String/Unicode.hs +5/−0
- src/Numeric/Natural/Unicode.hs +10/−0
- src/Prelude/Unicode.hs +139/−0
− Control/Applicative/Unicode.hs
@@ -1,46 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Control.Applicative.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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 β-(⊛) = (<*>)--{-|-(∅) = 'empty'--U+2205, EMPTY SET--}-(∅) ∷ Alternative f ⇒ f α-(∅) = empty
− Control/Arrow/Unicode.hs
@@ -1,60 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}--{-|-Module : Control.Arrow.Unicode-Copyright : (c) 2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--module Control.Arrow.Unicode ( (⋙), (⋘), (⁂), (⧻), (⫴) ) where------------------------------------------------------------------------------------- Imports------------------------------------------------------------------------------------ from base:-import Control.Arrow ( Arrow, (***), ArrowChoice, (+++), (|||) )-import Data.Either ( Either )---- from base-unicode-symbols-import Control.Category.Unicode ( (⋙), (⋘) )------------------------------------------------------------------------------------- Fixities----------------------------------------------------------------------------------infixr 3 ⁂-infixr 2 ⧻-infixr 2 ⫴------------------------------------------------------------------------------------- Symbols----------------------------------------------------------------------------------{-|-(⁂) = ('***')--U+2042, ASTERISM--}-(⁂) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (α, α') ⇝ (β, β')-(⁂) = (***)--{-|-(⧻) = ('+++')--U+29FB, TRIPLE PLUS--}-(⧻) ∷ ArrowChoice (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (Either α α' ⇝ Either β β')-(⧻) = (+++)--{-|-(⫴) = ('|||')--U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION--}-(⫴) ∷ ArrowChoice (⇝) ⇒ (α ⇝ δ) → (β ⇝ δ) → (Either α β ⇝ δ)-(⫴) = (|||)
− Control/Category/Unicode.hs
@@ -1,55 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}--{-|-Module : Control.Category.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--module Control.Category.Unicode ( (∘), (⋙), (⋘) ) where------------------------------------------------------------------------------------- Imports------------------------------------------------------------------------------------ from base:-import Control.Category ( Category, (.), (>>>), (<<<) )------------------------------------------------------------------------------------- Fixities----------------------------------------------------------------------------------infixr 9 ∘-infixr 1 ⋙, ⋘------------------------------------------------------------------------------------- Symbols----------------------------------------------------------------------------------{-|-(∘) = ('.')--U+2218, RING OPERATOR--}-(∘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)-(∘) = (.)--{-|-(⋙) = ('>>>')--U+22D9, VERY MUCH GREATER-THAN--}-(⋙) ∷ Category (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)-(⋙) = (>>>)--{-|-(⋘) = ('<<<')--U+22D8, VERY MUCH LESS-THAN--}-(⋘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)-(⋘) = (<<<)
− Control/Monad/Unicode.hs
@@ -1,56 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Control.Monad.Unicode-Copyright : (c) 2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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 β-(≫=) = (>>=)--{-|-(≫) = ('>>')--U+226B, MUCH GREATER-THAN--}-(≫) ∷ Monad m ⇒ m α → m β → m β-(≫) = (>>)--{-|-(=≪) = ('=<<')--(U+3D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN)--}-(=≪) ∷ Monad m ⇒ (α → m β) → m α → m β-(=≪) = (=<<)
− Data/Bool/Unicode.hs
@@ -1,55 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.Bool.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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--{-|-(∧) = ('&&')--U+2227, LOGICAL AND--}-(∧) ∷ Bool → Bool → Bool-(∧) = (&&)--{-|-(∨) = ('||')--U+2228, LOGICAL OR--}-(∨) ∷ Bool → Bool → Bool-(∨) = (||)
− Data/Eq/Unicode.hs
@@ -1,56 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.Eq.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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-(≡) = (==)--{-|-(≢) = ('/=')--U+2262, NOT IDENTICAL TO--}-(≢) ∷ Eq α ⇒ α → α → Bool-(≢) = (/=)--{-|-(≠) = ('/=')--U+2260, NOT EQUAL TO--}-(≠) ∷ Eq α ⇒ α → α → Bool-(≠) = (/=)
− Data/Foldable/Unicode.hs
@@ -1,68 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.Foldable.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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--{-|-(∋) = 'flip' (∈)--U+220B, CONTAINS AS MEMBER--}-(∋) ∷ (Foldable t, Eq α) ⇒ t α → α → Bool-(∋) = flip (∈)--{-|-(∉) = 'notElem'--U+2209, NOT AN ELEMENT OF--}-(∉) ∷ (Foldable t, Eq α) ⇒ α → t α → Bool-(∉) = notElem--{-|-(∌) = 'flip' (∉)--U+220C, DOES NOT CONTAIN AS MEMBER--}-(∌) ∷ (Foldable t, Eq α) ⇒ t α → α → Bool-(∌) = flip (∉)
− Data/Function/Unicode.hs
@@ -1,38 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.Function.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--module Data.Function.Unicode ( (∘) ) where------------------------------------------------------------------------------------- Imports------------------------------------------------------------------------------------ from base:-import Data.Function ( (.) )------------------------------------------------------------------------------------- Fixities----------------------------------------------------------------------------------infixr 9 ∘------------------------------------------------------------------------------------- Symbols----------------------------------------------------------------------------------{-|-(∘) = ('.')--U+2218, RING OPERATOR--}-(∘) ∷ (β → γ) → (α → β) → (α → γ)-(∘) = (.)
− Data/List/Unicode.hs
@@ -1,119 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.List.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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--}-(⧺) ∷ [α] → [α] → [α]-(⧺) = (++)--{-|-(∈) = 'elem'--U+2208, ELEMENT OF--}-(∈) ∷ Eq α ⇒ α → [α] → Bool-(∈) = elem--{-|-(∋) = 'flip' (∈)--U+220B, CONTAINS AS MEMBER--}-(∋) ∷ Eq α ⇒ [α] → α → Bool-(∋) = flip (∈)--{-|-(∉) = 'notElem'--U+2209, NOT AN ELEMENT OF--}-(∉) ∷ Eq α ⇒ α → [α] → Bool-(∉) = notElem--{-|-(∌) = 'flip' (∉)--U+220C, DOES NOT CONTAIN AS MEMBER--}-(∌) ∷ Eq α ⇒ [α] → α → Bool-(∌) = flip (∉)--{-|-(∪) = 'union'--U+222A, UNION--}-(∪) ∷ Eq α ⇒ [α] → [α] → [α]-(∪) = union--{-|-(∖) = ('\\')--U+2216, SET MINUS--}-(∖) ∷ Eq α ⇒ [α] → [α] → [α]-(∖) = (\\)--{-|-Symmetric difference--a ∆ b = (a ∖ b) ∪ (b ∖ a)--U+2206, INCREMENT--}-(∆) ∷ Eq α ⇒ [α] → [α] → [α]-a ∆ b = (a ∖ b) ∪ (b ∖ a)--{-|-(∩) = 'intersect'--U+2229, INTERSECTION--}-(∩) ∷ Eq α ⇒ [α] → [α] → [α]-(∩) = intersect
− Data/Monoid/Unicode.hs
@@ -1,47 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.Monoid.Unicode-Copyright : (c) 2009–2010 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--{-|-(⊕) = 'mappend'--U+2295, CIRCLED PLUS--}-(⊕) ∷ Monoid α ⇒ α → α → α-(⊕) = mappend-
− Data/Ord/Unicode.hs
@@ -1,66 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Data.Ord.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--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-(≤) = (<=)--{-|-(≥) = ('>=')--U+2265, GREATER-THAN OR EQUAL TO--}-(≥) ∷ Ord α ⇒ α → α → Bool-(≥) = (>=)--{-|-(≮) = ('>=')--U+226E, NOT LESS-THAN--}-(≮) ∷ Ord α ⇒ α → α → Bool-(≮) = (>=)--{-|-(≯) = ('<=')--U+226F, NOT GREATER-THAN--}-(≯) ∷ Ord α ⇒ α → α → Bool-(≯) = (<=)
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) 2009–2010 Roel van Dijk+Copyright 2009–2019 Roel van Dijk All rights reserved.
− Prelude/Unicode.hs
@@ -1,82 +0,0 @@-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}--{-|-Module : Prelude.Unicode-Copyright : (c) 2009–2010 Roel van Dijk-License : BSD3 (see the file LICENSE)-Maintainer : Roel van Dijk <vandijk.roel@gmail.com>--}--module Prelude.Unicode- ( (¬), (∧), (∨)- , (≡), (≢), (≠)- , (≤), (≥), (≮), (≯)- , π- , (÷), (⋅)- , (∘)- , (⧺)- , (∈), (∉)- , (⊥)- ) where------------------------------------------------------------------------------------- Imports------------------------------------------------------------------------------------ from base:-import Prelude ( Num, Floating, Fractional- , (/), (*), 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--{-|-(÷) = ('/')--U+00F7, DIVISION SIGN--}-(÷) ∷ Fractional α ⇒ α → α → α-(÷) = (/)--{-|-(⋅) = ('*')--U+22C5, DOT OPERATOR--}-(⋅) ∷ Num α ⇒ α → α → α-(⋅) = (*)--{-|-(⊥) = 'undefined'--U+22A5, UP TACK--}-(⊥) ∷ α-(⊥) = undefined
+ README.markdown view
@@ -0,0 +1,23 @@+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 their+Unicode code point. They should be completely interchangeable with+their definitions.++# 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`](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.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.++# Credits++Original idea by Péter Diviánszky.
base-unicode-symbols.cabal view
@@ -1,51 +1,64 @@ name: base-unicode-symbols-version: 0.2.1.1+version: 0.2.4.2 cabal-version: >=1.6 build-type: Simple stability: provisional-author: Roel van Dijk <vandijk.roel@gmail.com>-maintainer: Roel van Dijk <vandijk.roel@gmail.com>-copyright: (c) 2009–2010 Roel van Dijk <vandijk.roel@gmail.com>+author: Roel van Dijk <roel@lambdacube.nl>+maintainer: Roel van Dijk <roel@lambdacube.nl>+copyright: 2009–2019 Roel van Dijk <roel@lambdacube.nl> license: BSD3 license-file: LICENSE category: homepage: http://haskell.org/haskellwiki/Unicode-symbols+bug-reports: https://github.com/roelvandijk/base-unicode-symbols/issues synopsis: Unicode alternatives for common functions and operators description:- This package defines new symbols for a number of functions and- operators in the base package.+ This package defines new symbols for a number of functions,+ operators and types in the base package. . All symbols are documented with their actual definition and information regarding their Unicode code point. They should be completely interchangeable with their definitions. . For further Unicode goodness you can enable the @UnicodeSyntax@- language extension \[1\]. This extension enables Unicode characters- to be used to stand for certain ASCII character sequences. For GHC- 6.12.3 it provides the following alternatives:- .- * ∷ (U+2237, PROPORTION) instead of @::@- .- * ⇒ (U+21D2, RIGHTWARDS DOUBLE ARROW) instead of @=>@- .- * ∀ (U+2200, FOR ALL) instead of @forall@- .- * → (U+2192, RIGHTWARDS ARROW) instead of @->@- .- * ← (U+2190, LEFTWARDS ARROW) instead of @<-@+ 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\] <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#unicode-syntax>+ \[1] <https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#unicode-syntax> +extra-source-files: LICENSE, README.markdown+ source-repository head- type: darcs- location: http://code.haskell.org/~roelvandijk/code/base-unicode-symbols+ type: git+ location: git://github.com/roelvandijk/base-unicode-symbols.git +flag old-base+ 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+ 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.Category.Unicode , Control.Monad.Unicode , Data.Bool.Unicode , Data.Eq.Unicode@@ -54,5 +67,5 @@ , Data.List.Unicode , Data.Monoid.Unicode , Data.Ord.Unicode+ , Data.String.Unicode , Prelude.Unicode- build-depends: base >= 3.0.3.1 && < 4.4
+ src/Control/Applicative/Unicode.hs view
@@ -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 (∅) #-}
+ src/Control/Arrow/Unicode.hs view
@@ -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
+ src/Control/Category/Unicode.hs view
@@ -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 (⋘) #-}
+ src/Control/Monad/Unicode.hs view
@@ -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 (↢) #-}
+ src/Data/Bool/Unicode.hs view
@@ -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 (⊽) #-}
+ src/Data/Eq/Unicode.hs view
@@ -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 (≠) #-}
+ src/Data/Foldable/Unicode.hs view
@@ -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 (∌) #-}
+ src/Data/Function/Unicode.hs view
@@ -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 (∘) #-}
+ src/Data/List/Unicode.hs view
@@ -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]+𝜀 = []
+ src/Data/Monoid/Unicode.hs view
@@ -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 (⊕) #-}
+ src/Data/Ord/Unicode.hs view
@@ -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 (≯) #-}
+ src/Data/String/Unicode.hs view
@@ -0,0 +1,5 @@+{-# LANGUAGE UnicodeSyntax #-}++module Data.String.Unicode (𝜀) where++import Data.List.Unicode (𝜀)
+ src/Numeric/Natural/Unicode.hs view
@@ -0,0 +1,10 @@+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}++module Numeric.Natural.Unicode ( ℕ ) where++import Numeric.Natural ( Natural )++{-|+U+2115, DOUBLE-STRUCK CAPITAL N+-}+type ℕ = Natural
+ src/Prelude/Unicode.hs view
@@ -0,0 +1,139 @@+{-# 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 ×, ⋅+infixl 6 −+infix 4 ∣+infix 4 ∤+++-------------------------------------------------------------------------------+-- Symbols+-------------------------------------------------------------------------------++{-|+π = 'pi'++U+03C0, GREEK SMALL LETTER PI+-}+π ∷ Floating α ⇒ α+π = pi+{-# INLINE π #-}++{-|+(÷) = ('/')++U+00F7, DIVISION SIGN+-}+(÷) ∷ Fractional α ⇒ α → α → α+(÷) = (/)+{-# INLINE (÷) #-}++{-|+(×) = ('*')++U+00D7, MULTIPLICATION SIGN+-}+(×) ∷ Num α ⇒ α → α → α+(×) = (*)+{-# 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 ℤ