PureScript.CST.Parser.Monad

newtype Parser a

Constructors

• Parser (forall r. Fn4 ParserState ((Unit -> r) -> r) (Fn2 ParserState PositionedError r) (Fn2 ParserState a r) r)

Instances

• Functor Parser
• Apply Parser
• Applicative Parser
• Bind Parser
• Monad Parser
• Alt Parser
• Lazy (Parser a)

type ParserState = { consumed :: Boolean, errors :: Array PositionedError, stream :: TokenStream }

data ParserResult a

Constructors

• ParseFail PositionedError ParserState
• ParseSucc a ParserState

type PositionedError = { error :: ParseError, position :: SourcePos }

initialParserState :: TokenStream -> ParserState

fromParserResult :: forall a. ParserResult a -> Either PositionedError (Tuple a (Array PositionedError))

runParser :: forall a. TokenStream -> Parser a -> Either PositionedError (Tuple a (Array PositionedError))

runParser' :: forall a. ParserState -> Parser a -> ParserResult a

take :: forall a. (SourceToken -> Either ParseError a) -> Parser a

fail :: forall a. PositionedError -> Parser a

try :: forall a. Parser a -> Parser a

lookAhead :: forall a. Parser a -> Parser a

many :: forall a. Parser a -> Parser (Array a)

optional :: forall a. Parser a -> Parser (Maybe a)

eof :: Parser (Tuple SourcePos (Array (Comment LineFeed)))

recover :: forall a. (PositionedError -> TokenStream -> Maybe (Tuple a TokenStream)) -> Parser a -> Parser a