Personal tools

Unicode-symbols

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Problematic symbols: spelling)
(Emacs: Added note about input-method-highlight-flag)
Line 68: Line 68:
   
 
'''Custom input method'''
 
'''Custom input method'''
  +
I wrote my own input method:
   
 
darcs get http://code.haskell.org/~roelvandijk/code/haskell-unicode-input-method
 
darcs get http://code.haskell.org/~roelvandijk/code/haskell-unicode-input-method
Line 79: Line 80:
 
To manually enable use '''<tt>M-x set-input-method</tt>''' or '''<tt>C-x RET C-\</tt>''' with '''<tt>haskell-unicode</tt>'''. Note that the elisp file must be evaluated for this to work.
 
To manually enable use '''<tt>M-x set-input-method</tt>''' or '''<tt>C-x RET C-\</tt>''' with '''<tt>haskell-unicode</tt>'''. Note that the elisp file must be evaluated for this to work.
   
Now you can simply type '''->''' and it is immediately replaced with '''&rarr;'''. Use '''<tt>C-\</tt>''' to toggle the input method. To see a table of all key sequences use '''<tt>M-x describe-input-method haskell-unicode</tt>'''.
+
Now you can simply type '''->''' and it is immediately replaced with '''&rarr;'''. Use '''<tt>C-\</tt>''' to toggle the input method. To see a table of all key sequences use '''<tt>M-x describe-input-method haskell-unicode</tt>'''. A sequence like <= is ambiguous and can mean either '''&lArr;''' or '''&le;'''. Typing it presents you with a choice. Type 1 or 2 to select an option or keep typing to use the default option.
   
A sequence like <= is ambiguous and can mean either '''&lArr;''' or '''&le;'''. Typing it presents you with a choice. Type 1 or 2 to select an option or keep typing to use the default option.
+
If you don't like the highlighting of partially matching tokens you can turn it off:
  +
  +
(setq input-method-highlight-flag nil)
   
 
'''Abbrev mode'''
 
'''Abbrev mode'''

Revision as of 12:00, 9 October 2010


Contents

1 Overview

An overview of the packages that provide Unicode symbols.

Naming: A package X-unicode-symbols defines new symbols for functions and operators from the package X.

All symbols are documented with their actual definition and information regarding their Unicode code point. They should be completely interchangeable with their definitions.

Alternatives for existing operators have the same fixity. New operators will have a suitable fixity defined.

1.1 UnicodeSyntax

GHC offers the UnicodeSyntax language extension. If you decide to use Unicode in your Haskell source then this extension can greatly improve how it looks.

2 base-unicode-symbols

Extra symbols for the base package.

 API docs: http://hackage.haskell.org/package/base-unicode-symbols
 darcs get http://code.haskell.org/~roelvandijk/code/base-unicode-symbols

2.1 Problematic symbols

Original Symbol Code point Name
not ¬ U+AC NOT SIGN

The problem with this symbol is that you would like to use it as an unary prefix operator:

 ¬(¬x) ≡ x

Unfortunately this is not valid Haskell. The following is:

 (¬)((¬)x) ≡ x

But you can hardly call that an improvement over the simple:

 not (not x) ≡ x

====New symbol ideas==== (please add your own)

3 containers-unicode-symbols

Extra symbols for the containers package.

 API docs: http://hackage.haskell.org/package/containers-unicode-symbols
 darcs get http://code.haskell.org/~roelvandijk/code/containers-unicode-symbols

====New symbol ideas==== (please add your own)

4 Input methods

These symbols are all very nice but how do you type them?

(please add info for other editors)

4.1 Emacs

Direct

Enter symbols directly: C-x 8 RET, then type either the character's name or its hexadecimal code point.

Custom input method I wrote my own input method:

 darcs get http://code.haskell.org/~roelvandijk/code/haskell-unicode-input-method

To automically load in haskell-mode put the following code in your .emacs file:

 (load "~/elisp/haskell-unicode-input-method/haskell-unicode-input-method")
 (add-hook 'haskell-mode-hook 
   (lambda () (set-input-method "haskell-unicode")))

Edit where appropriate depending on where you placed the elisp file.

To manually enable use M-x set-input-method or C-x RET C-\ with haskell-unicode. Note that the elisp file must be evaluated for this to work.

Now you can simply type -> and it is immediately replaced with . Use C-\ to toggle the input method. To see a table of all key sequences use M-x describe-input-method haskell-unicode. A sequence like <= is ambiguous and can mean either or . Typing it presents you with a choice. Type 1 or 2 to select an option or keep typing to use the default option.

If you don't like the highlighting of partially matching tokens you can turn it off:

 (setq input-method-highlight-flag nil)

Abbrev mode

The Abbrev mode is not suitable since it only deals with words, not operators.

Agda

Use Agda's input method.