Prospero.Parser.Monad

newtype Parser a

Instances

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

type ParseState = { length :: Int, position :: Int, tokens :: Array SourceToken }

type ParseError = { message :: String, position :: SourcePos }

runParser :: forall a. Array SourceToken -> Parser a -> Either ParseError a

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

expect :: Token -> Parser SourceToken

fail :: forall a. String -> Parser a

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

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

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

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

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

eof :: Parser SourceToken