Safe Haskell	None
Language	Haskell2010

Database.YamSql

Synopsis

Documentation

data Schema Source #

Constructors

Schema

Fields

schemaName :: SqlName
schemaDescription :: Text
schemaDependencies :: Maybe [SqlName]
schemaFunctions :: Maybe [Function]
schemaFunctionTemplates :: Maybe [FunctionTpl]
schemaTables :: Maybe [Table]
schemaTableTemplates :: Maybe [TableTpl]
schemaRoles :: Maybe [Role]
schemaSequences :: Maybe [Sequence]
schemaPrivUsage :: Maybe [SqlName]
schemaPrivSelectAll :: Maybe [SqlName]
schemaPrivInsertAll :: Maybe [SqlName]
schemaPrivUpdateAll :: Maybe [SqlName]
schemaPrivDeleteAll :: Maybe [SqlName]
schemaPrivSequenceAll :: Maybe [SqlName]
schemaPrivExecuteAll :: Maybe [SqlName]
schemaPrivAllAll :: Maybe [SqlName]
schemaDomains :: Maybe [Domain]
schemaTypes :: Maybe [Type]
schemaExecPostInstall :: Maybe Text
schemaExecPostInstallAndUpgrade :: Maybe Text

Instances

Data Schema Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Schema -> c Schema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Schema # toConstr :: Schema -> Constr # dataTypeOf :: Schema -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Schema) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Schema) # gmapT :: (forall b. Data b => b -> b) -> Schema -> Schema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r # gmapQ :: (forall d. Data d => d -> u) -> Schema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Schema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Schema -> m Schema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema #
Show Schema Source #
Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
Generic Schema Source #
Associated Types type Rep Schema :: * -> * # Methods from :: Schema -> Rep Schema x # to :: Rep Schema x -> Schema #
ToJSON Schema Source #
Methods toJSON :: Schema -> Value # toEncoding :: Schema -> Encoding # toJSONList :: [Schema] -> Value # toEncodingList :: [Schema] -> Encoding #
FromJSON Schema Source #
Methods parseJSON :: Value -> Parser Schema # parseJSONList :: Value -> Parser [Schema] #
ToSqlId (SqlContext (Schema, Domain)) Source #
Methods sqlId :: SqlContext (Schema, Domain) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Domain) -> Text Source #
ToSqlId (SqlContext (Schema, Function)) Source #
Methods sqlId :: SqlContext (Schema, Function) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Function) -> Text Source #
ToSqlId (SqlContext (Schema, Sequence)) Source #
Methods sqlId :: SqlContext (Schema, Sequence) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Sequence) -> Text Source #
ToSqlId (SqlContext (Schema, Table)) Source #
Methods sqlId :: SqlContext (Schema, Table) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Table) -> Text Source #
ToSqlId (SqlContext (Schema, Type)) Source #
Methods sqlId :: SqlContext (Schema, Type) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Type) -> Text Source #
ToSqlId (SqlContext (Schema, Table, Column)) Source #
Methods sqlId :: SqlContext (Schema, Table, Column) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Table, Column) -> Text Source #
ToSqlId (SqlContext Schema) Source #
Methods sqlId :: SqlContext Schema -> SqlId Source # sqlIdCode :: SqlContext Schema -> Text Source #
type Rep Schema Source #
type Rep Schema = D1 (MetaData "Schema" "Database.YamSql.Internal.Obj.Schema" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Schema" PrefixI True) ((::) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "schemaName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "schemaDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((::) (S1 (MetaSel (Just Symbol "schemaDependencies") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) ((::) (S1 (MetaSel (Just Symbol "schemaFunctions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Function]))) (S1 (MetaSel (Just Symbol "schemaFunctionTemplates") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [FunctionTpl])))))) ((::) ((::) (S1 (MetaSel (Just Symbol "schemaTables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Table]))) (S1 (MetaSel (Just Symbol "schemaTableTemplates") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [TableTpl])))) ((::) (S1 (MetaSel (Just Symbol "schemaRoles") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Role]))) ((::) (S1 (MetaSel (Just Symbol "schemaSequences") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Sequence]))) (S1 (MetaSel (Just Symbol "schemaPrivUsage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))))))) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "schemaPrivSelectAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "schemaPrivInsertAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName])))) ((::) (S1 (MetaSel (Just Symbol "schemaPrivUpdateAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) ((::) (S1 (MetaSel (Just Symbol "schemaPrivDeleteAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "schemaPrivSequenceAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName])))))) ((::) ((::) (S1 (MetaSel (Just Symbol "schemaPrivExecuteAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) ((::) (S1 (MetaSel (Just Symbol "schemaPrivAllAll") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "schemaDomains") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Domain]))))) ((::) (S1 (MetaSel (Just Symbol "schemaTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Type]))) ((::) (S1 (MetaSel (Just Symbol "schemaExecPostInstall") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "schemaExecPostInstallAndUpgrade") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))))))

data SQL_SCHEMA Source #

Constructors

SQL_SCHEMA

Instances

Show SQL_SCHEMA Source #
Methods showsPrec :: Int -> SQL_SCHEMA -> ShowS # show :: SQL_SCHEMA -> String # showList :: [SQL_SCHEMA] -> ShowS #
ToSqlCode SQL_SCHEMA Source #
Methods toSqlCode :: SQL_SCHEMA -> Text Source #
SqlObjType SQL_SCHEMA Source #

data Check Source #

Constructors

Check
Fields checkName :: SqlName checkDescription :: Text checkCheck :: Text

Instances

Data Check Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Check -> c Check # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Check # toConstr :: Check -> Constr # dataTypeOf :: Check -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Check) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Check) # gmapT :: (forall b. Data b => b -> b) -> Check -> Check # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Check -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Check -> r # gmapQ :: (forall d. Data d => d -> u) -> Check -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Check -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Check -> m Check # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Check -> m Check # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Check -> m Check #
Show Check Source #
Methods showsPrec :: Int -> Check -> ShowS # show :: Check -> String # showList :: [Check] -> ShowS #
Generic Check Source #
Associated Types type Rep Check :: * -> * # Methods from :: Check -> Rep Check x # to :: Rep Check x -> Check #
ToJSON Check Source #
Methods toJSON :: Check -> Value # toEncoding :: Check -> Encoding # toJSONList :: [Check] -> Value # toEncodingList :: [Check] -> Encoding #
FromJSON Check Source #
Methods parseJSON :: Value -> Parser Check # parseJSONList :: Value -> Parser [Check] #
type Rep Check Source #
type Rep Check = D1 (MetaData "Check" "Database.YamSql.Internal.Obj.Check" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Check" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "checkName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) ((::) (S1 (MetaSel (Just Symbol "checkDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "checkCheck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))

data Domain Source #

Domains are aliases of an existing SQL types, possibly with checks

Constructors

Domain
Fields domainName :: SqlName domainDescription :: Text domainType :: SqlType domainDefault :: Maybe Text domainChecks :: Maybe [Check]

Instances

Data Domain Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Domain -> c Domain # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Domain # toConstr :: Domain -> Constr # dataTypeOf :: Domain -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Domain) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Domain) # gmapT :: (forall b. Data b => b -> b) -> Domain -> Domain # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Domain -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Domain -> r # gmapQ :: (forall d. Data d => d -> u) -> Domain -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Domain -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Domain -> m Domain # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Domain -> m Domain # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Domain -> m Domain #
Show Domain Source #
Methods showsPrec :: Int -> Domain -> ShowS # show :: Domain -> String # showList :: [Domain] -> ShowS #
Generic Domain Source #
Associated Types type Rep Domain :: * -> * # Methods from :: Domain -> Rep Domain x # to :: Rep Domain x -> Domain #
ToJSON Domain Source #
Methods toJSON :: Domain -> Value # toEncoding :: Domain -> Encoding # toJSONList :: [Domain] -> Value # toEncodingList :: [Domain] -> Encoding #
FromJSON Domain Source #
Methods parseJSON :: Value -> Parser Domain # parseJSONList :: Value -> Parser [Domain] #
ToSqlId (SqlContext (Schema, Domain)) Source #
Methods sqlId :: SqlContext (Schema, Domain) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Domain) -> Text Source #
type Rep Domain Source #
type Rep Domain = D1 (MetaData "Domain" "Database.YamSql.Internal.Obj.Domain" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Domain" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "domainName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "domainDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((::) (S1 (MetaSel (Just Symbol "domainType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlType)) ((::) (S1 (MetaSel (Just Symbol "domainDefault") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "domainChecks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Check])))))))

data SQL_DOMAIN Source #

Constructors

SQL_DOMAIN

Instances

Show SQL_DOMAIN Source #
Methods showsPrec :: Int -> SQL_DOMAIN -> ShowS # show :: SQL_DOMAIN -> String # showList :: [SQL_DOMAIN] -> ShowS #
ToSqlCode SQL_DOMAIN Source #
Methods toSqlCode :: SQL_DOMAIN -> Text Source #
SqlObjType SQL_DOMAIN Source #

data SQL_DOMAIN_CONSTRAINT Source #

Constructors

SQL_DOMAIN_CONSTRAINT

Instances

Show SQL_DOMAIN_CONSTRAINT Source #
Methods showsPrec :: Int -> SQL_DOMAIN_CONSTRAINT -> ShowS # show :: SQL_DOMAIN_CONSTRAINT -> String # showList :: [SQL_DOMAIN_CONSTRAINT] -> ShowS #
ToSqlCode SQL_DOMAIN_CONSTRAINT Source #
Methods toSqlCode :: SQL_DOMAIN_CONSTRAINT -> Text Source #
SqlObjType SQL_DOMAIN_CONSTRAINT Source #

data Function Source #

Constructors

Function

Fields

functionName :: SqlName
functionDescription :: Text
description what the function is good for
functionReturns :: SqlType
return type of the function, TABLE is special (see return_columns)
functionParameters :: Maybe [Variable]
parameters the function takes
functionTemplates :: Maybe [SqlName]
list of templates, used for this function
functionTemplateData :: Maybe [FunctionTpl]
loaded templates, not designed for use via Yaml
TODO: move to xfunctionInternal
functionReturnsColumns :: Maybe [Parameter]
if return is TABLE, gives the columns that are returned (see parameter)
functionVariables :: Maybe [Variable]
variables that are defined (ignored if language is given)
functionPrivExecute :: Maybe [SqlName]
Role that has the privilege to execute the function
functionSecurityDefiner :: Maybe Bool
If true, the function is executed with the privileges of the owner! | Owner has to be given, if this is true (not implemented yet!)
functionOwner :: Maybe SqlName
owner of the function
functionLanguage :: Maybe Text
language in which the body is written if not defined, pgsql is assumed an variables must be defined via variables if pgsql is given explicitly, variables are your problem...
functionBody :: Maybe Text
the code of the function (body)

Instances

Data Function Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Function -> c Function # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Function # toConstr :: Function -> Constr # dataTypeOf :: Function -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Function) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Function) # gmapT :: (forall b. Data b => b -> b) -> Function -> Function # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Function -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Function -> r # gmapQ :: (forall d. Data d => d -> u) -> Function -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Function -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Function -> m Function # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Function -> m Function # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Function -> m Function #
Show Function Source #
Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Generic Function Source #
Associated Types type Rep Function :: * -> * # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
ToJSON Function Source #
Methods toJSON :: Function -> Value # toEncoding :: Function -> Encoding # toJSONList :: [Function] -> Value # toEncodingList :: [Function] -> Encoding #
FromJSON Function Source #
Methods parseJSON :: Value -> Parser Function # parseJSONList :: Value -> Parser [Function] #
ToSqlId (SqlContext (Schema, Function)) Source #
Methods sqlId :: SqlContext (Schema, Function) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Function) -> Text Source #
type Rep Function Source #
type Rep Function = D1 (MetaData "Function" "Database.YamSql.Internal.Obj.Function" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Function" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "functionName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) ((::) (S1 (MetaSel (Just Symbol "functionDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "functionReturns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlType)))) ((::) (S1 (MetaSel (Just Symbol "functionParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Variable]))) ((::) (S1 (MetaSel (Just Symbol "functionTemplates") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "functionTemplateData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [FunctionTpl])))))) ((::) ((::) (S1 (MetaSel (Just Symbol "functionReturnsColumns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Parameter]))) ((::) (S1 (MetaSel (Just Symbol "functionVariables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Variable]))) (S1 (MetaSel (Just Symbol "functionPrivExecute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))))) ((::) ((::) (S1 (MetaSel (Just Symbol "functionSecurityDefiner") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) (S1 (MetaSel (Just Symbol "functionOwner") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SqlName)))) ((::) (S1 (MetaSel (Just Symbol "functionLanguage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "functionBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))))))

data SQL_FUNCTION Source #

Constructors

SQL_FUNCTION

Instances

Show SQL_FUNCTION Source #
Methods showsPrec :: Int -> SQL_FUNCTION -> ShowS # show :: SQL_FUNCTION -> String # showList :: [SQL_FUNCTION] -> ShowS #
ToSqlCode SQL_FUNCTION Source #
Methods toSqlCode :: SQL_FUNCTION -> Text Source #
SqlObjType SQL_FUNCTION Source #

data FunctionTpl Source #

Constructors

FunctionTpl
Fields functiontplTemplate :: SqlName functiontplDescription :: Text functiontplLanguage :: Maybe Text functiontplParameters :: Maybe [Variable] functiontplVariables :: Maybe [Variable] functiontplPrivExecute :: Maybe [SqlName] functiontplSecurityDefiner :: Maybe Bool functiontplOwner :: Maybe SqlName functiontplBodyPrelude :: Maybe Text functiontplBodyPostlude :: Maybe Text

Instances

Data FunctionTpl Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionTpl -> c FunctionTpl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionTpl # toConstr :: FunctionTpl -> Constr # dataTypeOf :: FunctionTpl -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FunctionTpl) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionTpl) # gmapT :: (forall b. Data b => b -> b) -> FunctionTpl -> FunctionTpl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionTpl -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionTpl -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionTpl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionTpl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionTpl -> m FunctionTpl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionTpl -> m FunctionTpl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionTpl -> m FunctionTpl #
Show FunctionTpl Source #
Methods showsPrec :: Int -> FunctionTpl -> ShowS # show :: FunctionTpl -> String # showList :: [FunctionTpl] -> ShowS #
Generic FunctionTpl Source #
Associated Types type Rep FunctionTpl :: * -> * # Methods from :: FunctionTpl -> Rep FunctionTpl x # to :: Rep FunctionTpl x -> FunctionTpl #
ToJSON FunctionTpl Source #
Methods toJSON :: FunctionTpl -> Value # toEncoding :: FunctionTpl -> Encoding # toJSONList :: [FunctionTpl] -> Value # toEncodingList :: [FunctionTpl] -> Encoding #
FromJSON FunctionTpl Source #
Methods parseJSON :: Value -> Parser FunctionTpl # parseJSONList :: Value -> Parser [FunctionTpl] #
WithName (WithSchema FunctionTpl) Source #
Methods name :: WithSchema FunctionTpl -> Text Source #
type Rep FunctionTpl Source #
type Rep FunctionTpl = D1 (MetaData "FunctionTpl" "Database.YamSql.Internal.Obj.Function" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "FunctionTpl" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "functiontplTemplate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "functiontplDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((::) (S1 (MetaSel (Just Symbol "functiontplLanguage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) ((::) (S1 (MetaSel (Just Symbol "functiontplParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Variable]))) (S1 (MetaSel (Just Symbol "functiontplVariables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Variable])))))) ((::) ((::) (S1 (MetaSel (Just Symbol "functiontplPrivExecute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "functiontplSecurityDefiner") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))) ((::) (S1 (MetaSel (Just Symbol "functiontplOwner") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SqlName))) ((:*:) (S1 (MetaSel (Just Symbol "functiontplBodyPrelude") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "functiontplBodyPostlude") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))))))

applyFunctionTpl :: FunctionTpl -> Function -> Function Source #

data Role Source #

Constructors

Role
Fields roleName :: SqlName roleDescription :: Text roleLogin :: Maybe Bool rolePassword :: Maybe Text roleMemberIn :: Maybe [SqlName]

Instances

Data Role Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Role -> c Role # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Role # toConstr :: Role -> Constr # dataTypeOf :: Role -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Role) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Role) # gmapT :: (forall b. Data b => b -> b) -> Role -> Role # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Role -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Role -> r # gmapQ :: (forall d. Data d => d -> u) -> Role -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Role -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Role -> m Role # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Role -> m Role # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Role -> m Role #
Show Role Source #
Methods showsPrec :: Int -> Role -> ShowS # show :: Role -> String # showList :: [Role] -> ShowS #
Generic Role Source #
Associated Types type Rep Role :: * -> * # Methods from :: Role -> Rep Role x # to :: Rep Role x -> Role #
ToJSON Role Source #
Methods toJSON :: Role -> Value # toEncoding :: Role -> Encoding # toJSONList :: [Role] -> Value # toEncodingList :: [Role] -> Encoding #
FromJSON Role Source #
Methods parseJSON :: Value -> Parser Role # parseJSONList :: Value -> Parser [Role] #
ToSqlId (SqlContext Role) Source #
Methods sqlId :: SqlContext Role -> SqlId Source # sqlIdCode :: SqlContext Role -> Text Source #
type Rep Role Source #
type Rep Role = D1 (MetaData "Role" "Database.YamSql.Internal.Obj.Role" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Role" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "roleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "roleDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((::) (S1 (MetaSel (Just Symbol "roleLogin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) ((::) (S1 (MetaSel (Just Symbol "rolePassword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "roleMemberIn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName])))))))

