Documentation

try_ :: MonadParsec e s m => String -> m a -> m a Source #

toSPos :: SourcePos -> SPos Source #

getSPos :: MonadParsec e s f => f SPos Source #

parseLit :: forall r w. Parse r w Lit Source #

data ParseEnv r Source #

type ParseState r = (ParseEnv r, State String) Source #

parseState :: FileInfo -> r -> ParseState r Source #

type Parse r w = RWST (ParseEnv r) [w] SPos (Parsec Dec String) Source #

newtype ParseError Source #

runParse :: Parse r w a -> ParseState r -> Either ParseError (a, [w]) Source #

getParseState :: Parse r w (ParseState r) Source #

getCheckedSPos :: (MonadReader (ParseEnv r) m, MonadParsec e s m) => m SPos Source #

identation :: (MonadParsec e s m, MonadReader (ParseEnv r) m) => Bool -> m t -> m [t] Source #

lexemeWithoutSpace :: (MonadParsec e s m, MonadState SPos m, MonadReader (ParseEnv r) m) => m t -> m (SI, t) Source #

appRange :: Parse r w (SI -> a) -> Parse r w a Source #

getLexemeEnd :: MonadState s m => m s Source #

noSpaceBefore :: (SourceInfo a, MonadState SPos m, MonadParsec e s m) => m a -> m a Source #

lexeme_ :: ((~#) * * (Token s) Char, MonadParsec e s f, MonadReader (ParseEnv r) f, MonadState SPos f) => f t -> f (SI, t) Source #

lexeme :: Parse r w a -> Parse r w a Source #

lexemeName :: ((~#) * * (Token s) Char, MonadState SPos f, MonadReader (ParseEnv r) f, MonadParsec e s f) => f SName -> f SIName Source #

symbolWithoutSpace :: ((~#) * * (Token s) Char, MonadParsec e s m, MonadReader (ParseEnv r) m, MonadState SPos m) => String -> m (SI, String) Source #

symbol :: ((~#) * * (Token s) Char, MonadReader (ParseEnv r) f, MonadState SPos f, MonadParsec e s f) => String -> f (SI, String) Source #

simpleSpace :: ((~#) * * (Token s) Char, MonadParsec e s m) => m () Source #

whiteSpace :: ((~#) * * (Token s) Char, MonadParsec e s m) => m () Source #

parens :: ((~#) * * (Token s) Char, MonadReader (ParseEnv r) m, MonadState SPos m, MonadParsec e s m) => m a -> m a Source #

braces :: ((~#) * * (Token s) Char, MonadReader (ParseEnv r) m, MonadState SPos m, MonadParsec e s m) => m a -> m a Source #

brackets :: ((~#) * * (Token s) Char, MonadReader (ParseEnv r) m, MonadState SPos m, MonadParsec e s m) => m a -> m a Source #

commaSep :: ((~#) * * (Token s) Char, MonadParsec e s m, MonadState SPos m, MonadReader (ParseEnv r) m) => m a -> m [a] Source #

commaSep1 :: ((~#) * * (Token s) Char, MonadParsec e s m, MonadState SPos m, MonadReader (ParseEnv r) m) => m a -> m [a] Source #

data Namespace Source #

tick :: MonadReader (ParseEnv r) f => SName -> f SName Source #

switchNamespace :: Namespace -> Namespace Source #

modifyLevel :: MonadReader (ParseEnv r) m => (Namespace -> Namespace) -> m a -> m a Source #

typeNS :: Parse r w a -> Parse r w a Source #

expNS :: Parse r w a -> Parse r w a Source #

lowerLetter :: ((~#) * * (Token s) Char, MonadParsec e s m) => m Char Source #

upperLetter :: ((~#) * * (Token s) Char, MonadParsec e s m) => m Char Source #

identStart :: ((~#) * * (Token s) Char, MonadParsec e s m) => m Char Source #

identLetter :: ((~#) * * (Token s) Char, MonadParsec e s m) => m Char Source #

lowercaseOpLetter :: ((~#) * * (Token s) Char, MonadParsec e s m) => m Char Source #

opLetter :: ((~#) * * (Token s) Char, MonadParsec e s f) => f Char Source #

maybeStartWith :: ((~#) * * (Token s) Char, MonadParsec e s f) => (Char -> Bool) -> f [Char] -> f [Char] Source #

upperCase :: Parse r w SIName Source #

upperCase_ :: Parse r w SIName Source #

lowerCase :: Parse r w SIName Source #

backquotedIdent :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

symbols :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

lcSymbols :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

colonSymbols :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

moduleName :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

patVar :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

lhsOperator :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

rhsOperator :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

varId :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

upperLower :: RWST (ParseEnv r) [w] SPos (Parsec Dec String) SIName Source #

reservedOp :: ((~#) * * (Token s) Char, MonadReader (ParseEnv r) f, MonadState SPos f, MonadParsec e s f) => String -> f SI Source #

reserved :: ((~#) * * (Token s) Char, MonadReader (ParseEnv r) f, MonadState SPos f, MonadParsec e s f) => String -> f SI Source #

expect :: String -> (String -> Bool) -> Parse r w String -> Parse r w String Source #

identifier :: Parse r w String -> Parse r w SIName Source #

operator :: Parse r w String -> Parse r w SIName Source #

theReservedOpNames :: Set [Char] Source #

theReservedNames :: Set [Char] Source #

parseFixity :: Parse r w Fixity Source #

calcPrec :: MonadError (f, f) m => (f -> e -> e -> e) -> (f -> Fixity) -> e -> [(f, e)] -> m e Source #