Name: purescript-unicode
Owner: PureScript Contrib
Description: null
Created: 2016-01-16 14:35:10.0
Updated: 2017-03-28 03:38:32.0
Pushed: 2018-05-06 11:24:21.0
Homepage: null
Size: 79
Language: PureScript
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Unicode character functions.
wer install purescript-unicode
The Data.Char.Unicode.Internal module can be generated with the following command:
et 'http://www.unicode.org/Public/6.0.0/ucd/UnicodeData.txt'
ubconfc < UnicodeData.txt > src/Data/Char/Unicode/Internal.purs