data SQL_ROLE Source #

Constructors

SQL_ROLE

Instances

Show SQL_ROLE Source #
Methods showsPrec :: Int -> SQL_ROLE -> ShowS # show :: SQL_ROLE -> String # showList :: [SQL_ROLE] -> ShowS #
ToSqlCode SQL_ROLE Source #
Methods toSqlCode :: SQL_ROLE -> Text Source #
SqlObjType SQL_ROLE Source #

data SQL_ROLE_MEMBERSHIP Source #

Constructors

SQL_ROLE_MEMBERSHIP

Instances

Show SQL_ROLE_MEMBERSHIP Source #
Methods showsPrec :: Int -> SQL_ROLE_MEMBERSHIP -> ShowS # show :: SQL_ROLE_MEMBERSHIP -> String # showList :: [SQL_ROLE_MEMBERSHIP] -> ShowS #
ToSqlCode SQL_ROLE_MEMBERSHIP Source #
Methods toSqlCode :: SQL_ROLE_MEMBERSHIP -> Text Source #
SqlObjType SQL_ROLE_MEMBERSHIP Source #

data Sequence Source #

Constructors

Sequence
Fields sequenceName :: SqlName sequenceIncrement :: Maybe Int sequenceMinValue :: Maybe Int sequenceMaxValue :: Maybe Int sequenceStartValue :: Maybe Int sequenceCache :: Maybe Int sequenceCycle :: Maybe Bool sequenceOwnedByColumn :: Maybe SqlName

