Language.PureScript.CST.Monad

Documentation

type LexResult = Either (LexState, ParserError) SourceToken

data LexState

Constructors

LexState

Fields

• lexPos :: SourcePos
• lexLeading :: [Comment LineFeed]
• lexSource :: Text
• lexStack :: LayoutStack

Instances

Show LexState

Defined in Language.PureScript.CST.Monad

Methods

showsPrec :: Int -> LexState -> ShowS

show :: LexState -> String

showList :: [LexState] -> ShowS

data ParserState

Constructors

ParserState

Fields

• parserBuff :: [LexResult]
• parserErrors :: [ParserError]
• parserWarnings :: [ParserWarning]

Instances

Show ParserState

Defined in Language.PureScript.CST.Monad

Methods

showsPrec :: Int -> ParserState -> ShowS

show :: ParserState -> String

showList :: [ParserState] -> ShowS

newtype ParserM e s a

A bare bones, CPS'ed `StateT s (Except e) a`.

Constructors

Parser (forall r. s -> (s -> e -> r) -> (s -> a -> r) -> r)

Instances

Applicative (ParserM e s)

Defined in Language.PureScript.CST.Monad

Methods

pure :: a -> ParserM e s a

(<*>) :: ParserM e s (a -> b) -> ParserM e s a -> ParserM e s b

liftA2 :: (a -> b -> c) -> ParserM e s a -> ParserM e s b -> ParserM e s c

(*>) :: ParserM e s a -> ParserM e s b -> ParserM e s b

(<*) :: ParserM e s a -> ParserM e s b -> ParserM e s a

Functor (ParserM e s)

Defined in Language.PureScript.CST.Monad

Methods

fmap :: (a -> b) -> ParserM e s a -> ParserM e s b

(<$) :: a -> ParserM e s b -> ParserM e s a

Monad (ParserM e s)

Defined in Language.PureScript.CST.Monad

Methods

(>>=) :: ParserM e s a -> (a -> ParserM e s b) -> ParserM e s b

(>>) :: ParserM e s a -> ParserM e s b -> ParserM e s b

return :: a -> ParserM e s a

type Parser = ParserM ParserError ParserState

runParser :: ParserState -> Parser a -> (ParserState, Either (NonEmpty ParserError) a)

runTokenParser :: Parser a -> [LexResult] -> Either (NonEmpty ParserError) ([ParserWarning], a)

throw :: e -> ParserM e s a

parseError :: SourceToken -> Parser a

mkParserError :: LayoutStack -> [SourceToken] -> a -> ParserErrorInfo a

addFailure :: [SourceToken] -> ParserErrorType -> Parser ()

parseFail' :: [SourceToken] -> ParserErrorType -> Parser a

parseFail :: SourceToken -> ParserErrorType -> Parser a

addWarning :: [SourceToken] -> ParserWarningType -> Parser ()

pushBack :: SourceToken -> Parser ()

tryPrefix :: Parser a -> Parser b -> Parser (Maybe a, b)

oneOf :: NonEmpty (Parser a) -> Parser a

manyDelimited :: Token -> Token -> Token -> Parser a -> Parser [a]

token :: Token -> Parser SourceToken

munch :: Parser SourceToken