Unicode alternatives for common functions and operators
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. 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.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/ph9387wrkd8q0fsnjl6gj5machr6yzqb-ghc-base-unicode-symbols-0.2.4.2.drv | ||
i686-linux | /gnu/store/d4x9fi3z3xw3ag1q7cmk251qwd8rzdaf-ghc-base-unicode-symbols-0.2.4.2.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 938 is way too long (93 characters) | |
formatting Look for formatting issues in the source | line 952 is way too long (101 characters) | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f8ed7409c60> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7fa7aa068c60> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f5755cb9c60> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f119da52c60> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fb2d2987dc0> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f3e6bc77dc0> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f62abeb7dc0> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fa23c1dddc0> input: ("_" "static")> | |
derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f0f10522dc0> input: ("_" "static")> |