Ord a => [a] -> [a] -base

The transpose function transposes the rows and columns of its ByteString argument.

O(n) The transpose function transposes the rows and columns of its Text argument. Note that this function uses pack, unpack, and the list version of transpose, and is thus not very efficient.

shrinkNothing :: a -> [a]

QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck

Returns no shrinking alternatives.

bold :: String -> String

QuickCheck Test.QuickCheck.Text

normalizeCase :: String -> String

network Network.URI

Case normalization; cf. RFC3986 section 6.2.2.1 NOTE: authority case normalization is not performed

normalizeEscape :: String -> String

network Network.URI

Encoding normalization; cf. RFC3986 section 6.2.2.2

normalizePathSegments :: String -> String

network Network.URI

Path segment normalization; cf. RFC3986 section 6.2.2.4

stringToHtmlString :: String -> String

html Text.Html

stringToHtmlString :: String -> String

xhtml Text.XHtml.Strict

Processing Strings into Html friendly things.

terminalAppearance :: String -> String

HUnit Test.HUnit.Terminal

Simplifies the input string by interpreting \r and \b characters specially so that the result string has the same final (or terminal, pun intended) appearance as would the input string when written to a terminal that overwrites character positions following carriage returns and backspaces.

unEscapeString :: String -> String

network Network.URI

Turns all instances of escaped characters in the string back into literal characters.

urlDecode :: String -> String

HTTP Network.HTTP.Base

urlDecode :: String -> String

cgi Network.CGI.Protocol, cgi Network.CGI

Converts a single value from the application/x-www-form-urlencoded encoding.

urlEncode :: String -> String

HTTP Network.HTTP.Base

urlEncode :: String -> String

cgi Network.CGI.Protocol, cgi Network.CGI

Converts a single value to the application/x-www-form-urlencoded encoding.

addTrailingPathSeparator :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Add a trailing file path separator if one is not already present. > hasTrailingPathSeparator (addTrailingPathSeparator x) > hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x > Posix: addTrailingPathSeparator "test/rest" == "test/rest/"

dropDrive :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Delete the drive, if it exists. > dropDrive x == snd (splitDrive x)

dropExtension :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Remove last extension, and the "." preceding it. > dropExtension x == fst (splitExtension x)

dropExtensions :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Drop all extensions > not $ hasExtension (dropExtensions x)

dropFileName :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Drop the filename. > dropFileName x == fst (splitFileName x)

dropTrailingPathSeparator :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Remove any trailing path separators > dropTrailingPathSeparator "file/test/" == "file/test" > Posix: not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive x > Posix: dropTrailingPathSeparator "/" == "/" > Windows: dropTrailingPathSeparator "\\" == "\\"

makeValid :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Take a FilePath and make it valid; does not change already valid FilePaths. > isValid (makeValid x) > isValid x ==> makeValid x == x > makeValid "" == "_" > Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test" > Windows: makeValid "test*" == "test_" > Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_" > Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt" > Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt" > Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"

normalise :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Normalise a file * // outside of the drive can be made blank * / -> pathSeparator * ./ -> "" > Posix: normalise "/file/\\test////" == "/file/\\test/" > Posix: normalise "/file/./test" == "/file/test" > Posix: normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/" > Posix: normalise "../bob/fred/" == "../bob/fred/" > Posix: normalise "./bob/fred/" == "bob/fred/" > Windows: normalise "c:\\file/bob\\" == "C:\\file\\bob\\" > Windows: normalise "c:\\" == "C:\\" > Windows: normalise "\\\\server\\test" == "\\\\server\\test" > Windows: normalise "c:/file" == "C:\\file" > normalise "." == "." > Posix: normalise "./" == "./" > Posix: normalise "./." == "./" > Posix: normalise "/" == "/" > Posix: normalise "bob/fred/." == "bob/fred/"

takeDirectory :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Get the directory name, move up one level. > takeDirectory x `isPrefixOf` x || takeDirectory x == "." > takeDirectory "foo" == "." > takeDirectory "/foo/bar/baz" == "/foo/bar" > takeDirectory "/foo/bar/baz/" == "/foo/bar/baz" > takeDirectory "foo/bar/baz" == "foo/bar" > Windows: takeDirectory "foo\\bar" == "foo" > Windows: takeDirectory "foo\\bar\\\\" == "foo\\bar" > Windows: takeDirectory "C:\\" == "C:\\"

takeDrive :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Get the drive from a filepath. > takeDrive x == fst (splitDrive x)

takeFileName :: FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Get the file name. > takeFileName "test/" == "" > takeFileName x `isSuffixOf` x > takeFileName x == snd (splitFileName x) > Valid x => takeFileName (replaceFileName x "fred") == "fred" > Valid x => takeFileName (x </> "fred") == "fred" > Valid x => isRelative (takeFileName x)

negotiate :: Acceptable a => [a] -> Maybe (Accept a) -> [a]

cgi Network.CGI

shrinkList :: (a -> [a]) -> [a] -> [[a]]

QuickCheck Test.QuickCheck.Arbitrary

takeBaseName :: FilePath -> String

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Get the base name, without an extension or path. > takeBaseName "file/test.txt" == "test" > takeBaseName "dave.ext" == "dave" > takeBaseName "" == "" > takeBaseName "test" == "test" > takeBaseName (addTrailingPathSeparator x) == "" > takeBaseName "file/file.tar.gz" == "file.tar"

takeExtension :: FilePath -> String

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Get the extension of a file, returns "" for no extension, .ext otherwise. > takeExtension x == snd (splitExtension x) > Valid x => takeExtension (addExtension x "ext") == ".ext" > Valid x => takeExtension (replaceExtension x "ext") == ".ext"

