|
|
|
| Description |
| FileName is an abstract type intended to facilitate the input and output of
unicode filenames.
|
|
| Synopsis |
|
|
|
| Documentation |
|
|
Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
encode_white translates whitespace in filenames to a darcs-specific
format (backslash followed by numerical representation according to ord).
Note that backslashes are also escaped since they are used in the encoding.
encode_white "hello there" == "hello\32there"
encode_white "hello\there" == "hello\\there"
|
|
|
decode_white interprets the Darcs-specific "encoded" filenames
produced by encode_white
decode_white "hello\32there" == "hello there"
decode_white "hello\\there" == "hello\there"
decode_white "hello\there" == error "malformed filename"
|
|
|
|
|
| Split a file path at the slashes
|
|
| Produced by Haddock version 2.6.1 |