Safe Haskell	None
Language	Haskell98

YesodDsl.AST

Documentation

data Module Source #

Constructors

Module
Fields modName :: Maybe String modEntities :: [Entity] modClasses :: [Class] modEnums :: [EnumType] modRoutes :: [Route] modImports :: [Import]

Instances

Data Module Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module -> c Module # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Module # toConstr :: Module -> Constr # dataTypeOf :: Module -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Module) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Module) # gmapT :: (forall b. Data b => b -> b) -> Module -> Module # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQ :: (forall d. Data d => d -> u) -> Module -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module #
Show Module Source #
Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #

moduleName :: Module -> String Source #

emptyModule :: Module Source #

data Import Source #

Constructors

Import
Fields importModule :: String importFunctions :: [FunctionName]

Instances

Data Import Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Import -> c Import # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Import # toConstr :: Import -> Constr # dataTypeOf :: Import -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Import) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Import) # gmapT :: (forall b. Data b => b -> b) -> Import -> Import # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Import -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Import -> r # gmapQ :: (forall d. Data d => d -> u) -> Import -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Import -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Import -> m Import # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Import -> m Import # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Import -> m Import #
Show Import Source #
Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #

type ClassName = String Source #

type ParamName = String Source #

type EntityName = String Source #

type EnumName = String Source #

type EnumValue = String Source #

type FunctionName = String Source #

type FieldName = String Source #

data FieldType Source #

Constructors

FTWord32
FTWord64
FTInt
FTInt32
FTInt64
FTText
FTBool
FTDouble
FTTimeOfDay
FTDay
FTUTCTime
FTRational
FTCheckmark

Instances

Eq FieldType Source #
Methods (==) :: FieldType -> FieldType -> Bool # (/=) :: FieldType -> FieldType -> Bool #
Data FieldType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldType -> c FieldType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldType # toConstr :: FieldType -> Constr # dataTypeOf :: FieldType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FieldType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldType) # gmapT :: (forall b. Data b => b -> b) -> FieldType -> FieldType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldType -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType #
Show FieldType Source #
Methods showsPrec :: Int -> FieldType -> ShowS # show :: FieldType -> String # showList :: [FieldType] -> ShowS #

type RowNum = Int Source #

type ColNum = Int Source #

data Location Source #

Constructors

Loc FilePath RowNum ColNum

Instances

Eq Location Source #
Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Data Location Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Location -> c Location # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Location # toConstr :: Location -> Constr # dataTypeOf :: Location -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Location) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Location) # gmapT :: (forall b. Data b => b -> b) -> Location -> Location # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Location -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Location -> r # gmapQ :: (forall d. Data d => d -> u) -> Location -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Location -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Location -> m Location # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Location -> m Location # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Location -> m Location #
Show Location Source #
Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #

data Unique Source #

Constructors

Unique
Fields uniqueName :: String uniqueFields :: [FieldName]

Instances

Eq Unique Source #
Methods (==) :: Unique -> Unique -> Bool # (/=) :: Unique -> Unique -> Bool #
Data Unique Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unique -> c Unique # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unique # toConstr :: Unique -> Constr # dataTypeOf :: Unique -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Unique) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Unique) # gmapT :: (forall b. Data b => b -> b) -> Unique -> Unique # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unique -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unique -> r # gmapQ :: (forall d. Data d => d -> u) -> Unique -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Unique -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unique -> m Unique # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unique -> m Unique # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unique -> m Unique #
Show Unique Source #
Methods showsPrec :: Int -> Unique -> ShowS # show :: Unique -> String # showList :: [Unique] -> ShowS #

data HandlerType Source #

Constructors

GetHandler
PutHandler
PostHandler
DeleteHandler

Instances

