hamsql-0.8.0.0: HamSql
Database.YamSql.Internal.Obj.Table
data Table Source #
Constructors
Fields
Instances
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 #
showsPrec :: Int -> Table -> ShowS #
show :: Table -> String #
showList :: [Table] -> ShowS #
Associated Types
type Rep Table :: * -> * #
from :: Table -> Rep Table x #
to :: Rep Table x -> Table #
parseJSON :: Value -> Parser Table #
parseJSONList :: Value -> Parser [Table] #
toJSON :: Table -> Value #
toEncoding :: Table -> Encoding #
toJSONList :: [Table] -> Value #
toEncodingList :: [Table] -> Encoding #
sqlId :: SqlContext (Schema, Table) -> SqlId Source #
sqlIdCode :: SqlContext (Schema, Table) -> Text Source #
sqlId :: SqlContext (Schema, Table, Column) -> SqlId Source #
sqlIdCode :: SqlContext (Schema, Table, Column) -> Text Source #
data SQL_TABLE Source #
showsPrec :: Int -> SQL_TABLE -> ShowS #
show :: SQL_TABLE -> String #
showList :: [SQL_TABLE] -> ShowS #
toSqlCode :: SQL_TABLE -> Text Source #
data TableTpl Source #
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 #
showsPrec :: Int -> TableTpl -> ShowS #
show :: TableTpl -> String #
showList :: [TableTpl] -> ShowS #
type Rep TableTpl :: * -> * #
from :: TableTpl -> Rep TableTpl x #
to :: Rep TableTpl x -> TableTpl #
parseJSON :: Value -> Parser TableTpl #
parseJSONList :: Value -> Parser [TableTpl] #
toJSON :: TableTpl -> Value #
toEncoding :: TableTpl -> Encoding #
toJSONList :: [TableTpl] -> Value #
toEncodingList :: [TableTpl] -> Encoding #
name :: WithSchema TableTpl -> Text Source #
data Column Source #
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 #
showsPrec :: Int -> Column -> ShowS #
show :: Column -> String #
showList :: [Column] -> ShowS #
type Rep Column :: * -> * #
from :: Column -> Rep Column x #
to :: Rep Column x -> Column #
parseJSON :: Value -> Parser Column #
parseJSONList :: Value -> Parser [Column] #
toJSON :: Column -> Value #
toEncoding :: Column -> Encoding #
toJSONList :: [Column] -> Value #
toEncodingList :: [Column] -> Encoding #
data SQL_COLUMN Source #
showsPrec :: Int -> SQL_COLUMN -> ShowS #
show :: SQL_COLUMN -> String #
showList :: [SQL_COLUMN] -> ShowS #
toSqlCode :: SQL_COLUMN -> Text Source #
applyTableTpl :: TableTpl -> Table -> Table Source #
data UniqueKey Source #
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 #
showsPrec :: Int -> UniqueKey -> ShowS #
show :: UniqueKey -> String #
showList :: [UniqueKey] -> ShowS #
type Rep UniqueKey :: * -> * #
from :: UniqueKey -> Rep UniqueKey x #
to :: Rep UniqueKey x -> UniqueKey #
parseJSON :: Value -> Parser UniqueKey #
parseJSONList :: Value -> Parser [UniqueKey] #
toJSON :: UniqueKey -> Value #
toEncoding :: UniqueKey -> Encoding #
toJSONList :: [UniqueKey] -> Value #
toEncodingList :: [UniqueKey] -> Encoding #
data ForeignKey Source #
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 #
showsPrec :: Int -> ForeignKey -> ShowS #
show :: ForeignKey -> String #
showList :: [ForeignKey] -> ShowS #
type Rep ForeignKey :: * -> * #
from :: ForeignKey -> Rep ForeignKey x #
to :: Rep ForeignKey x -> ForeignKey #
parseJSON :: Value -> Parser ForeignKey #
parseJSONList :: Value -> Parser [ForeignKey] #
toJSON :: ForeignKey -> Value #
toEncoding :: ForeignKey -> Encoding #
toJSONList :: [ForeignKey] -> Value #
toEncodingList :: [ForeignKey] -> Encoding #
data SQL_TABLE_CONSTRAINT Source #
showsPrec :: Int -> SQL_TABLE_CONSTRAINT -> ShowS #
show :: SQL_TABLE_CONSTRAINT -> String #
showList :: [SQL_TABLE_CONSTRAINT] -> ShowS #
toSqlCode :: SQL_TABLE_CONSTRAINT -> Text Source #