Database.YamSql.Internal.Obj.Table

Documentation

data Table

Constructors

Table

Fields

• tableName :: SqlName
• tableDescription :: Text
• tableColumns :: [Column]
• tablePrimaryKey :: [SqlName]
• tableUnique :: Maybe [UniqueKey]
• tableForeignKeys :: Maybe [ForeignKey]
• tableChecks :: Maybe [Check]
• tableInherits :: Maybe [SqlName]
• tablePrivSelect :: Maybe [SqlName]
• tablePrivInsert :: Maybe [SqlName]
• tablePrivUpdate :: Maybe [SqlName]
• tablePrivDelete :: Maybe [SqlName]
• tableTemplates :: Maybe [SqlName]
• tableTemplateData :: Maybe [TableTpl]

Instances

Data Table

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

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

Generic Table

Associated Types

type Rep Table :: * -> *

Methods

from :: Table -> Rep Table x

to :: Rep Table x -> Table

FromJSON Table

Methods

parseJSON :: Value -> Parser Table

parseJSONList :: Value -> Parser [Table]

ToJSON Table

Methods

toJSON :: Table -> Value

toEncoding :: Table -> Encoding

toJSONList :: [Table] -> Value

toEncodingList :: [Table] -> Encoding

ToSqlId (SqlContext (Schema, Table))

Methods

sqlId :: SqlContext (Schema, Table) -> SqlId

sqlIdCode :: SqlContext (Schema, Table) -> Text

ToSqlId (SqlContext (Schema, Table, Column))

Methods

sqlId :: SqlContext (Schema, Table, Column) -> SqlId

sqlIdCode :: SqlContext (Schema, Table, Column) -> Text

type Rep Table

type Rep Table = D1 (MetaData "Table" "Database.YamSql.Internal.Obj.Table" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" 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

Constructors

SQL_TABLE

Instances

Show SQL_TABLE

Methods

showsPrec :: Int -> SQL_TABLE -> ShowS

show :: SQL_TABLE -> String

showList :: [SQL_TABLE] -> ShowS

ToSqlCode SQL_TABLE

Methods

toSqlCode :: SQL_TABLE -> Text

SqlObjType SQL_TABLE

data TableTpl

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

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

Methods

showsPrec :: Int -> TableTpl -> ShowS

show :: TableTpl -> String

showList :: [TableTpl] -> ShowS

Generic TableTpl

Associated Types

type Rep TableTpl :: * -> *

Methods

from :: TableTpl -> Rep TableTpl x

to :: Rep TableTpl x -> TableTpl

FromJSON TableTpl

Methods

parseJSON :: Value -> Parser TableTpl

parseJSONList :: Value -> Parser [TableTpl]

ToJSON TableTpl

Methods

toJSON :: TableTpl -> Value

toEncoding :: TableTpl -> Encoding

toJSONList :: [TableTpl] -> Value

toEncodingList :: [TableTpl] -> Encoding

WithName (WithSchema TableTpl)

Methods

name :: WithSchema TableTpl -> Text

type Rep TableTpl

type Rep TableTpl = D1 (MetaData "TableTpl" "Database.YamSql.Internal.Obj.Table" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" 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

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

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

Methods

showsPrec :: Int -> Column -> ShowS

show :: Column -> String

showList :: [Column] -> ShowS

Generic Column

Associated Types

type Rep Column :: * -> *

Methods

from :: Column -> Rep Column x

to :: Rep Column x -> Column

FromJSON Column

Methods

parseJSON :: Value -> Parser Column

parseJSONList :: Value -> Parser [Column]

ToJSON Column

Methods

toJSON :: Column -> Value

toEncoding :: Column -> Encoding

toJSONList :: [Column] -> Value

toEncodingList :: [Column] -> Encoding

ToSqlId (SqlContext (Schema, Table, Column))

Methods

sqlId :: SqlContext (Schema, Table, Column) -> SqlId

sqlIdCode :: SqlContext (Schema, Table, Column) -> Text

type Rep Column

type Rep Column = D1 (MetaData "Column" "Database.YamSql.Internal.Obj.Table" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" 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

Constructors

SQL_COLUMN

Instances

Show SQL_COLUMN

Methods

showsPrec :: Int -> SQL_COLUMN -> ShowS

show :: SQL_COLUMN -> String

showList :: [SQL_COLUMN] -> ShowS

ToSqlCode SQL_COLUMN

Methods

toSqlCode :: SQL_COLUMN -> Text

SqlObjType SQL_COLUMN

applyTableTpl :: TableTpl -> Table -> Table

data UniqueKey

Constructors

UniqueKey

Fields

• uniquekeyName :: SqlName
• uniquekeyColumns :: [SqlName]

Instances

Data UniqueKey

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

Methods

showsPrec :: Int -> UniqueKey -> ShowS

show :: UniqueKey -> String

showList :: [UniqueKey] -> ShowS

Generic UniqueKey

Associated Types

type Rep UniqueKey :: * -> *

Methods

from :: UniqueKey -> Rep UniqueKey x

to :: Rep UniqueKey x -> UniqueKey

FromJSON UniqueKey

Methods

parseJSON :: Value -> Parser UniqueKey

parseJSONList :: Value -> Parser [UniqueKey]

ToJSON UniqueKey

Methods

toJSON :: UniqueKey -> Value

toEncoding :: UniqueKey -> Encoding

toJSONList :: [UniqueKey] -> Value

toEncodingList :: [UniqueKey] -> Encoding

type Rep UniqueKey

type Rep UniqueKey = D1 (MetaData "UniqueKey" "Database.YamSql.Internal.Obj.Table" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" 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

Constructors

ForeignKey

Fields

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

Instances

Data ForeignKey

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

Methods

showsPrec :: Int -> ForeignKey -> ShowS

show :: ForeignKey -> String

showList :: [ForeignKey] -> ShowS

Generic ForeignKey

Associated Types

type Rep ForeignKey :: * -> *

Methods

from :: ForeignKey -> Rep ForeignKey x

to :: Rep ForeignKey x -> ForeignKey

FromJSON ForeignKey

Methods

parseJSON :: Value -> Parser ForeignKey

parseJSONList :: Value -> Parser [ForeignKey]

ToJSON ForeignKey

Methods

toJSON :: ForeignKey -> Value

toEncoding :: ForeignKey -> Encoding

toJSONList :: [ForeignKey] -> Value

toEncodingList :: [ForeignKey] -> Encoding

type Rep ForeignKey

type Rep ForeignKey = D1 (MetaData "ForeignKey" "Database.YamSql.Internal.Obj.Table" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" 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

Constructors

SQL_TABLE_CONSTRAINT

Instances

Show SQL_TABLE_CONSTRAINT

Methods

showsPrec :: Int -> SQL_TABLE_CONSTRAINT -> ShowS

show :: SQL_TABLE_CONSTRAINT -> String

showList :: [SQL_TABLE_CONSTRAINT] -> ShowS

ToSqlCode SQL_TABLE_CONSTRAINT

Methods

toSqlCode :: SQL_TABLE_CONSTRAINT -> Text

SqlObjType SQL_TABLE_CONSTRAINT