Commit 6cc96ac7 authored by Simon Marlow's avatar Simon Marlow
Browse files

doc tweak for Directory file type: file names are '\0'-separated

parent 13393fcd
......@@ -144,14 +144,13 @@ ioe_unsupportedOperation = throwIO unsupportedOperation
data IODeviceType
= Directory -- ^ The standard libraries do not have direct support
-- for this device type, but user implementation is
-- expected to provide a newline-separated list of
-- file names in a directory (without path to the
-- directory itself) in any order,
-- excluding the @"."@ and @".."@ names. See
-- also 'System.Directory.getDirectoryContents'.
-- Seek operations are not supported on directories
-- (other than to the zero position).
-- for this device type, but a user implementation is
-- expected to provide a list of file names in
-- the directory, in any order, separated by @'\0'@
-- characters, excluding the @"."@ and @".."@ names. See
-- also 'System.Directory.getDirectoryContents'. Seek
-- operations are not supported on directories (other
-- than to the zero position).
| Stream -- ^ A duplex communications channel (results in
-- creation of a duplex 'GHC.IO.Handle.Handle'). The
-- standard libraries use this device type when
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment