hamsql-0.8.0.0: HamSql

Safe HaskellNone
LanguageHaskell2010

Database.YamSql.Internal.SqlId

Synopsis

Documentation

class Show a => ToSqlId a where Source #

Idable

Minimal complete definition

sqlId

Methods

sqlId :: a -> SqlId Source #

sqlIdCode :: a -> Text Source #

Instances

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 # 

Methods

sqlId :: SqlObj a b -> SqlId Source #

sqlIdCode :: SqlObj a b -> Text Source #

data SqlId where Source #

SqlId

Constructors

SqlId :: (SqlObjType a, SqlIdContent b) => SqlObj a b -> SqlId 

data SqlContext a Source #

Constructors

SqlContext a 

data SqlObj a b where Source #

Constructors

SqlObj :: (SqlObjType a, SqlIdContent b) => {..} -> SqlObj a b 

Fields

Instances

Eq (SqlObj a b) Source # 

Methods

(==) :: SqlObj a b -> SqlObj a b -> Bool #

(/=) :: SqlObj a b -> SqlObj a b -> Bool #

Show (SqlObj a b) Source # 

Methods

showsPrec :: Int -> SqlObj a b -> ShowS #

show :: SqlObj a b -> String #

showList :: [SqlObj a b] -> ShowS #

ToSqlCode (SqlObj a b) Source # 

Methods

toSqlCode :: SqlObj a b -> Text Source #

(SqlObjType a, SqlIdContent b) => ToSqlId (SqlObj a b) Source # 

Methods

sqlId :: SqlObj a b -> SqlId Source #

sqlIdCode :: SqlObj a b -> Text Source #

class ToSqlCode a where Source #

Minimal complete definition

toSqlCode

Methods

toSqlCode :: a -> Text Source #

Instances

ToSqlCode SqlType Source # 
ToSqlCode SqlName Source # 
ToSqlCode SqlId Source # 

Methods

toSqlCode :: SqlId -> Text Source #

ToSqlCode SQL_DOMAIN_CONSTRAINT Source # 
ToSqlCode SQL_DOMAIN Source # 
ToSqlCode SQL_FUNCTION Source # 
ToSqlCode SQL_ROLE Source # 
ToSqlCode SQL_SEQUENCE Source # 
ToSqlCode SQL_TABLE_CONSTRAINT Source # 
ToSqlCode SQL_COLUMN Source # 
ToSqlCode SQL_TABLE Source # 
ToSqlCode SQL_TYPE Source # 
ToSqlCode SqlStmt Source # 
ToSqlCode SQL_DATABASE Source # 
ToSqlCode SQL_OTHER Source # 
ToSqlCode (SqlName, [SqlType]) Source # 

Methods

toSqlCode :: (SqlName, [SqlType]) -> Text Source #

ToSqlCode (SqlName, SqlName) Source # 
ToSqlCode (SqlObj a b) Source # 

Methods

toSqlCode :: SqlObj a b -> Text Source #

ToSqlCode (SqlName, SqlName, SqlName) Source # 

class ToSqlName a where Source #

Minimal complete definition

toSqlName

Methods

toSqlName :: a -> SqlName Source #

class SqlIdentifierConcat a where Source #

Minimal complete definition

(//)

Methods

(//) :: a -> a -> a Source #

newtype SqlName Source #

Constructors

SqlName Text 

Instances

Eq SqlName Source # 

Methods

(==) :: SqlName -> SqlName -> Bool #

(/=) :: SqlName -> SqlName -> Bool #

Data SqlName Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SqlName -> c SqlName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SqlName #

toConstr :: SqlName -> Constr #

dataTypeOf :: SqlName -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SqlName) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SqlName) #

gmapT :: (forall b. Data b => b -> b) -> SqlName -> SqlName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SqlName -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SqlName -> r #

gmapQ :: (forall d. Data d => d -> u) -> SqlName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SqlName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SqlName -> m SqlName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SqlName -> m SqlName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SqlName -> m SqlName #

Ord SqlName Source # 
Show SqlName Source # 
Generic SqlName Source # 

Associated Types

type Rep SqlName :: * -> * #

Methods

from :: SqlName -> Rep SqlName x #

to :: Rep SqlName x -> SqlName #

Monoid SqlName Source # 
FromJSON SqlName Source # 
ToJSON SqlName Source # 
SqlIdentifierConcat SqlName Source # 
ToSqlCode SqlName Source # 
SqlIdContent SqlName Source # 
ToSqlCode (SqlName, [SqlType]) Source # 

Methods

toSqlCode :: (SqlName, [SqlType]) -> Text Source #

ToSqlCode (SqlName, SqlName) Source # 
SqlIdContent (SqlName, [SqlType]) Source # 
SqlIdContent (SqlName, SqlName) Source # 
ToSqlCode (SqlName, SqlName, SqlName) Source # 
SqlIdContent (SqlName, SqlName, SqlName) Source # 
type Rep SqlName Source # 
type Rep SqlName = D1 (MetaData "SqlName" "Database.YamSql.Internal.SqlId" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" True) (C1 (MetaCons "SqlName" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

newtype SqlType Source #

Constructors

SqlType Text 

Instances

Eq SqlType Source # 

Methods

(==) :: SqlType -> SqlType -> Bool #

(/=) :: SqlType -> SqlType -> Bool #

Data SqlType Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SqlType -> c SqlType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SqlType #

toConstr :: SqlType -> Constr #

dataTypeOf :: SqlType -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SqlType) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SqlType) #

gmapT :: (forall b. Data b => b -> b) -> SqlType -> SqlType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SqlType -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SqlType -> r #

gmapQ :: (forall d. Data d => d -> u) -> SqlType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SqlType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SqlType -> m SqlType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SqlType -> m SqlType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SqlType -> m SqlType #

Show SqlType Source # 
Generic SqlType Source # 

Associated Types

type Rep SqlType :: * -> * #

Methods

from :: SqlType -> Rep SqlType x #

to :: Rep SqlType x -> SqlType #

FromJSON SqlType Source # 
ToJSON SqlType Source # 
SqlIdentifierConcat SqlType Source # 
ToSqlCode SqlType Source # 
ToSqlCode (SqlName, [SqlType]) Source # 

Methods

toSqlCode :: (SqlName, [SqlType]) -> Text Source #

SqlIdContent (SqlName, [SqlType]) Source # 
type Rep SqlType Source # 
type Rep SqlType = D1 (MetaData "SqlType" "Database.YamSql.Internal.SqlId" "hamsql-0.8.0.0-3odSe2l79FgLCGfN2lHmnu" True) (C1 (MetaCons "SqlType" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))