base-unicode-symbols

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, i.e. → instead of ->, ∀ instead of forall and many others. Original idea by Péter Diviánszky. [1] https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#unicode-syntax


Keywords
library, unclassified, Propose Tags, https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#unicode-syntax, Skip to Readme, , Index, Quick Jump, Control.Applicative.Unicode, Control.Arrow.Unicode, Control.Category.Unicode, Control.Monad.Unicode, Data.Bool.Unicode, Data.Eq.Unicode, Data.Foldable.Unicode, Data.Function.Unicode, Data.List.Unicode, Data.Monoid.Unicode, Data.Ord.Unicode, Data.String.Unicode, Numeric.Natural.Unicode, Prelude.Unicode, More info, base-unicode-symbols-0.2.4.2.tar.gz, browse, Package description, Package maintainers, RoelVanDijk, edit package information , 0.2.3, 0.2.4, UnicodeSyntax
License
BSD-3-Clause
Install
cabal install base-unicode-symbols-0.2.4.2

Documentation

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 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.