Eq HandlerType Source #
Methods (==) :: HandlerType -> HandlerType -> Bool # (/=) :: HandlerType -> HandlerType -> Bool #
Data HandlerType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HandlerType -> c HandlerType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HandlerType # toConstr :: HandlerType -> Constr # dataTypeOf :: HandlerType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c HandlerType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HandlerType) # gmapT :: (forall b. Data b => b -> b) -> HandlerType -> HandlerType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HandlerType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HandlerType -> r # gmapQ :: (forall d. Data d => d -> u) -> HandlerType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> HandlerType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HandlerType -> m HandlerType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HandlerType -> m HandlerType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HandlerType -> m HandlerType #
Show HandlerType Source #
Methods showsPrec :: Int -> HandlerType -> ShowS # show :: HandlerType -> String # showList :: [HandlerType] -> ShowS #

type VariableName = String Source #

data JoinType Source #

Constructors

InnerJoin
CrossJoin
LeftOuterJoin
RightOuterJoin
FullOuterJoin

Instances

Eq JoinType Source #
Methods (==) :: JoinType -> JoinType -> Bool # (/=) :: JoinType -> JoinType -> Bool #
Data JoinType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JoinType -> c JoinType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JoinType # toConstr :: JoinType -> Constr # dataTypeOf :: JoinType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c JoinType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JoinType) # gmapT :: (forall b. Data b => b -> b) -> JoinType -> JoinType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JoinType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JoinType -> r # gmapQ :: (forall d. Data d => d -> u) -> JoinType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JoinType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JoinType -> m JoinType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinType -> m JoinType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JoinType -> m JoinType #
Show JoinType Source #
Methods showsPrec :: Int -> JoinType -> ShowS # show :: JoinType -> String # showList :: [JoinType] -> ShowS #

isOuterJoin :: JoinType -> Bool Source #

data BinOp Source #

Constructors

And
Or
Eq
Ne
Lt
Gt
Le
Ge
Like
Ilike
Is
In
NotIn
Add
Sub
Div
Mul
Concat

Instances

Eq BinOp Source #
Methods (==) :: BinOp -> BinOp -> Bool # (/=) :: BinOp -> BinOp -> Bool #
Data BinOp Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinOp -> c BinOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinOp # toConstr :: BinOp -> Constr # dataTypeOf :: BinOp -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c BinOp) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinOp) # gmapT :: (forall b. Data b => b -> b) -> BinOp -> BinOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinOp -> r # gmapQ :: (forall d. Data d => d -> u) -> BinOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BinOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinOp -> m BinOp #
Show BinOp Source #
Methods showsPrec :: Int -> BinOp -> ShowS # show :: BinOp -> String # showList :: [BinOp] -> ShowS #

data UnOp Source #

Constructors

Floor
Ceiling
Not
Extract FieldName

Instances

Eq UnOp Source #
Methods (==) :: UnOp -> UnOp -> Bool # (/=) :: UnOp -> UnOp -> Bool #
Data UnOp Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnOp -> c UnOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnOp # toConstr :: UnOp -> Constr # dataTypeOf :: UnOp -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c UnOp) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnOp) # gmapT :: (forall b. Data b => b -> b) -> UnOp -> UnOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnOp -> r # gmapQ :: (forall d. Data d => d -> u) -> UnOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnOp -> m UnOp #
Show UnOp Source #
Methods showsPrec :: Int -> UnOp -> ShowS # show :: UnOp -> String # showList :: [UnOp] -> ShowS #

data FunctionParam Source #

Constructors

FieldRefParam FieldRef
VerbatimParam String

Instances

Eq FunctionParam Source #
Methods (==) :: FunctionParam -> FunctionParam -> Bool # (/=) :: FunctionParam -> FunctionParam -> Bool #
Data FunctionParam Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionParam -> c FunctionParam # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionParam # toConstr :: FunctionParam -> Constr # dataTypeOf :: FunctionParam -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FunctionParam) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionParam) # gmapT :: (forall b. Data b => b -> b) -> FunctionParam -> FunctionParam # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionParam -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionParam -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionParam -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionParam -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionParam -> m FunctionParam # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionParam -> m FunctionParam # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionParam -> m FunctionParam #
Show FunctionParam Source #
Methods showsPrec :: Int -> FunctionParam -> ShowS # show :: FunctionParam -> String # showList :: [FunctionParam] -> ShowS #

type MaybeLevel = Int Source #

data Expr Source #

Constructors