takeExtensions :: FilePath -> String

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Get all extensions > takeExtensions "file.tar.gz" == ".tar.gz"

buf_concat :: BufferOp a -> [a] -> a

HTTP Network.BufferType

escapeURIString :: (Char -> Bool) -> String -> String

network Network.URI

Can be used to make a string valid for use in a URI.

number :: Int -> String -> String

QuickCheck Test.QuickCheck.Text

short :: Int -> String -> String

QuickCheck Test.QuickCheck.Text

escapeString :: String -> (Char -> Bool) -> String

network Network.URI

renderHtmlWithLanguage :: HTML html => String -> html -> String

xhtml Text.XHtml.Strict

Outputs indented XHTML. Because space matters in HTML, the output is quite messy.

(</>) :: FilePath -> FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

A nice alias for combine.

combine :: FilePath -> FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Combine two paths, if the second path isAbsolute, then it returns the second. > Valid x => combine (takeDirectory x) (takeFileName x) `equalFilePath` x > Posix: combine "/" "test" == "/test" > Posix: combine "home" "bob" == "home/bob" > Windows: combine "home" "bob" == "home\\bob" > Windows: combine "home" "/bob" == "/bob"

joinDrive :: FilePath -> FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Join a drive and the rest of the path. > uncurry joinDrive (splitDrive x) == x > Windows: joinDrive "C:" "foo" == "C:foo" > Windows: joinDrive "C:\\" "bar" == "C:\\bar" > Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo" > Windows: joinDrive "/:" "foo" == "/:\\foo"

makeRelative :: FilePath -> FilePath -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Contract a filename, based on a relative path. There is no corresponding makeAbsolute function, instead use System.Directory.canonicalizePath which has the same effect. > Valid y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x > makeRelative x x == "." > null y || equalFilePath (makeRelative x (x </> y)) y || null (takeFileName x) > Windows: makeRelative "C:\\Home" "c:\\home\\bob" == "bob" > Windows: makeRelative "C:\\Home" "c:/home/bob" == "bob" > Windows: makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob" > Windows: makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob" > Windows: makeRelative "/Home" "/home/bob" == "bob" > Posix: makeRelative "/Home" "/home/bob" == "/home/bob" > Posix: makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar" > Posix: makeRelative "/fred" "bob" == "bob" > Posix: makeRelative "/file/test" "/file/test/fred" == "fred" > Posix: makeRelative "/file/test" "/file/test/fred/" == "fred/" > Posix: makeRelative "some/path" "some/path/a/b/c" == "a/b/c"

bfsn :: Graph gr => [Node] -> gr a b -> [Node]

fgl Data.Graph.Inductive.Query.BFS

dfs :: Graph gr => [Node] -> gr a b -> [Node]

fgl Data.Graph.Inductive.Query.DFS

rdfs :: Graph gr => [Node] -> gr a b -> [Node]

fgl Data.Graph.Inductive.Query.DFS

udfs :: Graph gr => [Node] -> gr a b -> [Node]

fgl Data.Graph.Inductive.Query.DFS

shrinkRealFrac :: RealFrac a => a -> [a]

QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck

Shrink a fraction.

shrinkIntegral :: Integral a => a -> [a]

QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck

Shrink an integral number.

shrink :: Arbitrary a => a -> [a]

QuickCheck Test.QuickCheck.Arbitrary, QuickCheck Test.QuickCheck

checkClassBody :: [HsDecl] -> P [HsDecl]

haskell-src Language.Haskell.ParseUtils

checkRevDecls :: [HsDecl] -> P [HsDecl]

haskell-src Language.Haskell.ParseUtils

replace :: Eq a => a -> a -> [a] -> [a]

cgi Network.CGI.Protocol

Replaces all instances of a value in a list by another value.

listMsg :: ErrorList a => String -> [a]

transformers Control.Monad.Trans.Error

(<.>) :: FilePath -> String -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Alias to addExtension, for people who like that sort of thing.

addExtension :: FilePath -> String -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Add an extension, even if there is already one there. E.g. addExtension "foo.txt" "bat" -> "foo.txt.bat". > addExtension "file.txt" "bib" == "file.txt.bib" > addExtension "file." ".bib" == "file..bib" > addExtension "file" ".bib" == "file.bib" > addExtension "/" "x" == "/.x" > Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext" > Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"

replaceBaseName :: FilePath -> String -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Set the base name. > replaceBaseName "file/test.txt" "bob" == "file/bob.txt" > replaceBaseName "fred" "bill" == "bill" > replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar" > Valid x => replaceBaseName x (takeBaseName x) == x

replaceDirectory :: FilePath -> String -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Set the directory, keeping the filename the same. > Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` x

replaceExtension :: FilePath -> String -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Set the extension of a file, overwriting one if already present. > replaceExtension "file.txt" ".bob" == "file.bob" > replaceExtension "file.txt" "bob" == "file.bob" > replaceExtension "file" ".bob" == "file.bob" > replaceExtension "file.txt" "" == "file" > replaceExtension "file.fred.bob" "txt" == "file.fred.txt"

replaceFileName :: FilePath -> String -> FilePath

filepath System.FilePath.Windows, filepath System.FilePath.Posix

Set the filename. > Valid x => replaceFileName x (takeFileName x) == x

showCommandForUser :: FilePath -> [String] -> String

process System.Process

Given a program p and arguments args, showCommandForUser p args returns a string suitable for pasting into sh (on POSIX OSs) or cmd.exe (on Windows).

Show more results