Safe Haskell	None
Language	Haskell2010

Proto3.Suite.DotProto.Parsing

Contents

Option Parsers
Extension Parsers

Description

This module contains a near-direct translation of the proto3 grammar It uses String for easier compatibility with DotProto.Generator, which needs it for not very good reasons

Synopsis

data ProtoParser a
runProtoParser :: ProtoParser a -> Parser a
parseProto :: Path -> String -> Either ParseError DotProto
parseProtoFile :: MonadIO m => Path -> FilePath -> m (Either ParseError DotProto)
pOptionStmt :: ProtoParser DotProtoOption
pFieldOptions :: ProtoParser [DotProtoOption]
pFieldOptionStmt :: ProtoParser DotProtoOption
pOptionId :: ProtoParser DotProtoIdentifier
pOptionKw :: ProtoParser ()
pExtendStmt :: ProtoParser (DotProtoIdentifier, [DotProtoMessagePart])
pExtendKw :: ProtoParser ()

Documentation

data ProtoParser a Source #

Wrapper around Text.Parsec.String.Parser, overriding whitespace lexing.

Instances

Instances details

Monad ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods (>>=) :: ProtoParser a -> (a -> ProtoParser b) -> ProtoParser b Source # (>>) :: ProtoParser a -> ProtoParser b -> ProtoParser b Source # return :: a -> ProtoParser a Source #
Functor ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods fmap :: (a -> b) -> ProtoParser a -> ProtoParser b Source # (<$) :: a -> ProtoParser b -> ProtoParser a Source #
MonadFail ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods fail :: String -> ProtoParser a Source #
Applicative ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods pure :: a -> ProtoParser a Source # (<>) :: ProtoParser (a -> b) -> ProtoParser a -> ProtoParser b Source # liftA2 :: (a -> b -> c) -> ProtoParser a -> ProtoParser b -> ProtoParser c Source # (>) :: ProtoParser a -> ProtoParser b -> ProtoParser b Source # (<*) :: ProtoParser a -> ProtoParser b -> ProtoParser a Source #
Alternative ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods empty :: ProtoParser a Source # (<\|>) :: ProtoParser a -> ProtoParser a -> ProtoParser a Source # some :: ProtoParser a -> ProtoParser [a] Source # many :: ProtoParser a -> ProtoParser [a] Source #
MonadPlus ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods mzero :: ProtoParser a Source # mplus :: ProtoParser a -> ProtoParser a -> ProtoParser a Source #
TokenParsing ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods someSpace :: ProtoParser () Source # nesting :: ProtoParser a -> ProtoParser a Source # semi :: ProtoParser Char Source # highlight :: Highlight -> ProtoParser a -> ProtoParser a Source # token :: ProtoParser a -> ProtoParser a Source #
LookAheadParsing ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods lookAhead :: ProtoParser a -> ProtoParser a Source #
CharParsing ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods satisfy :: (Char -> Bool) -> ProtoParser Char Source # char :: Char -> ProtoParser Char Source # notChar :: Char -> ProtoParser Char Source # anyChar :: ProtoParser Char Source # string :: String -> ProtoParser String Source # text :: Text -> ProtoParser Text Source #
Parsing ProtoParser Source #
Instance details Defined in Proto3.Suite.DotProto.Parsing Methods try :: ProtoParser a -> ProtoParser a Source # (<?>) :: ProtoParser a -> String -> ProtoParser a Source # skipMany :: ProtoParser a -> ProtoParser () Source # skipSome :: ProtoParser a -> ProtoParser () Source # unexpected :: String -> ProtoParser a Source # eof :: ProtoParser () Source # notFollowedBy :: Show a => ProtoParser a -> ProtoParser () Source #

runProtoParser :: ProtoParser a -> Parser a Source #

parseProto :: Path -> String -> Either ParseError DotProto Source #

parseProto mp inp attempts to parse inp as a DotProto. mp is the module path to be injected into the AST as part of DotProtoMeta metadata on a successful parse.

parseProtoFile :: MonadIO m => Path -> FilePath -> m (Either ParseError DotProto) Source #

parseProtoFile mp fp reads and parses the .proto file found at fp. mp is used downstream during code generation when we need to generate names which are a function of the source .proto file's filename and its path relative to some --includeDir.