FieldExpr FieldRef
ConcatManyExpr [Expr]
BinOpExpr Expr BinOp Expr
UnOpExpr UnOp Expr
SubQueryExpr SelectQuery
ExistsExpr SelectQuery
ExternExpr FunctionName [FunctionParam]

Instances

Eq Expr Source #
Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Data Expr Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expr -> c Expr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr # toConstr :: Expr -> Constr # dataTypeOf :: Expr -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Expr) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expr) # gmapT :: (forall b. Data b => b -> b) -> Expr -> Expr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r # gmapQ :: (forall d. Data d => d -> u) -> Expr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Expr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expr -> m Expr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr #
Show Expr Source #
Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

type EntityRef = Either EntityName Entity Source #

entityRefName :: EntityRef -> EntityName Source #

data Stmt Source #

Instances

Eq Stmt Source #
Methods (==) :: Stmt -> Stmt -> Bool # (/=) :: Stmt -> Stmt -> Bool #
Data Stmt Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stmt -> c Stmt # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stmt # toConstr :: Stmt -> Constr # dataTypeOf :: Stmt -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Stmt) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stmt) # gmapT :: (forall b. Data b => b -> b) -> Stmt -> Stmt # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stmt -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stmt -> r # gmapQ :: (forall d. Data d => d -> u) -> Stmt -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Stmt -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt #
Show Stmt Source #
Methods showsPrec :: Int -> Stmt -> ShowS # show :: Stmt -> String # showList :: [Stmt] -> ShowS #

type UseParamFlag = Bool Source #

type IfFilterParams = (ParamName, [Join], Expr, [OrderBy], UseParamFlag) Source #

type OrderBy = (Maybe FunctionName, [FieldRef], SortDir) Source #

data SelectQuery Source #

Constructors

SelectQuery
Fields sqFields :: [SelectField] sqFrom :: (EntityRef, VariableName) sqJoins :: [Join] sqWhere :: Maybe Expr sqOrderBy :: [OrderBy] sqLimitOffset :: (Int, Int)

Instances

Eq SelectQuery Source #
Methods (==) :: SelectQuery -> SelectQuery -> Bool # (/=) :: SelectQuery -> SelectQuery -> Bool #
Data SelectQuery Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SelectQuery -> c SelectQuery # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SelectQuery # toConstr :: SelectQuery -> Constr # dataTypeOf :: SelectQuery -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SelectQuery) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SelectQuery) # gmapT :: (forall b. Data b => b -> b) -> SelectQuery -> SelectQuery # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SelectQuery -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SelectQuery -> r # gmapQ :: (forall d. Data d => d -> u) -> SelectQuery -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SelectQuery -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SelectQuery -> m SelectQuery # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectQuery -> m SelectQuery # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectQuery -> m SelectQuery #
Show SelectQuery Source #
Methods showsPrec :: Int -> SelectQuery -> ShowS # show :: SelectQuery -> String # showList :: [SelectQuery] -> ShowS #

type MaybeFlag = Bool Source #

sqAliases :: SelectQuery -> Map VariableName (Entity, MaybeFlag) Source #

data SelectField Source #

Constructors

SelectAllFields VariableRef
SelectField VariableRef FieldName (Maybe VariableName)
SelectIdField VariableRef (Maybe VariableName)
SelectExpr Expr VariableName

Instances

Eq SelectField Source #
Methods (==) :: SelectField -> SelectField -> Bool # (/=) :: SelectField -> SelectField -> Bool #
Data SelectField Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SelectField -> c SelectField # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SelectField # toConstr :: SelectField -> Constr # dataTypeOf :: SelectField -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SelectField) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SelectField) # gmapT :: (forall b. Data b => b -> b) -> SelectField -> SelectField # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SelectField -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SelectField -> r # gmapQ :: (forall d. Data d => d -> u) -> SelectField -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SelectField -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SelectField -> m SelectField # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectField -> m SelectField # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SelectField -> m SelectField #
Show SelectField Source #
Methods showsPrec :: Int -> SelectField -> ShowS # show :: SelectField -> String # showList :: [SelectField] -> ShowS #

