Documentation

parseIndex :: MonadSafe m => ParserFromTokenList m Index #

parseSymbol :: MonadSafe m => ParserFromTokenList m Symbol #

parseLabel :: MonadSafe m => FormatType -> ParserFromTokenList m Label #

parseInt :: MonadSafe m => ParserFromTokenList m Int #

parseInteger :: MonadSafe m => ParserFromTokenList m Integer #

negationIntegral :: (Integer, TokenList) -> (Integer, TokenList) #

parseNatural :: MonadSafe m => ParserFromTokenList m Natural #

parseExtra :: MonadSafe m => (TokenList -> m a) -> ParserFromTokenList m a #

parseDigitString :: MonadSafe m => ParserFromTokenList m SString #

parseAsciiString :: MonadSafe m => ParserFromTokenList m SString #

moveSafe :: MonadSafe m => (m a, TokenList) -> m (a, TokenList) #

parseString' :: MonadSafe m => (TokenList -> a) -> ParserFromTokenList m a #

splitByN :: MonadSafe m => ParserFromTokenList m TokenList #

type ParserFromTokenList m a = Parser TokenList m a #

type Parser b m a = b -> m (a, b) #