Instances

Data Sequence Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sequence -> c Sequence # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sequence # toConstr :: Sequence -> Constr # dataTypeOf :: Sequence -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Sequence) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sequence) # gmapT :: (forall b. Data b => b -> b) -> Sequence -> Sequence # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sequence -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sequence -> r # gmapQ :: (forall d. Data d => d -> u) -> Sequence -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Sequence -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sequence -> m Sequence # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sequence -> m Sequence # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sequence -> m Sequence #
Show Sequence Source #
Methods showsPrec :: Int -> Sequence -> ShowS # show :: Sequence -> String # showList :: [Sequence] -> ShowS #
Generic Sequence Source #
Associated Types type Rep Sequence :: * -> * # Methods from :: Sequence -> Rep Sequence x # to :: Rep Sequence x -> Sequence #
ToJSON Sequence Source #
Methods toJSON :: Sequence -> Value # toEncoding :: Sequence -> Encoding # toJSONList :: [Sequence] -> Value # toEncodingList :: [Sequence] -> Encoding #
FromJSON Sequence Source #
Methods parseJSON :: Value -> Parser Sequence # parseJSONList :: Value -> Parser [Sequence] #
ToSqlId (SqlContext (Schema, Sequence)) Source #
Methods sqlId :: SqlContext (Schema, Sequence) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Sequence) -> Text Source #
type Rep Sequence Source #
type Rep Sequence = D1 (MetaData "Sequence" "Database.YamSql.Internal.Obj.Sequence" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Sequence" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "sequenceName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "sequenceIncrement") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int)))) ((::) (S1 (MetaSel (Just Symbol "sequenceMinValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) (S1 (MetaSel (Just Symbol "sequenceMaxValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))))) ((::) ((::) (S1 (MetaSel (Just Symbol "sequenceStartValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) (S1 (MetaSel (Just Symbol "sequenceCache") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int)))) ((:*:) (S1 (MetaSel (Just Symbol "sequenceCycle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) (S1 (MetaSel (Just Symbol "sequenceOwnedByColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SqlName)))))))

data SQL_SEQUENCE Source #

Constructors

SQL_SEQUENCE

Instances

Show SQL_SEQUENCE Source #
Methods showsPrec :: Int -> SQL_SEQUENCE -> ShowS # show :: SQL_SEQUENCE -> String # showList :: [SQL_SEQUENCE] -> ShowS #
ToSqlCode SQL_SEQUENCE Source #
Methods toSqlCode :: SQL_SEQUENCE -> Text Source #
SqlObjType SQL_SEQUENCE Source #

data Table Source #

Constructors

Table

Fields

Instances

Data Table Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Table -> c Table # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Table # toConstr :: Table -> Constr # dataTypeOf :: Table -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Table) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Table) # gmapT :: (forall b. Data b => b -> b) -> Table -> Table # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Table -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Table -> r # gmapQ :: (forall d. Data d => d -> u) -> Table -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Table -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Table -> m Table # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Table -> m Table # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Table -> m Table #
Show Table Source #
Methods showsPrec :: Int -> Table -> ShowS # show :: Table -> String # showList :: [Table] -> ShowS #
Generic Table Source #
Associated Types type Rep Table :: * -> * # Methods from :: Table -> Rep Table x # to :: Rep Table x -> Table #
ToJSON Table Source #
Methods toJSON :: Table -> Value # toEncoding :: Table -> Encoding # toJSONList :: [Table] -> Value # toEncodingList :: [Table] -> Encoding #
FromJSON Table Source #
Methods parseJSON :: Value -> Parser Table # parseJSONList :: Value -> Parser [Table] #
ToSqlId (SqlContext (Schema, Table)) Source #
Methods sqlId :: SqlContext (Schema, Table) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Table) -> Text Source #
ToSqlId (SqlContext (Schema, Table, Column)) Source #
Methods sqlId :: SqlContext (Schema, Table, Column) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Table, Column) -> Text Source #
type Rep Table Source #
type Rep Table = D1 (MetaData "Table" "Database.YamSql.Internal.Obj.Table" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Table" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "tableName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) ((::) (S1 (MetaSel (Just Symbol "tableDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "tableColumns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Column])))) ((::) ((::) (S1 (MetaSel (Just Symbol "tablePrimaryKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SqlName])) (S1 (MetaSel (Just Symbol "tableUnique") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [UniqueKey])))) ((::) (S1 (MetaSel (Just Symbol "tableForeignKeys") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [ForeignKey]))) (S1 (MetaSel (Just Symbol "tableChecks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Check])))))) ((::) ((::) (S1 (MetaSel (Just Symbol "tableInherits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) ((::) (S1 (MetaSel (Just Symbol "tablePrivSelect") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "tablePrivInsert") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))))) ((::) ((::) (S1 (MetaSel (Just Symbol "tablePrivUpdate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "tablePrivDelete") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName])))) ((:*:) (S1 (MetaSel (Just Symbol "tableTemplates") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "tableTemplateData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [TableTpl]))))))))

data SQL_TABLE Source #

Constructors

SQL_TABLE

Instances

Show SQL_TABLE Source #
Methods showsPrec :: Int -> SQL_TABLE -> ShowS # show :: SQL_TABLE -> String # showList :: [SQL_TABLE] -> ShowS #
ToSqlCode SQL_TABLE Source #
Methods toSqlCode :: SQL_TABLE -> Text Source #
SqlObjType SQL_TABLE Source #

data TableTpl Source #

Constructors

TableTpl
Fields tabletplTemplate :: SqlName tabletplDescription :: Text tabletplForeignKeys :: Maybe [ForeignKey] tabletplInherits :: Maybe [SqlName] tabletplColumns :: Maybe [Column] tabletplChecks :: Maybe [Check] tabletplPrivSelect :: Maybe [SqlName] tabletplPrivInsert :: Maybe [SqlName] tabletplPrivUpdate :: Maybe [SqlName] tabletplPrivDelete :: Maybe [SqlName]

Instances

Data TableTpl Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableTpl -> c TableTpl # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableTpl # toConstr :: TableTpl -> Constr # dataTypeOf :: TableTpl -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TableTpl) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableTpl) # gmapT :: (forall b. Data b => b -> b) -> TableTpl -> TableTpl # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableTpl -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableTpl -> r # gmapQ :: (forall d. Data d => d -> u) -> TableTpl -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableTpl -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableTpl -> m TableTpl # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableTpl -> m TableTpl # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableTpl -> m TableTpl #
Show TableTpl Source #
Methods showsPrec :: Int -> TableTpl -> ShowS # show :: TableTpl -> String # showList :: [TableTpl] -> ShowS #
Generic TableTpl Source #
Associated Types type Rep TableTpl :: * -> * # Methods from :: TableTpl -> Rep TableTpl x # to :: Rep TableTpl x -> TableTpl #
ToJSON TableTpl Source #
Methods toJSON :: TableTpl -> Value # toEncoding :: TableTpl -> Encoding # toJSONList :: [TableTpl] -> Value # toEncodingList :: [TableTpl] -> Encoding #
FromJSON TableTpl Source #
Methods parseJSON :: Value -> Parser TableTpl # parseJSONList :: Value -> Parser [TableTpl] #
WithName (WithSchema TableTpl) Source #
Methods name :: WithSchema TableTpl -> Text Source #
type Rep TableTpl Source #
type Rep TableTpl = D1 (MetaData "TableTpl" "Database.YamSql.Internal.Obj.Table" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "TableTpl" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "tabletplTemplate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "tabletplDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((::) (S1 (MetaSel (Just Symbol "tabletplForeignKeys") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [ForeignKey]))) ((::) (S1 (MetaSel (Just Symbol "tabletplInherits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "tabletplColumns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Column])))))) ((::) ((::) (S1 (MetaSel (Just Symbol "tabletplChecks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Check]))) (S1 (MetaSel (Just Symbol "tabletplPrivSelect") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName])))) ((::) (S1 (MetaSel (Just Symbol "tabletplPrivInsert") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) ((:*:) (S1 (MetaSel (Just Symbol "tabletplPrivUpdate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))) (S1 (MetaSel (Just Symbol "tabletplPrivDelete") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [SqlName]))))))))