data Join Source #

Constructors

Join
Fields joinType :: JoinType joinEntity :: EntityRef joinAlias :: VariableName joinExpr :: Maybe Expr

Instances

Eq Join Source #
Methods (==) :: Join -> Join -> Bool # (/=) :: Join -> Join -> Bool #
Data Join Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Join -> c Join # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Join # toConstr :: Join -> Constr # dataTypeOf :: Join -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Join) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Join) # gmapT :: (forall b. Data b => b -> b) -> Join -> Join # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Join -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Join -> r # gmapQ :: (forall d. Data d => d -> u) -> Join -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Join -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Join -> m Join # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Join -> m Join # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Join -> m Join #
Show Join Source #
Methods showsPrec :: Int -> Join -> ShowS # show :: Join -> String # showList :: [Join] -> ShowS #

type FieldRefMapping = (ParamName, FieldRef, Maybe FunctionName) Source #

data CheckmarkValue Source #

Constructors

Active
Inactive

Instances

Eq CheckmarkValue Source #
Methods (==) :: CheckmarkValue -> CheckmarkValue -> Bool # (/=) :: CheckmarkValue -> CheckmarkValue -> Bool #
Data CheckmarkValue Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CheckmarkValue -> c CheckmarkValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CheckmarkValue # toConstr :: CheckmarkValue -> Constr # dataTypeOf :: CheckmarkValue -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c CheckmarkValue) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CheckmarkValue) # gmapT :: (forall b. Data b => b -> b) -> CheckmarkValue -> CheckmarkValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CheckmarkValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CheckmarkValue -> r # gmapQ :: (forall d. Data d => d -> u) -> CheckmarkValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CheckmarkValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CheckmarkValue -> m CheckmarkValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckmarkValue -> m CheckmarkValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CheckmarkValue -> m CheckmarkValue #
Ord CheckmarkValue Source #
Methods compare :: CheckmarkValue -> CheckmarkValue -> Ordering # (<) :: CheckmarkValue -> CheckmarkValue -> Bool # (<=) :: CheckmarkValue -> CheckmarkValue -> Bool # (>) :: CheckmarkValue -> CheckmarkValue -> Bool # (>=) :: CheckmarkValue -> CheckmarkValue -> Bool # max :: CheckmarkValue -> CheckmarkValue -> CheckmarkValue # min :: CheckmarkValue -> CheckmarkValue -> CheckmarkValue #
Show CheckmarkValue Source #
Methods showsPrec :: Int -> CheckmarkValue -> ShowS # show :: CheckmarkValue -> String # showList :: [CheckmarkValue] -> ShowS #

data SortDir Source #

Constructors

SortAsc
SortDesc

Instances

Eq SortDir Source #
Methods (==) :: SortDir -> SortDir -> Bool # (/=) :: SortDir -> SortDir -> Bool #
Data SortDir Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SortDir -> c SortDir # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SortDir # toConstr :: SortDir -> Constr # dataTypeOf :: SortDir -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SortDir) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SortDir) # gmapT :: (forall b. Data b => b -> b) -> SortDir -> SortDir # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SortDir -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SortDir -> r # gmapQ :: (forall d. Data d => d -> u) -> SortDir -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SortDir -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SortDir -> m SortDir # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SortDir -> m SortDir # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SortDir -> m SortDir #
Show SortDir Source #
Methods showsPrec :: Int -> SortDir -> ShowS # show :: SortDir -> String # showList :: [SortDir] -> ShowS #

data Handler Source #

Constructors

Handler
Fields handlerLoc :: Location handlerType :: HandlerType handlerStmts :: [Stmt]

Instances

Eq Handler Source #
Methods (==) :: Handler -> Handler -> Bool # (/=) :: Handler -> Handler -> Bool #
Data Handler Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Handler -> c Handler # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Handler # toConstr :: Handler -> Constr # dataTypeOf :: Handler -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Handler) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Handler) # gmapT :: (forall b. Data b => b -> b) -> Handler -> Handler # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Handler -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Handler -> r # gmapQ :: (forall d. Data d => d -> u) -> Handler -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Handler -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Handler -> m Handler # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Handler -> m Handler # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Handler -> m Handler #
Show Handler Source #
Methods showsPrec :: Int -> Handler -> ShowS # show :: Handler -> String # showList :: [Handler] -> ShowS #

