Language.PiSigma.Util.String.Parser

Documentation

type String = ByteString

append :: String -> String -> String

fromString :: String -> String

isPrefixOf :: String -> String -> Bool

lines :: String -> [String]

null :: String -> Bool

readFile :: FilePath -> IO String

span :: (Char -> Bool) -> String -> (String, String)

toString :: String -> String

uncons :: String -> Maybe (Char, String)

unlines :: [String] -> String