data Column Source #

Constructors

Column
Fields columnName :: SqlName columnType :: SqlType columnDescription :: Text columnDefault :: Maybe Text columnNull :: Maybe Bool columnReferences :: Maybe SqlName columnOnRefDelete :: Maybe Text columnOnRefUpdate :: Maybe Text columnUnique :: Maybe Bool columnChecks :: Maybe [Check]

Instances

Data Column Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Column -> c Column # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Column # toConstr :: Column -> Constr # dataTypeOf :: Column -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Column) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Column) # gmapT :: (forall b. Data b => b -> b) -> Column -> Column # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Column -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Column -> r # gmapQ :: (forall d. Data d => d -> u) -> Column -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Column -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Column -> m Column # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Column -> m Column # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Column -> m Column #
Show Column Source #
Methods showsPrec :: Int -> Column -> ShowS # show :: Column -> String # showList :: [Column] -> ShowS #
Generic Column Source #
Associated Types type Rep Column :: * -> * # Methods from :: Column -> Rep Column x # to :: Rep Column x -> Column #
ToJSON Column Source #
Methods toJSON :: Column -> Value # toEncoding :: Column -> Encoding # toJSONList :: [Column] -> Value # toEncodingList :: [Column] -> Encoding #
FromJSON Column Source #
Methods parseJSON :: Value -> Parser Column # parseJSONList :: Value -> Parser [Column] #
ToSqlId (SqlContext (Schema, Table, Column)) Source #
Methods sqlId :: SqlContext (Schema, Table, Column) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Table, Column) -> Text Source #
type Rep Column Source #
type Rep Column = D1 (MetaData "Column" "Database.YamSql.Internal.Obj.Table" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Column" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "columnName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "columnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlType))) ((::) (S1 (MetaSel (Just Symbol "columnDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) ((::) (S1 (MetaSel (Just Symbol "columnDefault") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "columnNull") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))))) ((::) ((::) (S1 (MetaSel (Just Symbol "columnReferences") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SqlName))) (S1 (MetaSel (Just Symbol "columnOnRefDelete") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) ((::) (S1 (MetaSel (Just Symbol "columnOnRefUpdate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) ((:*:) (S1 (MetaSel (Just Symbol "columnUnique") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) (S1 (MetaSel (Just Symbol "columnChecks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Check]))))))))

