Safe Haskell	None
Language	Haskell2010

Koneko.Misc

Synopsis

type Parser = Parsec Void Text
isIdent :: Text -> Bool
pIdent :: Parser Text
pIdent_ :: Maybe Char -> Parser Text
pInt :: Parser Integer
pFloat :: Parser Double
isSpaceOrComma :: Char -> Bool
lexeme :: Parser a -> Parser a
symbol :: Text -> Parser Text
speof :: Parser ()
sp :: Parser ()
sp1 :: Parser ()
spaceOrComment :: Parser ()
prompt :: Maybe Text -> IO (Maybe Text)
firstJust :: Monad m => [m (Maybe a)] -> m (Maybe a)
parseMaybe :: (Ord e, Stream s) => Parsec e s a -> s -> Maybe a

Documentation

type Parser = Parsec Void Text Source #

isIdent :: Text -> Bool Source #

Is the string an identifier?

NB: only partially checks whether it is a *valid* identifier (i.e. whether it is not e.g. "nil").

>>> :set -XOverloadedStrings
>>> isIdent "nil"  -- OOPS
True
>>> isIdent ""
False
>>> isIdent "42"
False
>>> isIdent "foo-bar'"
True
>>> isIdent "[子猫]"
True
>>> isIdent "'foo"
False
>>> isIdent "@$%^&*!"
True
>>> isIdent "["
False
>>> isIdent "]"
False
>>> isIdent "x]"
True
>>> isIdent "x["
False
>>> isIdent "x:"
False

pIdent :: Parser Text Source #

NB: also matches float and int

pIdent_ :: Maybe Char -> Parser Text Source #

pInt :: Parser Integer Source #

pFloat :: Parser Double Source #

isSpaceOrComma :: Char -> Bool Source #

lexeme :: Parser a -> Parser a Source #

symbol :: Text -> Parser Text Source #

speof :: Parser () Source #

sp :: Parser () Source #

sp1 :: Parser () Source #

spaceOrComment :: Parser () Source #

prompt :: Maybe Text -> IO (Maybe Text) Source #

firstJust :: Monad m => [m (Maybe a)] -> m (Maybe a) Source #

parseMaybe :: (Ord e, Stream s) => Parsec e s a -> s -> Maybe a #

parseMaybe p input runs the parser p on input and returns the result inside Just on success and Nothing on failure. This function also parses eof, so if the parser doesn't consume all of its input, it will fail.

The function is supposed to be useful for lightweight parsing, where error messages (and thus file names) are not important and entire input should be parsed. For example, it can be used when parsing of a single number according to a specification of its format is desired.