purescript-0.13.0: PureScript Programming Language Compiler

Safe Haskell	None
Language	Haskell2010

Language.PureScript.CST

Synopsis

parseFromFile :: FilePath -> Text -> Either (NonEmpty ParserError) Module
parseFromFiles :: forall m k. MonadError MultipleErrors m => (k -> FilePath) -> [(k, Text)] -> m [(k, Module)]
parseModuleFromFile :: FilePath -> Text -> Either (NonEmpty ParserError) (PartialResult Module)
parseModulesFromFiles :: forall m k. MonadError MultipleErrors m => (k -> FilePath) -> [(k, Text)] -> m [(k, PartialResult Module)]
unwrapParserError :: forall m a. MonadError MultipleErrors m => FilePath -> Either (NonEmpty ParserError) a -> m a
toMultipleErrors :: FilePath -> NonEmpty ParserError -> MultipleErrors
toPositionedError :: FilePath -> ParserError -> ErrorMessage
pureResult :: a -> PartialResult a
module Language.PureScript.CST.Convert
module Language.PureScript.CST.Errors
module Language.PureScript.CST.Lexer
type Parser = ParserM ParserError ParserState
newtype ParserM e s a = Parser (forall r. s -> (s -> e -> r) -> (s -> a -> r) -> r)
data ParserState = ParserState {
- parserBuff :: [LexResult]
- parserErrors :: [ParserError]
}
type LexResult = Either (LexState, ParserError) SourceToken
runParser :: ParserState -> Parser a -> (ParserState, Either (NonEmpty ParserError) a)
runTokenParser :: Parser a -> [LexResult] -> Either (NonEmpty ParserError) a
module Language.PureScript.CST.Parser
module Language.PureScript.CST.Print
module Language.PureScript.CST.Types

Documentation

parseFromFile :: FilePath -> Text -> Either (NonEmpty ParserError) Module Source #

parseFromFiles :: forall m k. MonadError MultipleErrors m => (k -> FilePath) -> [(k, Text)] -> m [(k, Module)] Source #

parseModuleFromFile :: FilePath -> Text -> Either (NonEmpty ParserError) (PartialResult Module) Source #

parseModulesFromFiles :: forall m k. MonadError MultipleErrors m => (k -> FilePath) -> [(k, Text)] -> m [(k, PartialResult Module)] Source #

unwrapParserError :: forall m a. MonadError MultipleErrors m => FilePath -> Either (NonEmpty ParserError) a -> m a Source #

toMultipleErrors :: FilePath -> NonEmpty ParserError -> MultipleErrors Source #

toPositionedError :: FilePath -> ParserError -> ErrorMessage Source #

pureResult :: a -> PartialResult a Source #

module Language.PureScript.CST.Convert

module Language.PureScript.CST.Errors

module Language.PureScript.CST.Lexer

type Parser = ParserM ParserError ParserState Source #

newtype ParserM e s a Source #

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

Constructors

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

Instances

Monad (ParserM e s) Source #
Instance details 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 # fail :: String -> ParserM e s a #
Functor (ParserM e s) Source #
Instance details 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 #
Applicative (ParserM e s) Source #
Instance details 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 #

data ParserState Source #

Constructors

ParserState
Fields parserBuff :: [LexResult] parserErrors :: [ParserError]

Instances

Show ParserState Source #
Instance details Defined in Language.PureScript.CST.Monad Methods showsPrec :: Int -> ParserState -> ShowS # show :: ParserState -> String # showList :: [ParserState] -> ShowS #

type LexResult = Either (LexState, ParserError) SourceToken Source #

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

runTokenParser :: Parser a -> [LexResult] -> Either (NonEmpty ParserError) a Source #

module Language.PureScript.CST.Parser

module Language.PureScript.CST.Print

module Language.PureScript.CST.Types