Safe Haskell	Safe-Inferred
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
Show Module
Typeable * Module

moduleName :: Module -> String Source

emptyModule :: Module Source

data Import Source

Constructors

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

Instances

Data Import
Show Import
Typeable * Import

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
FTCheckmark
FTZonedTime

Instances

Eq FieldType
Data FieldType
Show FieldType
Typeable * FieldType

type RowNum = Int Source

type ColNum = Int Source

data Location Source

Constructors

Loc FilePath RowNum ColNum

Instances

Eq Location
Data Location
Show Location
Typeable * Location

data Unique Source

Constructors

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

Instances

Eq Unique
Data Unique
Show Unique
Typeable * Unique

data HandlerType Source

Constructors

GetHandler
PutHandler
PostHandler
DeleteHandler

Instances

Eq HandlerType
Data HandlerType
Show HandlerType
Typeable * HandlerType

type VariableName = String Source

data JoinType Source

Constructors

InnerJoin
CrossJoin
LeftOuterJoin
RightOuterJoin
FullOuterJoin

Instances

Eq JoinType
Data JoinType
Show JoinType
Typeable * JoinType

isOuterJoin :: JoinType -> Bool Source

data BinOp Source

Constructors

Eq
Ne
Lt
Gt
Le
Ge
Like
Ilike
Is
In
NotIn

Instances

Eq BinOp
Data BinOp
Show BinOp
Typeable * BinOp

data ValBinOp Source

Constructors

Add
Sub
Div
Mul
Concat

Instances

Eq ValBinOp
Data ValBinOp
Show ValBinOp
Typeable * ValBinOp

data BoolExpr Source

Constructors

AndExpr BoolExpr BoolExpr
OrExpr BoolExpr BoolExpr
NotExpr BoolExpr
BinOpExpr ValExpr BinOp ValExpr
ExistsExpr SelectQuery
ExternExpr FunctionName [FunctionParam]

Instances

Eq BoolExpr
Data BoolExpr
Show BoolExpr
Typeable * BoolExpr

data FunctionParam Source

Constructors

FieldRefParam FieldRef
VerbatimParam String

Instances

Eq FunctionParam
Data FunctionParam
Show FunctionParam
Typeable * FunctionParam

type MaybeLevel = Int Source

data ValExpr Source

Constructors

FieldExpr FieldRef
ConcatManyExpr [ValExpr]
ValBinOpExpr ValExpr ValBinOp ValExpr
RandomExpr
FloorExpr ValExpr
CeilingExpr ValExpr
ExtractExpr FieldName ValExpr
SubQueryExpr SelectQuery

Instances

Eq ValExpr
Data ValExpr
Show ValExpr
Typeable * ValExpr

type EntityRef = Either EntityName Entity Source

entityRefName :: EntityRef -> EntityName Source

type UseParamFlag = Bool Source

type IfFilterParams = (ParamName, [Join], BoolExpr, UseParamFlag) Source

data SelectQuery Source

Constructors

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

Instances

Eq SelectQuery
Data SelectQuery
Show SelectQuery
Typeable * SelectQuery

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)
SelectValExpr ValExpr VariableName

Instances

Eq SelectField
Data SelectField
Show SelectField
Typeable * SelectField

data Join Source

Constructors

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

Instances

Eq Join
Data Join
Show Join
Typeable * Join

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

data CheckmarkValue Source

Constructors

Active
Inactive

Instances

Eq CheckmarkValue
Data CheckmarkValue
Ord CheckmarkValue
Show CheckmarkValue
Typeable * CheckmarkValue

data SortDir Source

Constructors

SortAsc
SortDesc

Instances

Eq SortDir
Data SortDir
Show SortDir
Typeable * SortDir

data Handler Source

Constructors

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

Instances

Eq Handler
Data Handler
Show Handler
Typeable * Handler

data Entity Source

Constructors

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

Instances

Eq Entity
Data Entity
Show Entity
Typeable * Entity
Show (Entity -> ParserMonad ())

data Route Source

Constructors

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

Instances

Eq Route
Data Route
Show Route
Typeable * Route

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
Data PathPiece
Show PathPiece
Typeable * PathPiece

data VariableRef Source

Constructors

Var VariableName EntityRef MaybeFlag

Instances

Eq VariableRef
Data VariableRef
Show VariableRef
Typeable * VariableRef

entityFieldByName :: Entity -> FieldName -> Field Source

data EnumType Source

Constructors

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

Instances

Eq EnumType
Data EnumType
Show EnumType
Typeable * EnumType

data Class Source

Constructors

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

Instances

Eq Class
Data Class
Show Class
Typeable * Class

type DefaultValue = String Source

type IsListFlag = Bool Source

data FieldContent Source

Constructors

NormalField FieldType [FieldOption]
EntityField EntityName
EnumField EnumName (Maybe EnumValue)

Instances

Eq FieldContent
Data FieldContent
Show FieldContent
Typeable * FieldContent

data Field Source

Constructors

Field
Fields fieldLoc :: Location fieldOptional :: Bool fieldInternal :: Bool fieldName :: FieldName fieldContent :: FieldContent fieldClassName :: Maybe (ClassName, FieldName)

Instances

Eq Field
Data Field
Show Field
Typeable * Field

data FieldOption Source

Constructors

FieldCheck FunctionName
FieldDefault FieldValue

Instances

Eq FieldOption
Data FieldOption
Show FieldOption
Typeable * FieldOption

data FieldValue Source

Constructors

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

Instances

Eq FieldValue
Data FieldValue
Ord FieldValue
Show FieldValue
Typeable * FieldValue

fieldValueToSql :: FieldValue -> String Source

fieldValueToEsqueleto :: FieldValue -> String Source

fieldValueToHs :: FieldValue -> String Source

fieldOptions :: Field -> [FieldOption] Source

fieldDefault :: Field -> Maybe FieldValue 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 BoolExpr)
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]

Eq Stmt
Data Stmt
Show Stmt
Typeable * Stmt

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

Eq FieldRef
Data FieldRef
Show FieldRef
Typeable * FieldRef