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