pisigma-0.2: A dependently typed core language
Language.PiSigma.Util.String.Parser
type String = ByteStringSource
append :: String -> String -> StringSource
fromString :: String -> StringSource
isPrefixOf :: String -> String -> BoolSource
lines :: String -> [String]Source
null :: String -> BoolSource
readFile :: FilePath -> IO StringSource
span :: (Char -> Bool) -> String -> (String, String)Source
toString :: String -> StringSource
uncons :: String -> Maybe (Char, String)Source
unlines :: [String] -> StringSource