Safe Haskell	None
Language	Haskell2010

Database.Persist.Quasi.Internal.ModelParser

Synopsis

data SourceLoc = SourceLoc {
- locFile :: Text
- locStartLine :: Int
- locStartCol :: Int
}
data Token
- = Quotation Text
- | Equality Text Text
- | Parenthetical Text
- | BlockKey Text
- | PText Text
tokenContent :: Token -> Text
anyToken :: Parser Token
data ParsedEntityDef
parsedEntityDefComments :: ParsedEntityDef -> [Text]
parsedEntityDefEntityName :: ParsedEntityDef -> EntityNameHS
parsedEntityDefIsSum :: ParsedEntityDef -> Bool
parsedEntityDefEntityAttributes :: ParsedEntityDef -> [Attr]
parsedEntityDefFieldAttributes :: ParsedEntityDef -> [([Token], Maybe Text)]
parsedEntityDefExtras :: ParsedEntityDef -> Map Text [ExtraLine]
parsedEntityDefSpan :: ParsedEntityDef -> Maybe SourceSpan
parseSource :: PersistSettings -> Maybe SourceLoc -> Text -> ParseResult [ParsedEntityDef]
memberBlockAttrs :: Member -> [BlockAttr]
data ParserWarning
parserWarningMessage :: ParserWarning -> String
type ParseResult a = (Set ParserWarning, Either (ParseErrorBundle String Void) a)
type CumulativeParseResult a = (Set ParserWarning, Either [EntityParseError] a)
toCumulativeParseResult :: Monoid a => [ParseResult a] -> CumulativeParseResult a
renderErrors :: [EntityParseError] -> String
runConfiguredParser :: PersistSettings -> ExtraState -> Parser a -> String -> String -> InternalParseResult a
data ParserErrorLevel
- = LevelError
- | LevelWarning
initialExtraState :: ExtraState

Documentation

data SourceLoc Source #

Source location: file and line/col information. This is half of a SourceSpan.

Since: 2.16.0.0

Constructors

SourceLoc
Fields locFile :: Text locStartLine :: Int locStartCol :: Int

Instances

Instances details

Show SourceLoc Source #
Instance details Defined in Database.Persist.Quasi.Internal.ModelParser Methods showsPrec :: Int -> SourceLoc -> ShowS # show :: SourceLoc -> String # showList :: [SourceLoc] -> ShowS #
Lift SourceLoc Source #
Instance details Defined in Database.Persist.Quasi.Internal.ModelParser Methods lift :: Quote m => SourceLoc -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SourceLoc -> Code m SourceLoc #

data Token Source #

Constructors

Quotation Text
Equality Text Text
Parenthetical Text
BlockKey Text
PText Text

Instances

Instances details

Show Token Source #
Instance details Defined in Database.Persist.Quasi.Internal.ModelParser Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Eq Token Source #
Instance details Defined in Database.Persist.Quasi.Internal.ModelParser Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Ord Token Source #
Instance details Defined in Database.Persist.Quasi.Internal.ModelParser Methods compare :: Token -> Token -> Ordering # (<) :: Token -> Token -> Bool # (<=) :: Token -> Token -> Bool # (>) :: Token -> Token -> Bool # (>=) :: Token -> Token -> Bool # max :: Token -> Token -> Token # min :: Token -> Token -> Token #

tokenContent :: Token -> Text Source #

Converts a token into a Text representation for second-stage parsing or presentation to the user

Since: 2.16.0.0

anyToken :: Parser Token Source #

data ParsedEntityDef Source #

Instances

Instances details

Show ParsedEntityDef Source #
Instance details Defined in Database.Persist.Quasi.Internal.ModelParser Methods showsPrec :: Int -> ParsedEntityDef -> ShowS # show :: ParsedEntityDef -> String # showList :: [ParsedEntityDef] -> ShowS #

parsedEntityDefComments :: ParsedEntityDef -> [Text] Source #

parsedEntityDefEntityName :: ParsedEntityDef -> EntityNameHS Source #

parsedEntityDefIsSum :: ParsedEntityDef -> Bool Source #

parsedEntityDefEntityAttributes :: ParsedEntityDef -> [Attr] Source #

parsedEntityDefFieldAttributes :: ParsedEntityDef -> [([Token], Maybe Text)] Source #

parsedEntityDefExtras :: ParsedEntityDef -> Map Text [ExtraLine] Source #

parsedEntityDefSpan :: ParsedEntityDef -> Maybe SourceSpan Source #

parseSource :: PersistSettings -> Maybe SourceLoc -> Text -> ParseResult [ParsedEntityDef] Source #

memberBlockAttrs :: Member -> [BlockAttr] Source #

Represents an entity member as a list of BlockAttrs

Since: 2.16.0.0

data ParserWarning Source #

Since: 2.16.0.0

Instances

Instances details

Show ParserWarning Source #
Instance details Defined in Database.Persist.Quasi.PersistSettings.Internal Methods showsPrec :: Int -> ParserWarning -> ShowS # show :: ParserWarning -> String # showList :: [ParserWarning] -> ShowS #
Eq ParserWarning Source #
Instance details Defined in Database.Persist.Quasi.PersistSettings.Internal Methods (==) :: ParserWarning -> ParserWarning -> Bool # (/=) :: ParserWarning -> ParserWarning -> Bool #
Ord ParserWarning Source #
Instance details Defined in Database.Persist.Quasi.PersistSettings.Internal Methods compare :: ParserWarning -> ParserWarning -> Ordering # (<) :: ParserWarning -> ParserWarning -> Bool # (<=) :: ParserWarning -> ParserWarning -> Bool # (>) :: ParserWarning -> ParserWarning -> Bool # (>=) :: ParserWarning -> ParserWarning -> Bool # max :: ParserWarning -> ParserWarning -> ParserWarning # min :: ParserWarning -> ParserWarning -> ParserWarning #

parserWarningMessage :: ParserWarning -> String Source #

Uses errorBundlePretty to render a parser warning.

Since: 2.16.0.0

type ParseResult a = (Set ParserWarning, Either (ParseErrorBundle String Void) a) Source #

Result of parsing a single source text.

Since: 2.16.0.0

type CumulativeParseResult a = (Set ParserWarning, Either [EntityParseError] a) Source #

Cumulative result of parsing multiple source texts.

Since: 2.16.0.0

toCumulativeParseResult :: Monoid a => [ParseResult a] -> CumulativeParseResult a Source #

renderErrors :: [EntityParseError] -> String Source #

Renders a list of EntityParseErrors as a String using errorBundlePretty, separated by line breaks. @since 2.16.0.0

runConfiguredParser :: PersistSettings -> ExtraState -> Parser a -> String -> String -> InternalParseResult a Source #

Run a parser using provided PersistSettings and ExtraState @since 2.16.0.0

data ParserErrorLevel Source #

Since: 2.16.0.0

Constructors

LevelError
LevelWarning

Instances

Instances details

Show ParserErrorLevel Source #
Instance details Defined in Database.Persist.Quasi.PersistSettings.Internal Methods showsPrec :: Int -> ParserErrorLevel -> ShowS # show :: ParserErrorLevel -> String # showList :: [ParserErrorLevel] -> ShowS #
Eq ParserErrorLevel Source #
Instance details Defined in Database.Persist.Quasi.PersistSettings.Internal Methods (==) :: ParserErrorLevel -> ParserErrorLevel -> Bool # (/=) :: ParserErrorLevel -> ParserErrorLevel -> Bool #

initialExtraState :: ExtraState Source #