data Entity Source #

Constructors

Entity
Fields entityLoc :: Location entityName :: String entityTable :: Maybe String entityInstances :: [ClassName] entityFields :: [Field] entityClassFields :: [Field] entityUniques :: [Unique] entityDeriving :: [ClassName] entityChecks :: [FunctionName]

Instances

Eq Entity Source #
Methods (==) :: Entity -> Entity -> Bool # (/=) :: Entity -> Entity -> Bool #
Data Entity Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Entity -> c Entity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Entity # toConstr :: Entity -> Constr # dataTypeOf :: Entity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Entity) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Entity) # gmapT :: (forall b. Data b => b -> b) -> Entity -> Entity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Entity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Entity -> r # gmapQ :: (forall d. Data d => d -> u) -> Entity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Entity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Entity -> m Entity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Entity -> m Entity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Entity -> m Entity #
Show Entity Source #
Methods showsPrec :: Int -> Entity -> ShowS # show :: Entity -> String # showList :: [Entity] -> ShowS #
Show (Entity -> ParserMonad ()) #
Methods showsPrec :: Int -> (Entity -> ParserMonad ()) -> ShowS # show :: (Entity -> ParserMonad ()) -> String # showList :: [Entity -> ParserMonad ()] -> ShowS #

data Route Source #

Constructors

Route
Fields routeLoc :: Location routePath :: [PathPiece] routeHandlers :: [Handler]

Instances

Eq Route Source #
Methods (==) :: Route -> Route -> Bool # (/=) :: Route -> Route -> Bool #
Data Route Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Route -> c Route # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Route # toConstr :: Route -> Constr # dataTypeOf :: Route -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Route) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Route) # gmapT :: (forall b. Data b => b -> b) -> Route -> Route # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Route -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Route -> r # gmapQ :: (forall d. Data d => d -> u) -> Route -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Route -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Route -> m Route # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Route -> m Route # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Route -> m Route #
Show Route Source #
Methods showsPrec :: Int -> Route -> ShowS # show :: Route -> String # showList :: [Route] -> ShowS #

routePathParams :: Route -> [PathPiece] Source #

isPathParam :: PathPiece -> Bool Source #

handlerName :: Route -> Handler -> String Source #

routeName :: [PathPiece] -> String Source #

data PathPiece Source #

Constructors

PathText String
PathId Location EntityName

Instances

Eq PathPiece Source #
Methods (==) :: PathPiece -> PathPiece -> Bool # (/=) :: PathPiece -> PathPiece -> Bool #
Data PathPiece Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PathPiece -> c PathPiece # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PathPiece # toConstr :: PathPiece -> Constr # dataTypeOf :: PathPiece -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c PathPiece) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PathPiece) # gmapT :: (forall b. Data b => b -> b) -> PathPiece -> PathPiece # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PathPiece -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PathPiece -> r # gmapQ :: (forall d. Data d => d -> u) -> PathPiece -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PathPiece -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PathPiece -> m PathPiece # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PathPiece -> m PathPiece # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PathPiece -> m PathPiece #
Show PathPiece Source #
Methods showsPrec :: Int -> PathPiece -> ShowS # show :: PathPiece -> String # showList :: [PathPiece] -> ShowS #

data FieldRef Source #

Instances

Eq FieldRef Source #
Methods (==) :: FieldRef -> FieldRef -> Bool # (/=) :: FieldRef -> FieldRef -> Bool #
Data FieldRef Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldRef -> c FieldRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldRef # toConstr :: FieldRef -> Constr # dataTypeOf :: FieldRef -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FieldRef) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldRef) # gmapT :: (forall b. Data b => b -> b) -> FieldRef -> FieldRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldRef -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldRef -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldRef -> m FieldRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldRef -> m FieldRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldRef -> m FieldRef #
Show FieldRef Source #
Methods showsPrec :: Int -> FieldRef -> ShowS # show :: FieldRef -> String # showList :: [FieldRef] -> ShowS #