data SQL_COLUMN Source #

Constructors

SQL_COLUMN

Instances

Show SQL_COLUMN Source #
Methods showsPrec :: Int -> SQL_COLUMN -> ShowS # show :: SQL_COLUMN -> String # showList :: [SQL_COLUMN] -> ShowS #
ToSqlCode SQL_COLUMN Source #
Methods toSqlCode :: SQL_COLUMN -> Text Source #
SqlObjType SQL_COLUMN Source #

applyTableTpl :: TableTpl -> Table -> Table Source #

data UniqueKey Source #

Constructors

UniqueKey
Fields uniquekeyName :: SqlName uniquekeyColumns :: [SqlName]

Instances

Data UniqueKey Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UniqueKey -> c UniqueKey # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UniqueKey # toConstr :: UniqueKey -> Constr # dataTypeOf :: UniqueKey -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c UniqueKey) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UniqueKey) # gmapT :: (forall b. Data b => b -> b) -> UniqueKey -> UniqueKey # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UniqueKey -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UniqueKey -> r # gmapQ :: (forall d. Data d => d -> u) -> UniqueKey -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UniqueKey -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UniqueKey -> m UniqueKey # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UniqueKey -> m UniqueKey # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UniqueKey -> m UniqueKey #
Show UniqueKey Source #
Methods showsPrec :: Int -> UniqueKey -> ShowS # show :: UniqueKey -> String # showList :: [UniqueKey] -> ShowS #
Generic UniqueKey Source #
Associated Types type Rep UniqueKey :: * -> * # Methods from :: UniqueKey -> Rep UniqueKey x # to :: Rep UniqueKey x -> UniqueKey #
ToJSON UniqueKey Source #
Methods toJSON :: UniqueKey -> Value # toEncoding :: UniqueKey -> Encoding # toJSONList :: [UniqueKey] -> Value # toEncodingList :: [UniqueKey] -> Encoding #
FromJSON UniqueKey Source #
Methods parseJSON :: Value -> Parser UniqueKey # parseJSONList :: Value -> Parser [UniqueKey] #
type Rep UniqueKey Source #
type Rep UniqueKey = D1 (MetaData "UniqueKey" "Database.YamSql.Internal.Obj.Table" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "UniqueKey" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "uniquekeyName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "uniquekeyColumns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SqlName]))))

