Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Show a => ToSqlId a where
- class (Typeable a, ToSqlCode a, Eq a, Show a) => SqlIdContent a
- data SqlId where
- SqlId :: (SqlObjType a, SqlIdContent b) => SqlObj a b -> SqlId
- sqlIdShowType :: SqlId -> Text
- sqlIdTypeCode :: SqlId -> Text
- data SqlContext a = SqlContext a
- class (Typeable a, ToSqlCode a, Show a) => SqlObjType a
- data SqlObj a b where
- SqlObj :: (SqlObjType a, SqlIdContent b) => {..} -> SqlObj a b
- unsafePlainName :: SqlName -> Text
- (<.>) :: SqlName -> SqlName -> SqlName
- expSqlName :: SqlName -> [SqlName]
- contSqlName :: [SqlName] -> SqlName
- toSqlCode' :: [SqlName] -> Text
- class ToSqlCode a where
- class ToSqlName a where
- class SqlIdentifierConcat a where
- newtype SqlName = SqlName Text
- newtype SqlType = SqlType Text
Documentation
class Show a => ToSqlId a where Source #
Idable
ToSqlId SqlId Source # | |
ToSqlId SqlStmt Source # | |
ToSqlId (SqlContext (Schema, Domain)) Source # | |
ToSqlId (SqlContext (Schema, Function)) Source # | |
ToSqlId (SqlContext (Schema, Sequence)) Source # | |
ToSqlId (SqlContext (Schema, Table)) Source # | |
ToSqlId (SqlContext (Schema, Type)) Source # | |
ToSqlId (SqlContext (Schema, Table, Column)) Source # | |
ToSqlId (SqlContext Role) Source # | |
ToSqlId (SqlContext Schema) Source # | |
(SqlObjType a, SqlIdContent b) => ToSqlId (SqlObj a b) Source # | |
SqlId
SqlId :: (SqlObjType a, SqlIdContent b) => SqlObj a b -> SqlId |
sqlIdShowType :: SqlId -> Text Source #
sqlIdTypeCode :: SqlId -> Text Source #
data SqlContext a Source #
Show (SqlContext a) Source # | |
ToSqlId (SqlContext (Schema, Domain)) Source # | |
ToSqlId (SqlContext (Schema, Function)) Source # | |
ToSqlId (SqlContext (Schema, Sequence)) Source # | |
ToSqlId (SqlContext (Schema, Table)) Source # | |
ToSqlId (SqlContext (Schema, Type)) Source # | |
ToSqlId (SqlContext (Schema, Table, Column)) Source # | |
ToSqlId (SqlContext Role) Source # | |
ToSqlId (SqlContext Schema) Source # | |
class (Typeable a, ToSqlCode a, Show a) => SqlObjType a Source #
data SqlObj a b where Source #
SqlObj :: (SqlObjType a, SqlIdContent b) => {..} -> SqlObj a b | |
|
unsafePlainName :: SqlName -> Text Source #
expSqlName :: SqlName -> [SqlName] Source #
contSqlName :: [SqlName] -> SqlName Source #
toSqlCode' :: [SqlName] -> Text Source #
class ToSqlCode a where Source #
class SqlIdentifierConcat a where Source #