data VariableRef Source #

Constructors

Var VariableName EntityRef MaybeFlag

Instances

Eq VariableRef Source #
Methods (==) :: VariableRef -> VariableRef -> Bool # (/=) :: VariableRef -> VariableRef -> Bool #
Data VariableRef Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VariableRef -> c VariableRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VariableRef # toConstr :: VariableRef -> Constr # dataTypeOf :: VariableRef -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c VariableRef) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VariableRef) # gmapT :: (forall b. Data b => b -> b) -> VariableRef -> VariableRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VariableRef -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VariableRef -> r # gmapQ :: (forall d. Data d => d -> u) -> VariableRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VariableRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VariableRef -> m VariableRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VariableRef -> m VariableRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VariableRef -> m VariableRef #
Show VariableRef Source #
Methods showsPrec :: Int -> VariableRef -> ShowS # show :: VariableRef -> String # showList :: [VariableRef] -> ShowS #

entityFieldByName :: Entity -> FieldName -> Field Source #

data EnumType Source #

Constructors

EnumType
Fields enumLoc :: Location enumName :: String enumValues :: [String]

Instances

Eq EnumType Source #
Methods (==) :: EnumType -> EnumType -> Bool # (/=) :: EnumType -> EnumType -> Bool #
Data EnumType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumType -> c EnumType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumType # toConstr :: EnumType -> Constr # dataTypeOf :: EnumType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c EnumType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumType) # gmapT :: (forall b. Data b => b -> b) -> EnumType -> EnumType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumType -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumType -> m EnumType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumType -> m EnumType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumType -> m EnumType #
Show EnumType Source #
Methods showsPrec :: Int -> EnumType -> ShowS # show :: EnumType -> String # showList :: [EnumType] -> ShowS #

data Class Source #

Constructors

Class
Fields classLoc :: Location className :: String classFields :: [Field] classUniques :: [Unique]

Instances

Eq Class Source #
Methods (==) :: Class -> Class -> Bool # (/=) :: Class -> Class -> Bool #
Data Class Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Class -> c Class # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Class # toConstr :: Class -> Constr # dataTypeOf :: Class -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Class) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Class) # gmapT :: (forall b. Data b => b -> b) -> Class -> Class # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Class -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Class -> r # gmapQ :: (forall d. Data d => d -> u) -> Class -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Class -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Class -> m Class # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Class -> m Class # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Class -> m Class #
Show Class Source #
Methods showsPrec :: Int -> Class -> ShowS # show :: Class -> String # showList :: [Class] -> ShowS #

type DefaultValue = String Source #

type IsListFlag = Bool Source #

data FieldContent Source #

Constructors

NormalField FieldType
EntityField EntityName
EnumField EnumName

Instances

Eq FieldContent Source #
Methods (==) :: FieldContent -> FieldContent -> Bool # (/=) :: FieldContent -> FieldContent -> Bool #
Data FieldContent Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldContent -> c FieldContent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldContent # toConstr :: FieldContent -> Constr # dataTypeOf :: FieldContent -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FieldContent) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldContent) # gmapT :: (forall b. Data b => b -> b) -> FieldContent -> FieldContent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldContent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldContent -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldContent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldContent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldContent -> m FieldContent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldContent -> m FieldContent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldContent -> m FieldContent #
Show FieldContent Source #
Methods showsPrec :: Int -> FieldContent -> ShowS # show :: FieldContent -> String # showList :: [FieldContent] -> ShowS #

data Field Source #

Constructors

Field
Fields fieldLoc :: Location fieldOptional :: Bool fieldName :: FieldName fieldContent :: FieldContent fieldOptions :: [FieldOption] fieldClassName :: Maybe (ClassName, FieldName)

Instances

Eq Field Source #
Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Data Field Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Field -> c Field # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Field # toConstr :: Field -> Constr # dataTypeOf :: Field -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Field) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Field) # gmapT :: (forall b. Data b => b -> b) -> Field -> Field # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r # gmapQ :: (forall d. Data d => d -> u) -> Field -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Field -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Field -> m Field # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field #
Show Field Source #
Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