data ForeignKey Source #

Constructors

ForeignKey
Fields foreignkeyName :: SqlName foreignkeyColumns :: [SqlName] foreignkeyRefTable :: SqlName foreignkeyRefColumns :: [SqlName] foreignkeyOnDelete :: Maybe Text foreignkeyOnUpdate :: Maybe Text

Instances

Data ForeignKey Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignKey -> c ForeignKey # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForeignKey # toConstr :: ForeignKey -> Constr # dataTypeOf :: ForeignKey -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ForeignKey) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForeignKey) # gmapT :: (forall b. Data b => b -> b) -> ForeignKey -> ForeignKey # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignKey -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignKey -> r # gmapQ :: (forall d. Data d => d -> u) -> ForeignKey -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignKey -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignKey -> m ForeignKey # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignKey -> m ForeignKey # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignKey -> m ForeignKey #
Show ForeignKey Source #
Methods showsPrec :: Int -> ForeignKey -> ShowS # show :: ForeignKey -> String # showList :: [ForeignKey] -> ShowS #
Generic ForeignKey Source #
Associated Types type Rep ForeignKey :: * -> * # Methods from :: ForeignKey -> Rep ForeignKey x # to :: Rep ForeignKey x -> ForeignKey #
ToJSON ForeignKey Source #
Methods toJSON :: ForeignKey -> Value # toEncoding :: ForeignKey -> Encoding # toJSONList :: [ForeignKey] -> Value # toEncodingList :: [ForeignKey] -> Encoding #
FromJSON ForeignKey Source #
Methods parseJSON :: Value -> Parser ForeignKey # parseJSONList :: Value -> Parser [ForeignKey] #
type Rep ForeignKey Source #
type Rep ForeignKey = D1 (MetaData "ForeignKey" "Database.YamSql.Internal.Obj.Table" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "ForeignKey" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "foreignkeyName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) ((::) (S1 (MetaSel (Just Symbol "foreignkeyColumns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SqlName])) (S1 (MetaSel (Just Symbol "foreignkeyRefTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)))) ((::) (S1 (MetaSel (Just Symbol "foreignkeyRefColumns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SqlName])) ((:*:) (S1 (MetaSel (Just Symbol "foreignkeyOnDelete") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "foreignkeyOnUpdate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))))

data SQL_TABLE_CONSTRAINT Source #

Constructors

SQL_TABLE_CONSTRAINT

Instances

Show SQL_TABLE_CONSTRAINT Source #
Methods showsPrec :: Int -> SQL_TABLE_CONSTRAINT -> ShowS # show :: SQL_TABLE_CONSTRAINT -> String # showList :: [SQL_TABLE_CONSTRAINT] -> ShowS #
ToSqlCode SQL_TABLE_CONSTRAINT Source #
Methods toSqlCode :: SQL_TABLE_CONSTRAINT -> Text Source #
SqlObjType SQL_TABLE_CONSTRAINT Source #

data Type Source #

Constructors

Type
Fields typeName :: SqlName typeDescription :: Text typeElements :: [TypeElement]

Instances

Data Type Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Associated Types type Rep Type :: * -> * # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
ToJSON Type Source #
Methods toJSON :: Type -> Value # toEncoding :: Type -> Encoding # toJSONList :: [Type] -> Value # toEncodingList :: [Type] -> Encoding #
FromJSON Type Source #
Methods parseJSON :: Value -> Parser Type # parseJSONList :: Value -> Parser [Type] #
ToSqlId (SqlContext (Schema, Type)) Source #
Methods sqlId :: SqlContext (Schema, Type) -> SqlId Source # sqlIdCode :: SqlContext (Schema, Type) -> Text Source #
type Rep Type Source #
type Rep Type = D1 (MetaData "Type" "Database.YamSql.Internal.Obj.Type" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "Type" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "typeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) ((::) (S1 (MetaSel (Just Symbol "typeDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Just Symbol "typeElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeElement])))))

data TypeElement Source #

Constructors

TypeElement
Fields typeelementName :: SqlName typeelementType :: SqlType

Instances

Data TypeElement Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeElement -> c TypeElement # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeElement # toConstr :: TypeElement -> Constr # dataTypeOf :: TypeElement -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TypeElement) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeElement) # gmapT :: (forall b. Data b => b -> b) -> TypeElement -> TypeElement # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeElement -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeElement -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeElement -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeElement -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeElement -> m TypeElement # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeElement -> m TypeElement # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeElement -> m TypeElement #
Show TypeElement Source #
Methods showsPrec :: Int -> TypeElement -> ShowS # show :: TypeElement -> String # showList :: [TypeElement] -> ShowS #
Generic TypeElement Source #
Associated Types type Rep TypeElement :: * -> * # Methods from :: TypeElement -> Rep TypeElement x # to :: Rep TypeElement x -> TypeElement #
ToJSON TypeElement Source #
Methods toJSON :: TypeElement -> Value # toEncoding :: TypeElement -> Encoding # toJSONList :: [TypeElement] -> Value # toEncodingList :: [TypeElement] -> Encoding #
FromJSON TypeElement Source #
Methods parseJSON :: Value -> Parser TypeElement # parseJSONList :: Value -> Parser [TypeElement] #
type Rep TypeElement Source #
type Rep TypeElement = D1 (MetaData "TypeElement" "Database.YamSql.Internal.Obj.Type" "hamsql-0.9.0.0-Awb9FWiLMC5A5FEzDLLpRc" False) (C1 (MetaCons "TypeElement" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "typeelementName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlName)) (S1 (MetaSel (Just Symbol "typeelementType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SqlType))))

data SQL_TYPE Source #

Constructors

SQL_TYPE

Instances

Show SQL_TYPE Source #
Methods showsPrec :: Int -> SQL_TYPE -> ShowS # show :: SQL_TYPE -> String # showList :: [SQL_TYPE] -> ShowS #
ToSqlCode SQL_TYPE Source #
Methods toSqlCode :: SQL_TYPE -> Text Source #
SqlObjType SQL_TYPE Source #

module Database.YamSql.Internal.SqlId

module Database.YamSql.Internal.Commons