yesod-dsl-0.1.1.20: DSL for generating Yesod subsite to manage an RDBMS;

Safe HaskellNone

YesodDsl.ParserState

Documentation

type ParserMonad = StateT ParserState IOSource

initParserState :: ParserStateSource

getParserState :: ParserMonad ParserStateSource

getPath :: ParserMonad FilePathSource

getParsed :: ParserMonad [FilePath]Source

setParserState :: ParserState -> ParserMonad ()Source

runParser :: FilePath -> ParserState -> ParserMonad a -> IO (a, ParserState)Source

pushScope :: ParserMonad ()Source

popScope :: ParserMonad ()Source

declare :: Location -> String -> SymType -> ParserMonad ()Source

data SymType Source

Constructors

SEnum EnumType 
SClass Class 
SEntity EntityName 
SEntityId EntityName 
SDefine Define 
SField Field 
SFieldType FieldType 
SUnique Unique 
SRoute Route 
SHandler Handler 
SParam 
SForParam InputFieldRef 
SReserved 

Instances

Show SymType 

data ParserState Source

mkLoc :: Token -> ParserMonad LocationSource

parseErrorCount :: ParserState -> IntSource

withSymbol :: Location -> String -> (Location -> Location -> SymType -> ParserMonad ()) -> ParserMonad ()Source

withSymbolNow :: Location -> String -> (Location -> Location -> SymType -> ParserMonad ()) -> ParserMonad ()Source

pError :: Location -> String -> ParserMonad ()Source

hasReserved :: String -> ParserMonad BoolSource

requireClass :: (Class -> ParserMonad ()) -> Location -> Location -> SymType -> ParserMonad ()Source

requireEntity :: (Entity -> ParserMonad ()) -> Location -> Location -> SymType -> ParserMonad ()Source

requireEntityId :: (EntityName -> ParserMonad ()) -> Location -> Location -> SymType -> ParserMonad ()Source

requireEntityField :: Location -> FieldName -> ((Entity, Field) -> ParserMonad ()) -> Location -> Location -> SymType -> ParserMonad ()Source

requireField :: (Field -> ParserMonad ()) -> Location -> Location -> SymType -> ParserMonad ()Source

requireFieldType :: (FieldType -> ParserMonad ()) -> Location -> Location -> SymType -> ParserMonad ()Source

requireEnumValue :: Location -> FieldName -> Location -> Location -> SymType -> ParserMonad ()Source

requireParam :: Location -> Location -> SymType -> ParserMonad ()Source

setCurrentHandlerType :: HandlerType -> ParserMonad ()Source

getCurrentHandlerType :: ParserMonad (Maybe HandlerType)Source

requireHandlerType :: Location -> String -> (HandlerType -> Bool) -> ParserMonad ()Source

validateExtractField :: Location -> String -> ParserMonad ()Source

validateInsert :: Location -> Entity -> Maybe [InputField] -> ParserMonad ()Source

beginHandler :: ParserMonad ()Source

statement :: Location -> String -> ParserMonad ()Source

lastStatement :: Location -> String -> ParserMonad ()Source

addCheck :: Location -> String -> FieldType -> ParserMonad ()Source

postValidation :: Module -> ParserState -> IO IntSource