fieldInternal :: Field -> Bool Source #

fieldReadOnly :: Field -> Bool Source #

fieldJsonName :: Field -> FieldName Source #

data FieldOption Source #

Constructors

FieldCheck FunctionName
FieldDefault FieldValue
FieldColumnName FieldName
FieldJsonName FieldName
FieldInternal
FieldReadOnly

Instances

Eq FieldOption Source #
Methods (==) :: FieldOption -> FieldOption -> Bool # (/=) :: FieldOption -> FieldOption -> Bool #
Data FieldOption Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldOption -> c FieldOption # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldOption # toConstr :: FieldOption -> Constr # dataTypeOf :: FieldOption -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FieldOption) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldOption) # gmapT :: (forall b. Data b => b -> b) -> FieldOption -> FieldOption # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldOption -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldOption -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldOption -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldOption -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldOption -> m FieldOption # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldOption -> m FieldOption # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldOption -> m FieldOption #
Show FieldOption Source #
Methods showsPrec :: Int -> FieldOption -> ShowS # show :: FieldOption -> String # showList :: [FieldOption] -> ShowS #

data FieldValue Source #

Constructors

StringValue String
IntValue Int
FloatValue Double
BoolValue Bool
NothingValue
CheckmarkValue CheckmarkValue
EnumFieldValue EnumName EnumValue
EmptyList

Instances

Eq FieldValue Source #
Methods (==) :: FieldValue -> FieldValue -> Bool # (/=) :: FieldValue -> FieldValue -> Bool #
Data FieldValue Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldValue -> c FieldValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldValue # toConstr :: FieldValue -> Constr # dataTypeOf :: FieldValue -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FieldValue) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldValue) # gmapT :: (forall b. Data b => b -> b) -> FieldValue -> FieldValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldValue -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldValue -> m FieldValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldValue -> m FieldValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldValue -> m FieldValue #
Ord FieldValue Source #
Methods compare :: FieldValue -> FieldValue -> Ordering # (<) :: FieldValue -> FieldValue -> Bool # (<=) :: FieldValue -> FieldValue -> Bool # (>) :: FieldValue -> FieldValue -> Bool # (>=) :: FieldValue -> FieldValue -> Bool # max :: FieldValue -> FieldValue -> FieldValue # min :: FieldValue -> FieldValue -> FieldValue #
Show FieldValue Source #
Methods showsPrec :: Int -> FieldValue -> ShowS # show :: FieldValue -> String # showList :: [FieldValue] -> ShowS #

fieldValueToSql :: FieldValue -> String Source #

fieldValueToEsqueleto :: FieldValue -> String Source #

fieldValueToHs :: FieldValue -> String Source #

fieldDefault :: Field -> Maybe FieldValue Source #

fieldColumnName :: Field -> Maybe FieldName Source #

fieldChecks :: Field -> [FunctionName] Source #

lookupField :: Entity -> FieldName -> Maybe Field Source #

lowerFirst :: String -> String Source #

upperFirst :: String -> String Source #

Public
ParamDefault ParamName FieldValue
DefaultFilterSort
Select SelectQuery
IfFilter IfFilterParams
DeleteFrom EntityRef VariableName (Maybe Expr)
GetById EntityRef FieldRef VariableName
Update EntityRef FieldRef (Maybe [FieldRefMapping])
Insert EntityRef (Maybe (Maybe VariableName, [FieldRefMapping])) (Maybe VariableName)
Return [FieldRefMapping]
Require SelectQuery
For VariableName FieldRef [Stmt]
Call FunctionName [FieldRef]
MapJson FunctionName

SqlId VariableRef
SqlField VariableRef FieldName
AuthId
AuthField FieldName
LocalParam
LocalParamField VariableRef FieldName
EnumValueRef EnumName FieldName
PathParam Int
RequestField FieldName
NamedLocalParam VariableName
Const FieldValue
Now