Resolution ResolvedNames Source #
Associated Types type TableRef ResolvedNames :: * -> * Source # type TableName ResolvedNames :: * -> * Source # type CreateTableName ResolvedNames :: * -> * Source # type DropTableName ResolvedNames :: * -> * Source # type SchemaName ResolvedNames :: * -> * Source # type CreateSchemaName ResolvedNames :: * -> * Source # type ColumnRef ResolvedNames :: * -> * Source # type NaturalColumns ResolvedNames :: * -> * Source # type UsingColumn ResolvedNames :: * -> * Source # type StarReferents ResolvedNames :: * -> * Source # type PositionExpr ResolvedNames :: * -> * Source # type ComposedQueryColumns ResolvedNames :: * -> * Source #
Resolution RawNames Source #
Associated Types type TableRef RawNames :: * -> * Source # type TableName RawNames :: * -> * Source # type CreateTableName RawNames :: * -> * Source # type DropTableName RawNames :: * -> * Source # type SchemaName RawNames :: * -> * Source # type CreateSchemaName RawNames :: * -> * Source # type ColumnRef RawNames :: * -> * Source # type NaturalColumns RawNames :: * -> * Source # type UsingColumn RawNames :: * -> * Source # type StarReferents RawNames :: * -> * Source # type PositionExpr RawNames :: * -> * Source # type ComposedQueryColumns RawNames :: * -> * Source #

type FQCN = FullyQualifiedColumnName Source #

data FullyQualifiedColumnName Source #

Constructors

FullyQualifiedColumnName
Fields fqcnDatabaseName :: Text fqcnSchemaName :: Text fqcnTableName :: Text fqcnColumnName :: Text

Instances

Eq FullyQualifiedColumnName Source #
Methods (==) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool # (/=) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool #
Data FullyQualifiedColumnName Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FullyQualifiedColumnName -> c FullyQualifiedColumnName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FullyQualifiedColumnName # toConstr :: FullyQualifiedColumnName -> Constr # dataTypeOf :: FullyQualifiedColumnName -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FullyQualifiedColumnName) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FullyQualifiedColumnName) # gmapT :: (forall b. Data b => b -> b) -> FullyQualifiedColumnName -> FullyQualifiedColumnName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FullyQualifiedColumnName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FullyQualifiedColumnName -> r # gmapQ :: (forall d. Data d => d -> u) -> FullyQualifiedColumnName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FullyQualifiedColumnName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FullyQualifiedColumnName -> m FullyQualifiedColumnName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FullyQualifiedColumnName -> m FullyQualifiedColumnName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FullyQualifiedColumnName -> m FullyQualifiedColumnName #
Ord FullyQualifiedColumnName Source #
Methods compare :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Ordering # (<) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool # (<=) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool # (>) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool # (>=) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool # max :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> FullyQualifiedColumnName # min :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> FullyQualifiedColumnName #
Show FullyQualifiedColumnName Source #
Methods showsPrec :: Int -> FullyQualifiedColumnName -> ShowS # show :: FullyQualifiedColumnName -> String # showList :: [FullyQualifiedColumnName] -> ShowS #
Generic FullyQualifiedColumnName Source #
Associated Types type Rep FullyQualifiedColumnName :: * -> * # Methods from :: FullyQualifiedColumnName -> Rep FullyQualifiedColumnName x # to :: Rep FullyQualifiedColumnName x -> FullyQualifiedColumnName #
type Rep FullyQualifiedColumnName Source #
type Rep FullyQualifiedColumnName = D1 * (MetaData "FullyQualifiedColumnName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "FullyQualifiedColumnName" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fqcnDatabaseName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "fqcnSchemaName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) ((::) (S1 * (MetaSel (Just Symbol "fqcnTableName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "fqcnColumnName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))

type FQTN = FullyQualifiedTableName Source #

data FullyQualifiedTableName Source #

Constructors

FullyQualifiedTableName
Fields fqtnDatabaseName :: Text fqtnSchemaName :: Text fqtnTableName :: Text

Instances

Eq FullyQualifiedTableName Source #
Methods (==) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool # (/=) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool #
Data FullyQualifiedTableName Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FullyQualifiedTableName -> c FullyQualifiedTableName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FullyQualifiedTableName # toConstr :: FullyQualifiedTableName -> Constr # dataTypeOf :: FullyQualifiedTableName -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FullyQualifiedTableName) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FullyQualifiedTableName) # gmapT :: (forall b. Data b => b -> b) -> FullyQualifiedTableName -> FullyQualifiedTableName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FullyQualifiedTableName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FullyQualifiedTableName -> r # gmapQ :: (forall d. Data d => d -> u) -> FullyQualifiedTableName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FullyQualifiedTableName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FullyQualifiedTableName -> m FullyQualifiedTableName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FullyQualifiedTableName -> m FullyQualifiedTableName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FullyQualifiedTableName -> m FullyQualifiedTableName #
Ord FullyQualifiedTableName Source #
Methods compare :: FullyQualifiedTableName -> FullyQualifiedTableName -> Ordering # (<) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool # (<=) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool # (>) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool # (>=) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool # max :: FullyQualifiedTableName -> FullyQualifiedTableName -> FullyQualifiedTableName # min :: FullyQualifiedTableName -> FullyQualifiedTableName -> FullyQualifiedTableName #
Show FullyQualifiedTableName Source #
Methods showsPrec :: Int -> FullyQualifiedTableName -> ShowS # show :: FullyQualifiedTableName -> String # showList :: [FullyQualifiedTableName] -> ShowS #
Generic FullyQualifiedTableName Source #
Associated Types type Rep FullyQualifiedTableName :: * -> * # Methods from :: FullyQualifiedTableName -> Rep FullyQualifiedTableName x # to :: Rep FullyQualifiedTableName x -> FullyQualifiedTableName #
type Rep FullyQualifiedTableName Source #
type Rep FullyQualifiedTableName = D1 * (MetaData "FullyQualifiedTableName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "FullyQualifiedTableName" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "fqtnDatabaseName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) ((::) (S1 * (MetaSel (Just Symbol "fqtnSchemaName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "fqtnTableName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))

qualifyColumnName :: FQTableName a -> UQColumnName b -> FQColumnName () Source #

fqcnToFQCN :: FQColumnName a -> FullyQualifiedColumnName Source #

fqtnToFQTN :: FQTableName a -> FullyQualifiedTableName Source #

data DatabaseName a Source #

Constructors

DatabaseName a Text

Instances

Functor DatabaseName Source #
Methods fmap :: (a -> b) -> DatabaseName a -> DatabaseName b # (<$) :: a -> DatabaseName b -> DatabaseName a #
Foldable DatabaseName Source #
Methods fold :: Monoid m => DatabaseName m -> m # foldMap :: Monoid m => (a -> m) -> DatabaseName a -> m # foldr :: (a -> b -> b) -> b -> DatabaseName a -> b # foldr' :: (a -> b -> b) -> b -> DatabaseName a -> b # foldl :: (b -> a -> b) -> b -> DatabaseName a -> b # foldl' :: (b -> a -> b) -> b -> DatabaseName a -> b # foldr1 :: (a -> a -> a) -> DatabaseName a -> a # foldl1 :: (a -> a -> a) -> DatabaseName a -> a # toList :: DatabaseName a -> [a] # null :: DatabaseName a -> Bool # length :: DatabaseName a -> Int # elem :: Eq a => a -> DatabaseName a -> Bool # maximum :: Ord a => DatabaseName a -> a # minimum :: Ord a => DatabaseName a -> a # sum :: Num a => DatabaseName a -> a # product :: Num a => DatabaseName a -> a #
Traversable DatabaseName Source #
Methods traverse :: Applicative f => (a -> f b) -> DatabaseName a -> f (DatabaseName b) # sequenceA :: Applicative f => DatabaseName (f a) -> f (DatabaseName a) # mapM :: Monad m => (a -> m b) -> DatabaseName a -> m (DatabaseName b) # sequence :: Monad m => DatabaseName (m a) -> m (DatabaseName a) #
Arbitrary CatalogMap #
Methods arbitrary :: Gen CatalogMap # shrink :: CatalogMap -> [CatalogMap] #
Eq a => Eq (DatabaseName a) Source #
Methods (==) :: DatabaseName a -> DatabaseName a -> Bool # (/=) :: DatabaseName a -> DatabaseName a -> Bool #
Data a => Data (DatabaseName a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DatabaseName a -> c (DatabaseName a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DatabaseName a) # toConstr :: DatabaseName a -> Constr # dataTypeOf :: DatabaseName a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (DatabaseName a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DatabaseName a)) # gmapT :: (forall b. Data b => b -> b) -> DatabaseName a -> DatabaseName a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DatabaseName a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DatabaseName a -> r # gmapQ :: (forall d. Data d => d -> u) -> DatabaseName a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DatabaseName a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DatabaseName a -> m (DatabaseName a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DatabaseName a -> m (DatabaseName a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DatabaseName a -> m (DatabaseName a) #
Ord a => Ord (DatabaseName a) Source #
Methods compare :: DatabaseName a -> DatabaseName a -> Ordering # (<) :: DatabaseName a -> DatabaseName a -> Bool # (<=) :: DatabaseName a -> DatabaseName a -> Bool # (>) :: DatabaseName a -> DatabaseName a -> Bool # (>=) :: DatabaseName a -> DatabaseName a -> Bool # max :: DatabaseName a -> DatabaseName a -> DatabaseName a # min :: DatabaseName a -> DatabaseName a -> DatabaseName a #
Read a => Read (DatabaseName a) Source #
Methods readsPrec :: Int -> ReadS (DatabaseName a) # readList :: ReadS [DatabaseName a] # readPrec :: ReadPrec (DatabaseName a) # readListPrec :: ReadPrec [DatabaseName a] #
Show a => Show (DatabaseName a) Source #
Methods showsPrec :: Int -> DatabaseName a -> ShowS # show :: DatabaseName a -> String # showList :: [DatabaseName a] -> ShowS #
Generic (DatabaseName a) Source #
Associated Types type Rep (DatabaseName a) :: * -> * # Methods from :: DatabaseName a -> Rep (DatabaseName a) x # to :: Rep (DatabaseName a) x -> DatabaseName a #
Arbitrary a => Arbitrary (DatabaseName a) Source #
Methods arbitrary :: Gen (DatabaseName a) # shrink :: DatabaseName a -> [DatabaseName a] #
Hashable (DatabaseName a) Source #
Methods hashWithSalt :: Int -> DatabaseName a -> Int # hash :: DatabaseName a -> Int #
ToJSON a => ToJSON (DatabaseName a) Source #
Methods toJSON :: DatabaseName a -> Value # toEncoding :: DatabaseName a -> Encoding # toJSONList :: [DatabaseName a] -> Value # toEncodingList :: [DatabaseName a] -> Encoding #
FromJSON a => FromJSON (DatabaseName a) Source #
Methods parseJSON :: Value -> Parser (DatabaseName a) # parseJSONList :: Value -> Parser [DatabaseName a] #
Pretty (DatabaseName a) Source #
Methods pretty :: DatabaseName a -> Doc Source #
HasInfo (DatabaseName a) Source #
Associated Types type Info (DatabaseName a) :: * Source # Methods getInfo :: DatabaseName a -> Info (DatabaseName a) Source #
type Rep (DatabaseName a) Source #
type Rep (DatabaseName a) = D1 * (MetaData "DatabaseName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "DatabaseName" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))
type Info (DatabaseName a) Source #
type Info (DatabaseName a) = a

data SchemaType Source #

Constructors

NormalSchema
SessionSchema

Instances

Eq SchemaType Source #
Methods (==) :: SchemaType -> SchemaType -> Bool # (/=) :: SchemaType -> SchemaType -> Bool #
Data SchemaType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SchemaType -> c SchemaType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SchemaType # toConstr :: SchemaType -> Constr # dataTypeOf :: SchemaType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SchemaType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SchemaType) # gmapT :: (forall b. Data b => b -> b) -> SchemaType -> SchemaType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SchemaType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SchemaType -> r # gmapQ :: (forall d. Data d => d -> u) -> SchemaType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SchemaType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SchemaType -> m SchemaType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SchemaType -> m SchemaType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SchemaType -> m SchemaType #
Ord SchemaType Source #
Methods compare :: SchemaType -> SchemaType -> Ordering # (<) :: SchemaType -> SchemaType -> Bool # (<=) :: SchemaType -> SchemaType -> Bool # (>) :: SchemaType -> SchemaType -> Bool # (>=) :: SchemaType -> SchemaType -> Bool # max :: SchemaType -> SchemaType -> SchemaType # min :: SchemaType -> SchemaType -> SchemaType #
Read SchemaType Source #
Methods readsPrec :: Int -> ReadS SchemaType # readList :: ReadS [SchemaType] # readPrec :: ReadPrec SchemaType # readListPrec :: ReadPrec [SchemaType] #
Show SchemaType Source #
Methods showsPrec :: Int -> SchemaType -> ShowS # show :: SchemaType -> String # showList :: [SchemaType] -> ShowS #
Generic SchemaType Source #
Associated Types type Rep SchemaType :: * -> * # Methods from :: SchemaType -> Rep SchemaType x # to :: Rep SchemaType x -> SchemaType #
Hashable SchemaType Source #
Methods hashWithSalt :: Int -> SchemaType -> Int # hash :: SchemaType -> Int #
ToJSON SchemaType Source #
Methods toJSON :: SchemaType -> Value # toEncoding :: SchemaType -> Encoding # toJSONList :: [SchemaType] -> Value # toEncodingList :: [SchemaType] -> Encoding #
FromJSON SchemaType Source #
Methods parseJSON :: Value -> Parser SchemaType # parseJSONList :: Value -> Parser [SchemaType] #
type Rep SchemaType Source #
type Rep SchemaType = D1 * (MetaData "SchemaType" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) ((:+:) * (C1 * (MetaCons "NormalSchema" PrefixI False) (U1 )) (C1 (MetaCons "SessionSchema" PrefixI False) (U1 *)))

data QSchemaName f a Source #

Constructors

QSchemaName
Fields schemaNameInfo :: a schemaNameDatabase :: f (DatabaseName a) schemaNameName :: Text schemaNameType :: SchemaType

Instances

Arbitrary CatalogMap #
Methods arbitrary :: Gen CatalogMap # shrink :: CatalogMap -> [CatalogMap] #
Arbitrary DatabaseMap #
Methods arbitrary :: Gen DatabaseMap # shrink :: DatabaseMap -> [DatabaseMap] #
Functor f => Functor (QSchemaName f) Source #
Methods fmap :: (a -> b) -> QSchemaName f a -> QSchemaName f b # (<$) :: a -> QSchemaName f b -> QSchemaName f a #
Foldable f => Foldable (QSchemaName f) Source #
Methods fold :: Monoid m => QSchemaName f m -> m # foldMap :: Monoid m => (a -> m) -> QSchemaName f a -> m # foldr :: (a -> b -> b) -> b -> QSchemaName f a -> b # foldr' :: (a -> b -> b) -> b -> QSchemaName f a -> b # foldl :: (b -> a -> b) -> b -> QSchemaName f a -> b # foldl' :: (b -> a -> b) -> b -> QSchemaName f a -> b # foldr1 :: (a -> a -> a) -> QSchemaName f a -> a # foldl1 :: (a -> a -> a) -> QSchemaName f a -> a # toList :: QSchemaName f a -> [a] # null :: QSchemaName f a -> Bool # length :: QSchemaName f a -> Int # elem :: Eq a => a -> QSchemaName f a -> Bool # maximum :: Ord a => QSchemaName f a -> a # minimum :: Ord a => QSchemaName f a -> a # sum :: Num a => QSchemaName f a -> a # product :: Num a => QSchemaName f a -> a #
Traversable f => Traversable (QSchemaName f) Source #
Methods traverse :: Applicative f => (a -> f b) -> QSchemaName f a -> f (QSchemaName f b) # sequenceA :: Applicative f => QSchemaName f (f a) -> f (QSchemaName f a) # mapM :: Monad m => (a -> m b) -> QSchemaName f a -> m (QSchemaName f b) # sequence :: Monad m => QSchemaName f (m a) -> m (QSchemaName f a) #
(Eq a, Eq (f (DatabaseName a))) => Eq (QSchemaName f a) Source #
Methods (==) :: QSchemaName f a -> QSchemaName f a -> Bool # (/=) :: QSchemaName f a -> QSchemaName f a -> Bool #
(Data (f (DatabaseName a)), Data a, Typeable (* -> ) f, Typeable a) => Data (QSchemaName f a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QSchemaName f a -> c (QSchemaName f a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (QSchemaName f a) # toConstr :: QSchemaName f a -> Constr # dataTypeOf :: QSchemaName f a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (QSchemaName f a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (QSchemaName f a)) # gmapT :: (forall b. Data b => b -> b) -> QSchemaName f a -> QSchemaName f a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QSchemaName f a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QSchemaName f a -> r # gmapQ :: (forall d. Data d => d -> u) -> QSchemaName f a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QSchemaName f a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QSchemaName f a -> m (QSchemaName f a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QSchemaName f a -> m (QSchemaName f a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QSchemaName f a -> m (QSchemaName f a) #
(Ord a, Ord (f (DatabaseName a))) => Ord (QSchemaName f a) Source #
Methods compare :: QSchemaName f a -> QSchemaName f a -> Ordering # (<) :: QSchemaName f a -> QSchemaName f a -> Bool # (<=) :: QSchemaName f a -> QSchemaName f a -> Bool # (>) :: QSchemaName f a -> QSchemaName f a -> Bool # (>=) :: QSchemaName f a -> QSchemaName f a -> Bool # max :: QSchemaName f a -> QSchemaName f a -> QSchemaName f a # min :: QSchemaName f a -> QSchemaName f a -> QSchemaName f a #
(Read a, Read (f (DatabaseName a))) => Read (QSchemaName f a) Source #
Methods readsPrec :: Int -> ReadS (QSchemaName f a) # readList :: ReadS [QSchemaName f a] # readPrec :: ReadPrec (QSchemaName f a) # readListPrec :: ReadPrec [QSchemaName f a] #
(Show a, Show (f (DatabaseName a))) => Show (QSchemaName f a) Source #
Methods showsPrec :: Int -> QSchemaName f a -> ShowS # show :: QSchemaName f a -> String # showList :: [QSchemaName f a] -> ShowS #
Generic (QSchemaName f a) Source #
Associated Types type Rep (QSchemaName f a) :: * -> * # Methods from :: QSchemaName f a -> Rep (QSchemaName f a) x # to :: Rep (QSchemaName f a) x -> QSchemaName f a #
(Arbitrary (f (DatabaseName a)), Arbitrary a) => Arbitrary (QSchemaName f a) Source #
Methods arbitrary :: Gen (QSchemaName f a) # shrink :: QSchemaName f a -> [QSchemaName f a] #
Hashable (f (DatabaseName a)) => Hashable (QSchemaName f a) Source #
Methods hashWithSalt :: Int -> QSchemaName f a -> Int # hash :: QSchemaName f a -> Int #
(ToJSON (f (DatabaseName a)), ToJSON a) => ToJSON (QSchemaName f a) Source #
Methods toJSON :: QSchemaName f a -> Value # toEncoding :: QSchemaName f a -> Encoding # toJSONList :: [QSchemaName f a] -> Value # toEncodingList :: [QSchemaName f a] -> Encoding #
(FromJSON (f (DatabaseName a)), FromJSON a) => FromJSON (QSchemaName f a) Source #
Methods parseJSON :: Value -> Parser (QSchemaName f a) # parseJSONList :: Value -> Parser [QSchemaName f a] #
Foldable f => Pretty (QSchemaName f a) Source #
Methods pretty :: QSchemaName f a -> Doc Source #
(Foldable f, Functor f, Semigroup a) => HasInfo (QSchemaName f a) Source #
Associated Types type Info (QSchemaName f a) :: * Source # Methods getInfo :: QSchemaName f a -> Info (QSchemaName f a) Source #
type Rep (QSchemaName f a) Source #
type Rep (QSchemaName f a) = D1 * (MetaData "QSchemaName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "QSchemaName" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "schemaNameInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Just Symbol "schemaNameDatabase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (DatabaseName a))))) ((::) (S1 * (MetaSel (Just Symbol "schemaNameName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Just Symbol "schemaNameType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SchemaType)))))
type Info (QSchemaName f a) Source #
type Info (QSchemaName f a) = a

type UQSchemaName = QSchemaName No Source #

type OQSchemaName = QSchemaName Maybe Source #

type FQSchemaName = QSchemaName Identity Source #

mkNormalSchema :: Alternative f => Text -> a -> QSchemaName f a Source #

arbitraryUnquotedIdentifier :: Gen Text Source #

arbitraryQuotedIdentifier :: Gen Text Source #

arbitraryIdentifier :: Gen Text Source #

data Identifier (ids :: [Symbol]) Source #

Identifiers picked first from (and shrunk to) symbols in type list. Used for testing.

Constructors

Identifier Text

Instances

Eq (Identifier ids) Source #
Methods (==) :: Identifier ids -> Identifier ids -> Bool # (/=) :: Identifier ids -> Identifier ids -> Bool #
KnownSymbols ids => Arbitrary (Identifier ids) Source #
Methods arbitrary :: Gen (Identifier ids) # shrink :: Identifier ids -> [Identifier ids] #

class KnownSymbols (xs :: [Symbol]) where Source #

Minimal complete definition

symbolVals

Methods

symbolVals :: proxy xs -> [String] Source #

Instances

KnownSymbols ([] Symbol) Source #
Methods symbolVals :: proxy [Symbol] -> [String] Source #
(KnownSymbol x, KnownSymbols xs) => KnownSymbols ((:) Symbol x xs) Source #
Methods symbolVals :: proxy ((Symbol ': x) xs) -> [String] Source #

data QTableName f a Source #

Constructors

QTableName
Fields tableNameInfo :: a tableNameSchema :: f (QSchemaName f a) tableNameName :: Text

Instances

Arbitrary CatalogMap #
Methods arbitrary :: Gen CatalogMap # shrink :: CatalogMap -> [CatalogMap] #
Arbitrary DatabaseMap #
Methods arbitrary :: Gen DatabaseMap # shrink :: DatabaseMap -> [DatabaseMap] #
Arbitrary SchemaMap #
Methods arbitrary :: Gen SchemaMap # shrink :: SchemaMap -> [SchemaMap] #
Functor f => Functor (QTableName f) Source #
Methods fmap :: (a -> b) -> QTableName f a -> QTableName f b # (<$) :: a -> QTableName f b -> QTableName f a #
Foldable f => Foldable (QTableName f) Source #
Methods fold :: Monoid m => QTableName f m -> m # foldMap :: Monoid m => (a -> m) -> QTableName f a -> m # foldr :: (a -> b -> b) -> b -> QTableName f a -> b # foldr' :: (a -> b -> b) -> b -> QTableName f a -> b # foldl :: (b -> a -> b) -> b -> QTableName f a -> b # foldl' :: (b -> a -> b) -> b -> QTableName f a -> b # foldr1 :: (a -> a -> a) -> QTableName f a -> a # foldl1 :: (a -> a -> a) -> QTableName f a -> a # toList :: QTableName f a -> [a] # null :: QTableName f a -> Bool # length :: QTableName f a -> Int # elem :: Eq a => a -> QTableName f a -> Bool # maximum :: Ord a => QTableName f a -> a # minimum :: Ord a => QTableName f a -> a # sum :: Num a => QTableName f a -> a # product :: Num a => QTableName f a -> a #
Traversable f => Traversable (QTableName f) Source #
Methods traverse :: Applicative f => (a -> f b) -> QTableName f a -> f (QTableName f b) # sequenceA :: Applicative f => QTableName f (f a) -> f (QTableName f a) # mapM :: Monad m => (a -> m b) -> QTableName f a -> m (QTableName f b) # sequence :: Monad m => QTableName f (m a) -> m (QTableName f a) #
HasTables (FQTableName a) Source #
Methods goTables :: FQTableName a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
(Eq a, Eq (f (QSchemaName f a))) => Eq (QTableName f a) Source #
Methods (==) :: QTableName f a -> QTableName f a -> Bool # (/=) :: QTableName f a -> QTableName f a -> Bool #
(Data a, Data (f (QSchemaName f a)), Typeable (* -> ) f, Typeable a) => Data (QTableName f a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QTableName f a -> c (QTableName f a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (QTableName f a) # toConstr :: QTableName f a -> Constr # dataTypeOf :: QTableName f a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (QTableName f a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (QTableName f a)) # gmapT :: (forall b. Data b => b -> b) -> QTableName f a -> QTableName f a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QTableName f a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QTableName f a -> r # gmapQ :: (forall d. Data d => d -> u) -> QTableName f a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QTableName f a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QTableName f a -> m (QTableName f a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QTableName f a -> m (QTableName f a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QTableName f a -> m (QTableName f a) #
(Ord a, Ord (f (QSchemaName f a))) => Ord (QTableName f a) Source #
Methods compare :: QTableName f a -> QTableName f a -> Ordering # (<) :: QTableName f a -> QTableName f a -> Bool # (<=) :: QTableName f a -> QTableName f a -> Bool # (>) :: QTableName f a -> QTableName f a -> Bool # (>=) :: QTableName f a -> QTableName f a -> Bool # max :: QTableName f a -> QTableName f a -> QTableName f a # min :: QTableName f a -> QTableName f a -> QTableName f a #
(Read a, Read (f (QSchemaName f a))) => Read (QTableName f a) Source #
Methods readsPrec :: Int -> ReadS (QTableName f a) # readList :: ReadS [QTableName f a] # readPrec :: ReadPrec (QTableName f a) # readListPrec :: ReadPrec [QTableName f a] #
(Show a, Show (f (QSchemaName f a))) => Show (QTableName f a) Source #
Methods showsPrec :: Int -> QTableName f a -> ShowS # show :: QTableName f a -> String # showList :: [QTableName f a] -> ShowS #
Generic (QTableName f a) Source #
Associated Types type Rep (QTableName f a) :: * -> * # Methods from :: QTableName f a -> Rep (QTableName f a) x # to :: Rep (QTableName f a) x -> QTableName f a #
(Arbitrary (f (QSchemaName f a)), Arbitrary a) => Arbitrary (QTableName f a) Source #
Methods arbitrary :: Gen (QTableName f a) # shrink :: QTableName f a -> [QTableName f a] #
Hashable (f (QSchemaName f a)) => Hashable (QTableName f a) Source #
Methods hashWithSalt :: Int -> QTableName f a -> Int # hash :: QTableName f a -> Int #
(ToJSON (f (QSchemaName f a)), ToJSON a) => ToJSON (QTableName f a) Source #
Methods toJSON :: QTableName f a -> Value # toEncoding :: QTableName f a -> Encoding # toJSONList :: [QTableName f a] -> Value # toEncodingList :: [QTableName f a] -> Encoding #
(FromJSON (f (QSchemaName f a)), FromJSON a) => FromJSON (QTableName f a) Source #
Methods parseJSON :: Value -> Parser (QTableName f a) # parseJSONList :: Value -> Parser [QTableName f a] #
Foldable f => Pretty (QTableName f a) Source #
Methods pretty :: QTableName f a -> Doc Source #
(Foldable f, Functor f, Semigroup a) => HasInfo (QTableName f a) Source #
Associated Types type Info (QTableName f a) :: * Source # Methods getInfo :: QTableName f a -> Info (QTableName f a) Source #
type Rep (QTableName f a) Source #
type Rep (QTableName f a) = D1 * (MetaData "QTableName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "QTableName" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "tableNameInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) ((::) (S1 * (MetaSel (Just Symbol "tableNameSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (QSchemaName f a)))) (S1 * (MetaSel (Just Symbol "tableNameName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))
type Info (QTableName f a) Source #
type Info (QTableName f a) = a

data No a Source #

Constructors

None

Instances

Functor No Source #
Methods fmap :: (a -> b) -> No a -> No b # (<$) :: a -> No b -> No a #
Applicative No Source #
Methods pure :: a -> No a # (<>) :: No (a -> b) -> No a -> No b # liftA2 :: (a -> b -> c) -> No a -> No b -> No c # (>) :: No a -> No b -> No b # (<*) :: No a -> No b -> No a #
Foldable No Source #
Methods fold :: Monoid m => No m -> m # foldMap :: Monoid m => (a -> m) -> No a -> m # foldr :: (a -> b -> b) -> b -> No a -> b # foldr' :: (a -> b -> b) -> b -> No a -> b # foldl :: (b -> a -> b) -> b -> No a -> b # foldl' :: (b -> a -> b) -> b -> No a -> b # foldr1 :: (a -> a -> a) -> No a -> a # foldl1 :: (a -> a -> a) -> No a -> a # toList :: No a -> [a] # null :: No a -> Bool # length :: No a -> Int # elem :: Eq a => a -> No a -> Bool # maximum :: Ord a => No a -> a # minimum :: Ord a => No a -> a # sum :: Num a => No a -> a # product :: Num a => No a -> a #
Traversable No Source #
Methods traverse :: Applicative f => (a -> f b) -> No a -> f (No b) # sequenceA :: Applicative f => No (f a) -> f (No a) # mapM :: Monad m => (a -> m b) -> No a -> m (No b) # sequence :: Monad m => No (m a) -> m (No a) #
Arbitrary CatalogMap #
Methods arbitrary :: Gen CatalogMap # shrink :: CatalogMap -> [CatalogMap] #
Arbitrary DatabaseMap #
Methods arbitrary :: Gen DatabaseMap # shrink :: DatabaseMap -> [DatabaseMap] #
Arbitrary SchemaMap #
Methods arbitrary :: Gen SchemaMap # shrink :: SchemaMap -> [SchemaMap] #
Alternative No Source #
Methods empty :: No a # (<\|>) :: No a -> No a -> No a # some :: No a -> No [a] # many :: No a -> No [a] #
Eq (No a) Source #
Methods (==) :: No a -> No a -> Bool # (/=) :: No a -> No a -> Bool #
Data a => Data (No a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> No a -> c (No a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (No a) # toConstr :: No a -> Constr # dataTypeOf :: No a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (No a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (No a)) # gmapT :: (forall b. Data b => b -> b) -> No a -> No a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> No a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> No a -> r # gmapQ :: (forall d. Data d => d -> u) -> No a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> No a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> No a -> m (No a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> No a -> m (No a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> No a -> m (No a) #
Ord (No a) Source #
Methods compare :: No a -> No a -> Ordering # (<) :: No a -> No a -> Bool # (<=) :: No a -> No a -> Bool # (>) :: No a -> No a -> Bool # (>=) :: No a -> No a -> Bool # max :: No a -> No a -> No a # min :: No a -> No a -> No a #
Read (No a) Source #
Methods readsPrec :: Int -> ReadS (No a) # readList :: ReadS [No a] # readPrec :: ReadPrec (No a) # readListPrec :: ReadPrec [No a] #
Show (No a) Source #
Methods showsPrec :: Int -> No a -> ShowS # show :: No a -> String # showList :: [No a] -> ShowS #
IsString (UQColumnName ()) Source #
Methods fromString :: String -> UQColumnName () #
Generic (No a) Source #
Associated Types type Rep (No a) :: * -> * # Methods from :: No a -> Rep (No a) x # to :: Rep (No a) x -> No a #
Arbitrary (No a) Source #
Methods arbitrary :: Gen (No a) # shrink :: No a -> [No a] #
Hashable (No a) Source #
Methods hashWithSalt :: Int -> No a -> Int # hash :: No a -> Int #
ToJSON (No a) Source #
Methods toJSON :: No a -> Value # toEncoding :: No a -> Encoding # toJSONList :: [No a] -> Value # toEncodingList :: [No a] -> Encoding #
FromJSON (No a) Source #
Methods parseJSON :: Value -> Parser (No a) # parseJSONList :: Value -> Parser [No a] #
type Rep (No a) Source #
type Rep (No a) = D1 * (MetaData "No" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "None" PrefixI False) (U1 *))

type UQTableName = QTableName No Source #

type OQTableName = QTableName Maybe Source #

type FQTableName = QTableName Identity Source #

newtype TableAliasId Source #

Constructors

TableAliasId Integer

Instances

Eq TableAliasId Source #
Methods (==) :: TableAliasId -> TableAliasId -> Bool # (/=) :: TableAliasId -> TableAliasId -> Bool #
Data TableAliasId Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableAliasId -> c TableAliasId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableAliasId # toConstr :: TableAliasId -> Constr # dataTypeOf :: TableAliasId -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TableAliasId) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableAliasId) # gmapT :: (forall b. Data b => b -> b) -> TableAliasId -> TableAliasId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableAliasId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableAliasId -> r # gmapQ :: (forall d. Data d => d -> u) -> TableAliasId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableAliasId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableAliasId -> m TableAliasId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableAliasId -> m TableAliasId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableAliasId -> m TableAliasId #
Ord TableAliasId Source #
Methods compare :: TableAliasId -> TableAliasId -> Ordering # (<) :: TableAliasId -> TableAliasId -> Bool # (<=) :: TableAliasId -> TableAliasId -> Bool # (>) :: TableAliasId -> TableAliasId -> Bool # (>=) :: TableAliasId -> TableAliasId -> Bool # max :: TableAliasId -> TableAliasId -> TableAliasId # min :: TableAliasId -> TableAliasId -> TableAliasId #
Read TableAliasId Source #
Methods readsPrec :: Int -> ReadS TableAliasId # readList :: ReadS [TableAliasId] # readPrec :: ReadPrec TableAliasId # readListPrec :: ReadPrec [TableAliasId] #
Show TableAliasId Source #
Methods showsPrec :: Int -> TableAliasId -> ShowS # show :: TableAliasId -> String # showList :: [TableAliasId] -> ShowS #
Generic TableAliasId Source #
Associated Types type Rep TableAliasId :: * -> * # Methods from :: TableAliasId -> Rep TableAliasId x # to :: Rep TableAliasId x -> TableAliasId #
type Rep TableAliasId Source #
type Rep TableAliasId = D1 * (MetaData "TableAliasId" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" True) (C1 * (MetaCons "TableAliasId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)))

data TableAlias a Source #

Constructors

TableAlias a Text TableAliasId

Instances

Functor TableAlias Source #
Methods fmap :: (a -> b) -> TableAlias a -> TableAlias b # (<$) :: a -> TableAlias b -> TableAlias a #
Foldable TableAlias Source #
Methods fold :: Monoid m => TableAlias m -> m # foldMap :: Monoid m => (a -> m) -> TableAlias a -> m # foldr :: (a -> b -> b) -> b -> TableAlias a -> b # foldr' :: (a -> b -> b) -> b -> TableAlias a -> b # foldl :: (b -> a -> b) -> b -> TableAlias a -> b # foldl' :: (b -> a -> b) -> b -> TableAlias a -> b # foldr1 :: (a -> a -> a) -> TableAlias a -> a # foldl1 :: (a -> a -> a) -> TableAlias a -> a # toList :: TableAlias a -> [a] # null :: TableAlias a -> Bool # length :: TableAlias a -> Int # elem :: Eq a => a -> TableAlias a -> Bool # maximum :: Ord a => TableAlias a -> a # minimum :: Ord a => TableAlias a -> a # sum :: Num a => TableAlias a -> a # product :: Num a => TableAlias a -> a #
Traversable TableAlias Source #
Methods traverse :: Applicative f => (a -> f b) -> TableAlias a -> f (TableAlias b) # sequenceA :: Applicative f => TableAlias (f a) -> f (TableAlias a) # mapM :: Monad m => (a -> m b) -> TableAlias a -> m (TableAlias b) # sequence :: Monad m => TableAlias (m a) -> m (TableAlias a) #
Eq a => Eq (TableAlias a) Source #
Methods (==) :: TableAlias a -> TableAlias a -> Bool # (/=) :: TableAlias a -> TableAlias a -> Bool #
Data a => Data (TableAlias a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableAlias a -> c (TableAlias a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TableAlias a) # toConstr :: TableAlias a -> Constr # dataTypeOf :: TableAlias a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (TableAlias a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TableAlias a)) # gmapT :: (forall b. Data b => b -> b) -> TableAlias a -> TableAlias a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableAlias a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableAlias a -> r # gmapQ :: (forall d. Data d => d -> u) -> TableAlias a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableAlias a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableAlias a -> m (TableAlias a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableAlias a -> m (TableAlias a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableAlias a -> m (TableAlias a) #
Ord a => Ord (TableAlias a) Source #
Methods compare :: TableAlias a -> TableAlias a -> Ordering # (<) :: TableAlias a -> TableAlias a -> Bool # (<=) :: TableAlias a -> TableAlias a -> Bool # (>) :: TableAlias a -> TableAlias a -> Bool # (>=) :: TableAlias a -> TableAlias a -> Bool # max :: TableAlias a -> TableAlias a -> TableAlias a # min :: TableAlias a -> TableAlias a -> TableAlias a #
Read a => Read (TableAlias a) Source #
Methods readsPrec :: Int -> ReadS (TableAlias a) # readList :: ReadS [TableAlias a] # readPrec :: ReadPrec (TableAlias a) # readListPrec :: ReadPrec [TableAlias a] #
Show a => Show (TableAlias a) Source #
Methods showsPrec :: Int -> TableAlias a -> ShowS # show :: TableAlias a -> String # showList :: [TableAlias a] -> ShowS #
Generic (TableAlias a) Source #
Associated Types type Rep (TableAlias a) :: * -> * # Methods from :: TableAlias a -> Rep (TableAlias a) x # to :: Rep (TableAlias a) x -> TableAlias a #
ToJSON a => ToJSON (TableAlias a) Source #
Methods toJSON :: TableAlias a -> Value # toEncoding :: TableAlias a -> Encoding # toJSONList :: [TableAlias a] -> Value # toEncodingList :: [TableAlias a] -> Encoding #
FromJSON a => FromJSON (TableAlias a) Source #
Methods parseJSON :: Value -> Parser (TableAlias a) # parseJSONList :: Value -> Parser [TableAlias a] #
HasInfo (TableAlias a) Source #
Associated Types type Info (TableAlias a) :: * Source # Methods getInfo :: TableAlias a -> Info (TableAlias a) Source #
type Rep (TableAlias a) Source #
type Rep (TableAlias a) = D1 * (MetaData "TableAlias" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "TableAlias" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TableAliasId)))))
type Info (TableAlias a) Source #
type Info (TableAlias a) = a

tableAliasName :: TableAlias a -> UQTableName a Source #

data RNaturalColumns a Source #

Constructors

RNaturalColumns [RUsingColumn a]

Instances

Functor RNaturalColumns Source #
Methods fmap :: (a -> b) -> RNaturalColumns a -> RNaturalColumns b # (<$) :: a -> RNaturalColumns b -> RNaturalColumns a #
Foldable RNaturalColumns Source #
Methods fold :: Monoid m => RNaturalColumns m -> m # foldMap :: Monoid m => (a -> m) -> RNaturalColumns a -> m # foldr :: (a -> b -> b) -> b -> RNaturalColumns a -> b # foldr' :: (a -> b -> b) -> b -> RNaturalColumns a -> b # foldl :: (b -> a -> b) -> b -> RNaturalColumns a -> b # foldl' :: (b -> a -> b) -> b -> RNaturalColumns a -> b # foldr1 :: (a -> a -> a) -> RNaturalColumns a -> a # foldl1 :: (a -> a -> a) -> RNaturalColumns a -> a # toList :: RNaturalColumns a -> [a] # null :: RNaturalColumns a -> Bool # length :: RNaturalColumns a -> Int # elem :: Eq a => a -> RNaturalColumns a -> Bool # maximum :: Ord a => RNaturalColumns a -> a # minimum :: Ord a => RNaturalColumns a -> a # sum :: Num a => RNaturalColumns a -> a # product :: Num a => RNaturalColumns a -> a #
Traversable RNaturalColumns Source #
Methods traverse :: Applicative f => (a -> f b) -> RNaturalColumns a -> f (RNaturalColumns b) # sequenceA :: Applicative f => RNaturalColumns (f a) -> f (RNaturalColumns a) # mapM :: Monad m => (a -> m b) -> RNaturalColumns a -> m (RNaturalColumns b) # sequence :: Monad m => RNaturalColumns (m a) -> m (RNaturalColumns a) #
Eq a => Eq (RNaturalColumns a) Source #
Methods (==) :: RNaturalColumns a -> RNaturalColumns a -> Bool # (/=) :: RNaturalColumns a -> RNaturalColumns a -> Bool #
Data a => Data (RNaturalColumns a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RNaturalColumns a -> c (RNaturalColumns a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (RNaturalColumns a) # toConstr :: RNaturalColumns a -> Constr # dataTypeOf :: RNaturalColumns a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (RNaturalColumns a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (RNaturalColumns a)) # gmapT :: (forall b. Data b => b -> b) -> RNaturalColumns a -> RNaturalColumns a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RNaturalColumns a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RNaturalColumns a -> r # gmapQ :: (forall d. Data d => d -> u) -> RNaturalColumns a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RNaturalColumns a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RNaturalColumns a -> m (RNaturalColumns a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RNaturalColumns a -> m (RNaturalColumns a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RNaturalColumns a -> m (RNaturalColumns a) #
Ord a => Ord (RNaturalColumns a) Source #
Methods compare :: RNaturalColumns a -> RNaturalColumns a -> Ordering # (<) :: RNaturalColumns a -> RNaturalColumns a -> Bool # (<=) :: RNaturalColumns a -> RNaturalColumns a -> Bool # (>) :: RNaturalColumns a -> RNaturalColumns a -> Bool # (>=) :: RNaturalColumns a -> RNaturalColumns a -> Bool # max :: RNaturalColumns a -> RNaturalColumns a -> RNaturalColumns a # min :: RNaturalColumns a -> RNaturalColumns a -> RNaturalColumns a #
Read a => Read (RNaturalColumns a) Source #
Methods readsPrec :: Int -> ReadS (RNaturalColumns a) # readList :: ReadS [RNaturalColumns a] # readPrec :: ReadPrec (RNaturalColumns a) # readListPrec :: ReadPrec [RNaturalColumns a] #
Show a => Show (RNaturalColumns a) Source #
Methods showsPrec :: Int -> RNaturalColumns a -> ShowS # show :: RNaturalColumns a -> String # showList :: [RNaturalColumns a] -> ShowS #
Generic (RNaturalColumns a) Source #
Associated Types type Rep (RNaturalColumns a) :: * -> * # Methods from :: RNaturalColumns a -> Rep (RNaturalColumns a) x # to :: Rep (RNaturalColumns a) x -> RNaturalColumns a #
ToJSON a => ToJSON (RNaturalColumns a) Source #
Methods toJSON :: RNaturalColumns a -> Value # toEncoding :: RNaturalColumns a -> Encoding # toJSONList :: [RNaturalColumns a] -> Value # toEncodingList :: [RNaturalColumns a] -> Encoding #
HasColumns (RNaturalColumns a) Source #
Methods goColumns :: RNaturalColumns a -> Observer Source #
type Rep (RNaturalColumns a) Source #
type Rep (RNaturalColumns a) = D1 * (MetaData "RNaturalColumns" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "RNaturalColumns" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [RUsingColumn a])))

data RUsingColumn a Source #

Constructors

RUsingColumn (RColumnRef a) (RColumnRef a)

Instances

Functor RUsingColumn Source #
Methods fmap :: (a -> b) -> RUsingColumn a -> RUsingColumn b # (<$) :: a -> RUsingColumn b -> RUsingColumn a #
Foldable RUsingColumn Source #
Methods fold :: Monoid m => RUsingColumn m -> m # foldMap :: Monoid m => (a -> m) -> RUsingColumn a -> m # foldr :: (a -> b -> b) -> b -> RUsingColumn a -> b # foldr' :: (a -> b -> b) -> b -> RUsingColumn a -> b # foldl :: (b -> a -> b) -> b -> RUsingColumn a -> b # foldl' :: (b -> a -> b) -> b -> RUsingColumn a -> b # foldr1 :: (a -> a -> a) -> RUsingColumn a -> a # foldl1 :: (a -> a -> a) -> RUsingColumn a -> a # toList :: RUsingColumn a -> [a] # null :: RUsingColumn a -> Bool # length :: RUsingColumn a -> Int # elem :: Eq a => a -> RUsingColumn a -> Bool # maximum :: Ord a => RUsingColumn a -> a # minimum :: Ord a => RUsingColumn a -> a # sum :: Num a => RUsingColumn a -> a # product :: Num a => RUsingColumn a -> a #
Traversable RUsingColumn Source #
Methods traverse :: Applicative f => (a -> f b) -> RUsingColumn a -> f (RUsingColumn b) # sequenceA :: Applicative f => RUsingColumn (f a) -> f (RUsingColumn a) # mapM :: Monad m => (a -> m b) -> RUsingColumn a -> m (RUsingColumn b) # sequence :: Monad m => RUsingColumn (m a) -> m (RUsingColumn a) #
Eq a => Eq (RUsingColumn a) Source #
Methods (==) :: RUsingColumn a -> RUsingColumn a -> Bool # (/=) :: RUsingColumn a -> RUsingColumn a -> Bool #
Data a => Data (RUsingColumn a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RUsingColumn a -> c (RUsingColumn a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (RUsingColumn a) # toConstr :: RUsingColumn a -> Constr # dataTypeOf :: RUsingColumn a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (RUsingColumn a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (RUsingColumn a)) # gmapT :: (forall b. Data b => b -> b) -> RUsingColumn a -> RUsingColumn a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RUsingColumn a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RUsingColumn a -> r # gmapQ :: (forall d. Data d => d -> u) -> RUsingColumn a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RUsingColumn a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RUsingColumn a -> m (RUsingColumn a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RUsingColumn a -> m (RUsingColumn a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RUsingColumn a -> m (RUsingColumn a) #
Ord a => Ord (RUsingColumn a) Source #
Methods compare :: RUsingColumn a -> RUsingColumn a -> Ordering # (<) :: RUsingColumn a -> RUsingColumn a -> Bool # (<=) :: RUsingColumn a -> RUsingColumn a -> Bool # (>) :: RUsingColumn a -> RUsingColumn a -> Bool # (>=) :: RUsingColumn a -> RUsingColumn a -> Bool # max :: RUsingColumn a -> RUsingColumn a -> RUsingColumn a # min :: RUsingColumn a -> RUsingColumn a -> RUsingColumn a #
Read a => Read (RUsingColumn a) Source #
Methods readsPrec :: Int -> ReadS (RUsingColumn a) # readList :: ReadS [RUsingColumn a] # readPrec :: ReadPrec (RUsingColumn a) # readListPrec :: ReadPrec [RUsingColumn a] #
Show a => Show (RUsingColumn a) Source #
Methods showsPrec :: Int -> RUsingColumn a -> ShowS # show :: RUsingColumn a -> String # showList :: [RUsingColumn a] -> ShowS #
Generic (RUsingColumn a) Source #
Associated Types type Rep (RUsingColumn a) :: * -> * # Methods from :: RUsingColumn a -> Rep (RUsingColumn a) x # to :: Rep (RUsingColumn a) x -> RUsingColumn a #
ToJSON a => ToJSON (RUsingColumn a) Source #
Methods toJSON :: RUsingColumn a -> Value # toEncoding :: RUsingColumn a -> Encoding # toJSONList :: [RUsingColumn a] -> Value # toEncodingList :: [RUsingColumn a] -> Encoding #
HasColumns (RUsingColumn a) Source #
Methods goColumns :: RUsingColumn a -> Observer Source #
type Rep (RUsingColumn a) Source #
type Rep (RUsingColumn a) = D1 * (MetaData "RUsingColumn" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "RUsingColumn" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (RColumnRef a))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (RColumnRef a)))))

data QFunctionName f a Source #

Constructors

QFunctionName
Fields functionNameInfo :: a functionNameSchema :: f (QSchemaName f a) functionNameName :: Text

Instances

Functor f => Functor (QFunctionName f) Source #
Methods fmap :: (a -> b) -> QFunctionName f a -> QFunctionName f b # (<$) :: a -> QFunctionName f b -> QFunctionName f a #
Foldable f => Foldable (QFunctionName f) Source #
Methods fold :: Monoid m => QFunctionName f m -> m # foldMap :: Monoid m => (a -> m) -> QFunctionName f a -> m # foldr :: (a -> b -> b) -> b -> QFunctionName f a -> b # foldr' :: (a -> b -> b) -> b -> QFunctionName f a -> b # foldl :: (b -> a -> b) -> b -> QFunctionName f a -> b # foldl' :: (b -> a -> b) -> b -> QFunctionName f a -> b # foldr1 :: (a -> a -> a) -> QFunctionName f a -> a # foldl1 :: (a -> a -> a) -> QFunctionName f a -> a # toList :: QFunctionName f a -> [a] # null :: QFunctionName f a -> Bool # length :: QFunctionName f a -> Int # elem :: Eq a => a -> QFunctionName f a -> Bool # maximum :: Ord a => QFunctionName f a -> a # minimum :: Ord a => QFunctionName f a -> a # sum :: Num a => QFunctionName f a -> a # product :: Num a => QFunctionName f a -> a #
Traversable f => Traversable (QFunctionName f) Source #
Methods traverse :: Applicative f => (a -> f b) -> QFunctionName f a -> f (QFunctionName f b) # sequenceA :: Applicative f => QFunctionName f (f a) -> f (QFunctionName f a) # mapM :: Monad m => (a -> m b) -> QFunctionName f a -> m (QFunctionName f b) # sequence :: Monad m => QFunctionName f (m a) -> m (QFunctionName f a) #
(Eq a, Eq (f (QSchemaName f a))) => Eq (QFunctionName f a) Source #
Methods (==) :: QFunctionName f a -> QFunctionName f a -> Bool # (/=) :: QFunctionName f a -> QFunctionName f a -> Bool #
(Data a, Data (f (QSchemaName f a)), Typeable (* -> ) f, Typeable a) => Data (QFunctionName f a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QFunctionName f a -> c (QFunctionName f a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (QFunctionName f a) # toConstr :: QFunctionName f a -> Constr # dataTypeOf :: QFunctionName f a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (QFunctionName f a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (QFunctionName f a)) # gmapT :: (forall b. Data b => b -> b) -> QFunctionName f a -> QFunctionName f a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QFunctionName f a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QFunctionName f a -> r # gmapQ :: (forall d. Data d => d -> u) -> QFunctionName f a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QFunctionName f a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QFunctionName f a -> m (QFunctionName f a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QFunctionName f a -> m (QFunctionName f a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QFunctionName f a -> m (QFunctionName f a) #
(Ord a, Ord (f (QSchemaName f a))) => Ord (QFunctionName f a) Source #
Methods compare :: QFunctionName f a -> QFunctionName f a -> Ordering # (<) :: QFunctionName f a -> QFunctionName f a -> Bool # (<=) :: QFunctionName f a -> QFunctionName f a -> Bool # (>) :: QFunctionName f a -> QFunctionName f a -> Bool # (>=) :: QFunctionName f a -> QFunctionName f a -> Bool # max :: QFunctionName f a -> QFunctionName f a -> QFunctionName f a # min :: QFunctionName f a -> QFunctionName f a -> QFunctionName f a #
(Read a, Read (f (QSchemaName f a))) => Read (QFunctionName f a) Source #
Methods readsPrec :: Int -> ReadS (QFunctionName f a) # readList :: ReadS [QFunctionName f a] # readPrec :: ReadPrec (QFunctionName f a) # readListPrec :: ReadPrec [QFunctionName f a] #
(Show a, Show (f (QSchemaName f a))) => Show (QFunctionName f a) Source #
Methods showsPrec :: Int -> QFunctionName f a -> ShowS # show :: QFunctionName f a -> String # showList :: [QFunctionName f a] -> ShowS #
Generic (QFunctionName f a) Source #
Associated Types type Rep (QFunctionName f a) :: * -> * # Methods from :: QFunctionName f a -> Rep (QFunctionName f a) x # to :: Rep (QFunctionName f a) x -> QFunctionName f a #
(Arbitrary (f (QSchemaName f a)), Arbitrary a, Eq (f SchemaType), Applicative f) => Arbitrary (QFunctionName f a) Source #
Methods arbitrary :: Gen (QFunctionName f a) # shrink :: QFunctionName f a -> [QFunctionName f a] #
(ToJSON (f (QSchemaName f a)), ToJSON a) => ToJSON (QFunctionName f a) Source #
Methods toJSON :: QFunctionName f a -> Value # toEncoding :: QFunctionName f a -> Encoding # toJSONList :: [QFunctionName f a] -> Value # toEncodingList :: [QFunctionName f a] -> Encoding #
(FromJSON (f (QSchemaName f a)), FromJSON a) => FromJSON (QFunctionName f a) Source #
Methods parseJSON :: Value -> Parser (QFunctionName f a) # parseJSONList :: Value -> Parser [QFunctionName f a] #
(Foldable f, Functor f, Semigroup a) => HasInfo (QFunctionName f a) Source #
Associated Types type Info (QFunctionName f a) :: * Source # Methods getInfo :: QFunctionName f a -> Info (QFunctionName f a) Source #
type Rep (QFunctionName f a) Source #
type Rep (QFunctionName f a) = D1 * (MetaData "QFunctionName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "QFunctionName" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "functionNameInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) ((::) (S1 * (MetaSel (Just Symbol "functionNameSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (QSchemaName f a)))) (S1 * (MetaSel (Just Symbol "functionNameName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))
type Info (QFunctionName f a) Source #
type Info (QFunctionName f a) = a

type FunctionName = QFunctionName Maybe Source #

data QColumnName f a Source #

Constructors

QColumnName
Fields columnNameInfo :: a columnNameTable :: f (QTableName f a) columnNameName :: Text

Instances

Functor f => Functor (QColumnName f) Source #
Methods fmap :: (a -> b) -> QColumnName f a -> QColumnName f b # (<$) :: a -> QColumnName f b -> QColumnName f a #
IsString (UQColumnName ()) Source #
Methods fromString :: String -> UQColumnName () #
Foldable f => Foldable (QColumnName f) Source #
Methods fold :: Monoid m => QColumnName f m -> m # foldMap :: Monoid m => (a -> m) -> QColumnName f a -> m # foldr :: (a -> b -> b) -> b -> QColumnName f a -> b # foldr' :: (a -> b -> b) -> b -> QColumnName f a -> b # foldl :: (b -> a -> b) -> b -> QColumnName f a -> b # foldl' :: (b -> a -> b) -> b -> QColumnName f a -> b # foldr1 :: (a -> a -> a) -> QColumnName f a -> a # foldl1 :: (a -> a -> a) -> QColumnName f a -> a # toList :: QColumnName f a -> [a] # null :: QColumnName f a -> Bool # length :: QColumnName f a -> Int # elem :: Eq a => a -> QColumnName f a -> Bool # maximum :: Ord a => QColumnName f a -> a # minimum :: Ord a => QColumnName f a -> a # sum :: Num a => QColumnName f a -> a # product :: Num a => QColumnName f a -> a #
Traversable f => Traversable (QColumnName f) Source #
Methods traverse :: Applicative f => (a -> f b) -> QColumnName f a -> f (QColumnName f b) # sequenceA :: Applicative f => QColumnName f (f a) -> f (QColumnName f a) # mapM :: Monad m => (a -> m b) -> QColumnName f a -> m (QColumnName f b) # sequence :: Monad m => QColumnName f (m a) -> m (QColumnName f a) #
(Eq (f (QTableName f a)), Eq a) => Eq (QColumnName f a) Source #
Methods (==) :: QColumnName f a -> QColumnName f a -> Bool # (/=) :: QColumnName f a -> QColumnName f a -> Bool #
(Data (f (QTableName f a)), Data a, Typeable (* -> ) f, Typeable a) => Data (QColumnName f a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QColumnName f a -> c (QColumnName f a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (QColumnName f a) # toConstr :: QColumnName f a -> Constr # dataTypeOf :: QColumnName f a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (QColumnName f a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (QColumnName f a)) # gmapT :: (forall b. Data b => b -> b) -> QColumnName f a -> QColumnName f a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QColumnName f a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QColumnName f a -> r # gmapQ :: (forall d. Data d => d -> u) -> QColumnName f a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QColumnName f a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QColumnName f a -> m (QColumnName f a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QColumnName f a -> m (QColumnName f a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QColumnName f a -> m (QColumnName f a) #
(Ord (f (QTableName f a)), Ord a) => Ord (QColumnName f a) Source #
Methods compare :: QColumnName f a -> QColumnName f a -> Ordering # (<) :: QColumnName f a -> QColumnName f a -> Bool # (<=) :: QColumnName f a -> QColumnName f a -> Bool # (>) :: QColumnName f a -> QColumnName f a -> Bool # (>=) :: QColumnName f a -> QColumnName f a -> Bool # max :: QColumnName f a -> QColumnName f a -> QColumnName f a # min :: QColumnName f a -> QColumnName f a -> QColumnName f a #
(Read (f (QTableName f a)), Read a) => Read (QColumnName f a) Source #
Methods readsPrec :: Int -> ReadS (QColumnName f a) # readList :: ReadS [QColumnName f a] # readPrec :: ReadPrec (QColumnName f a) # readListPrec :: ReadPrec [QColumnName f a] #
(Show (f (QTableName f a)), Show a) => Show (QColumnName f a) Source #
Methods showsPrec :: Int -> QColumnName f a -> ShowS # show :: QColumnName f a -> String # showList :: [QColumnName f a] -> ShowS #
Generic (QColumnName f a) Source #
Associated Types type Rep (QColumnName f a) :: * -> * # Methods from :: QColumnName f a -> Rep (QColumnName f a) x # to :: Rep (QColumnName f a) x -> QColumnName f a #
(Arbitrary (f (QTableName f a)), Arbitrary a) => Arbitrary (QColumnName f a) Source #
Methods arbitrary :: Gen (QColumnName f a) # shrink :: QColumnName f a -> [QColumnName f a] #
(ToJSON (f (QTableName f a)), ToJSON a) => ToJSON (QColumnName f a) Source #
Methods toJSON :: QColumnName f a -> Value # toEncoding :: QColumnName f a -> Encoding # toJSONList :: [QColumnName f a] -> Value # toEncodingList :: [QColumnName f a] -> Encoding #
(FromJSON (f (QTableName f a)), FromJSON a) => FromJSON (QColumnName f a) Source #
Methods parseJSON :: Value -> Parser (QColumnName f a) # parseJSONList :: Value -> Parser [QColumnName f a] #
Foldable f => Pretty (QColumnName f a) Source #
Methods pretty :: QColumnName f a -> Doc Source #
(Foldable f, Functor f, Semigroup a) => HasInfo (QColumnName f a) Source #
Associated Types type Info (QColumnName f a) :: * Source # Methods getInfo :: QColumnName f a -> Info (QColumnName f a) Source #
type Rep (QColumnName f a) Source #
type Rep (QColumnName f a) = D1 * (MetaData "QColumnName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "QColumnName" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "columnNameInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) ((::) (S1 * (MetaSel (Just Symbol "columnNameTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (f (QTableName f a)))) (S1 * (MetaSel (Just Symbol "columnNameName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))))
type Info (QColumnName f a) Source #
type Info (QColumnName f a) = a

type UQColumnName = QColumnName No Source #

type OQColumnName = QColumnName Maybe Source #

type FQColumnName = QColumnName Identity Source #

newtype ColumnAliasId Source #

Constructors

ColumnAliasId Integer

Instances

Eq ColumnAliasId Source #
Methods (==) :: ColumnAliasId -> ColumnAliasId -> Bool # (/=) :: ColumnAliasId -> ColumnAliasId -> Bool #
Data ColumnAliasId Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnAliasId -> c ColumnAliasId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnAliasId # toConstr :: ColumnAliasId -> Constr # dataTypeOf :: ColumnAliasId -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ColumnAliasId) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnAliasId) # gmapT :: (forall b. Data b => b -> b) -> ColumnAliasId -> ColumnAliasId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAliasId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAliasId -> r # gmapQ :: (forall d. Data d => d -> u) -> ColumnAliasId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnAliasId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnAliasId -> m ColumnAliasId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAliasId -> m ColumnAliasId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAliasId -> m ColumnAliasId #
Ord ColumnAliasId Source #
Methods compare :: ColumnAliasId -> ColumnAliasId -> Ordering # (<) :: ColumnAliasId -> ColumnAliasId -> Bool # (<=) :: ColumnAliasId -> ColumnAliasId -> Bool # (>) :: ColumnAliasId -> ColumnAliasId -> Bool # (>=) :: ColumnAliasId -> ColumnAliasId -> Bool # max :: ColumnAliasId -> ColumnAliasId -> ColumnAliasId # min :: ColumnAliasId -> ColumnAliasId -> ColumnAliasId #
Read ColumnAliasId Source #
Methods readsPrec :: Int -> ReadS ColumnAliasId # readList :: ReadS [ColumnAliasId] # readPrec :: ReadPrec ColumnAliasId # readListPrec :: ReadPrec [ColumnAliasId] #
Show ColumnAliasId Source #
Methods showsPrec :: Int -> ColumnAliasId -> ShowS # show :: ColumnAliasId -> String # showList :: [ColumnAliasId] -> ShowS #
Generic ColumnAliasId Source #
Associated Types type Rep ColumnAliasId :: * -> * # Methods from :: ColumnAliasId -> Rep ColumnAliasId x # to :: Rep ColumnAliasId x -> ColumnAliasId #
type Rep ColumnAliasId Source #
type Rep ColumnAliasId = D1 * (MetaData "ColumnAliasId" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" True) (C1 * (MetaCons "ColumnAliasId" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Integer)))

data ColumnAlias a Source #

Constructors

ColumnAlias a Text ColumnAliasId

Instances

Functor ColumnAlias Source #
Methods fmap :: (a -> b) -> ColumnAlias a -> ColumnAlias b # (<$) :: a -> ColumnAlias b -> ColumnAlias a #
Foldable ColumnAlias Source #
Methods fold :: Monoid m => ColumnAlias m -> m # foldMap :: Monoid m => (a -> m) -> ColumnAlias a -> m # foldr :: (a -> b -> b) -> b -> ColumnAlias a -> b # foldr' :: (a -> b -> b) -> b -> ColumnAlias a -> b # foldl :: (b -> a -> b) -> b -> ColumnAlias a -> b # foldl' :: (b -> a -> b) -> b -> ColumnAlias a -> b # foldr1 :: (a -> a -> a) -> ColumnAlias a -> a # foldl1 :: (a -> a -> a) -> ColumnAlias a -> a # toList :: ColumnAlias a -> [a] # null :: ColumnAlias a -> Bool # length :: ColumnAlias a -> Int # elem :: Eq a => a -> ColumnAlias a -> Bool # maximum :: Ord a => ColumnAlias a -> a # minimum :: Ord a => ColumnAlias a -> a # sum :: Num a => ColumnAlias a -> a # product :: Num a => ColumnAlias a -> a #
Traversable ColumnAlias Source #
Methods traverse :: Applicative f => (a -> f b) -> ColumnAlias a -> f (ColumnAlias b) # sequenceA :: Applicative f => ColumnAlias (f a) -> f (ColumnAlias a) # mapM :: Monad m => (a -> m b) -> ColumnAlias a -> m (ColumnAlias b) # sequence :: Monad m => ColumnAlias (m a) -> m (ColumnAlias a) #
Eq a => Eq (ColumnAlias a) Source #
Methods (==) :: ColumnAlias a -> ColumnAlias a -> Bool # (/=) :: ColumnAlias a -> ColumnAlias a -> Bool #
Data a => Data (ColumnAlias a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnAlias a -> c (ColumnAlias a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ColumnAlias a) # toConstr :: ColumnAlias a -> Constr # dataTypeOf :: ColumnAlias a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ColumnAlias a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ColumnAlias a)) # gmapT :: (forall b. Data b => b -> b) -> ColumnAlias a -> ColumnAlias a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAlias a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnAlias a -> r # gmapQ :: (forall d. Data d => d -> u) -> ColumnAlias a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnAlias a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnAlias a -> m (ColumnAlias a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAlias a -> m (ColumnAlias a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnAlias a -> m (ColumnAlias a) #
Ord a => Ord (ColumnAlias a) Source #
Methods compare :: ColumnAlias a -> ColumnAlias a -> Ordering # (<) :: ColumnAlias a -> ColumnAlias a -> Bool # (<=) :: ColumnAlias a -> ColumnAlias a -> Bool # (>) :: ColumnAlias a -> ColumnAlias a -> Bool # (>=) :: ColumnAlias a -> ColumnAlias a -> Bool # max :: ColumnAlias a -> ColumnAlias a -> ColumnAlias a # min :: ColumnAlias a -> ColumnAlias a -> ColumnAlias a #
Read a => Read (ColumnAlias a) Source #
Methods readsPrec :: Int -> ReadS (ColumnAlias a) # readList :: ReadS [ColumnAlias a] # readPrec :: ReadPrec (ColumnAlias a) # readListPrec :: ReadPrec [ColumnAlias a] #
Show a => Show (ColumnAlias a) Source #
Methods showsPrec :: Int -> ColumnAlias a -> ShowS # show :: ColumnAlias a -> String # showList :: [ColumnAlias a] -> ShowS #
Generic (ColumnAlias a) Source #
Associated Types type Rep (ColumnAlias a) :: * -> * # Methods from :: ColumnAlias a -> Rep (ColumnAlias a) x # to :: Rep (ColumnAlias a) x -> ColumnAlias a #
ToJSON a => ToJSON (ColumnAlias a) Source #
Methods toJSON :: ColumnAlias a -> Value # toEncoding :: ColumnAlias a -> Encoding # toJSONList :: [ColumnAlias a] -> Value # toEncodingList :: [ColumnAlias a] -> Encoding #
FromJSON a => FromJSON (ColumnAlias a) Source #
Methods parseJSON :: Value -> Parser (ColumnAlias a) # parseJSONList :: Value -> Parser [ColumnAlias a] #
HasInfo (ColumnAlias a) Source #
Associated Types type Info (ColumnAlias a) :: * Source # Methods getInfo :: ColumnAlias a -> Info (ColumnAlias a) Source #
type Rep (ColumnAlias a) Source #
type Rep (ColumnAlias a) = D1 * (MetaData "ColumnAlias" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "ColumnAlias" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ColumnAliasId)))))
type Info (ColumnAlias a) Source #
type Info (ColumnAlias a) = a

columnAliasName :: ColumnAlias a -> UQColumnName a Source #

data RColumnRef a Source #

Constructors

RColumnRef (FQColumnName a)
RColumnAlias (ColumnAlias a)

Instances

Functor RColumnRef Source #
Methods fmap :: (a -> b) -> RColumnRef a -> RColumnRef b # (<$) :: a -> RColumnRef b -> RColumnRef a #
Foldable RColumnRef Source #
Methods fold :: Monoid m => RColumnRef m -> m # foldMap :: Monoid m => (a -> m) -> RColumnRef a -> m # foldr :: (a -> b -> b) -> b -> RColumnRef a -> b # foldr' :: (a -> b -> b) -> b -> RColumnRef a -> b # foldl :: (b -> a -> b) -> b -> RColumnRef a -> b # foldl' :: (b -> a -> b) -> b -> RColumnRef a -> b # foldr1 :: (a -> a -> a) -> RColumnRef a -> a # foldl1 :: (a -> a -> a) -> RColumnRef a -> a # toList :: RColumnRef a -> [a] # null :: RColumnRef a -> Bool # length :: RColumnRef a -> Int # elem :: Eq a => a -> RColumnRef a -> Bool # maximum :: Ord a => RColumnRef a -> a # minimum :: Ord a => RColumnRef a -> a # sum :: Num a => RColumnRef a -> a # product :: Num a => RColumnRef a -> a #
Traversable RColumnRef Source #
Methods traverse :: Applicative f => (a -> f b) -> RColumnRef a -> f (RColumnRef b) # sequenceA :: Applicative f => RColumnRef (f a) -> f (RColumnRef a) # mapM :: Monad m => (a -> m b) -> RColumnRef a -> m (RColumnRef b) # sequence :: Monad m => RColumnRef (m a) -> m (RColumnRef a) #
Eq a => Eq (RColumnRef a) Source #
Methods (==) :: RColumnRef a -> RColumnRef a -> Bool # (/=) :: RColumnRef a -> RColumnRef a -> Bool #
Data a => Data (RColumnRef a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RColumnRef a -> c (RColumnRef a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (RColumnRef a) # toConstr :: RColumnRef a -> Constr # dataTypeOf :: RColumnRef a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (RColumnRef a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (RColumnRef a)) # gmapT :: (forall b. Data b => b -> b) -> RColumnRef a -> RColumnRef a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RColumnRef a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RColumnRef a -> r # gmapQ :: (forall d. Data d => d -> u) -> RColumnRef a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RColumnRef a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RColumnRef a -> m (RColumnRef a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RColumnRef a -> m (RColumnRef a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RColumnRef a -> m (RColumnRef a) #
Ord a => Ord (RColumnRef a) Source #
Methods compare :: RColumnRef a -> RColumnRef a -> Ordering # (<) :: RColumnRef a -> RColumnRef a -> Bool # (<=) :: RColumnRef a -> RColumnRef a -> Bool # (>) :: RColumnRef a -> RColumnRef a -> Bool # (>=) :: RColumnRef a -> RColumnRef a -> Bool # max :: RColumnRef a -> RColumnRef a -> RColumnRef a # min :: RColumnRef a -> RColumnRef a -> RColumnRef a #
Read a => Read (RColumnRef a) Source #
Methods readsPrec :: Int -> ReadS (RColumnRef a) # readList :: ReadS [RColumnRef a] # readPrec :: ReadPrec (RColumnRef a) # readListPrec :: ReadPrec [RColumnRef a] #
Show a => Show (RColumnRef a) Source #
Methods showsPrec :: Int -> RColumnRef a -> ShowS # show :: RColumnRef a -> String # showList :: [RColumnRef a] -> ShowS #
Generic (RColumnRef a) Source #
Associated Types type Rep (RColumnRef a) :: * -> * # Methods from :: RColumnRef a -> Rep (RColumnRef a) x # to :: Rep (RColumnRef a) x -> RColumnRef a #
ToJSON a => ToJSON (RColumnRef a) Source #
Methods toJSON :: RColumnRef a -> Value # toEncoding :: RColumnRef a -> Encoding # toJSONList :: [RColumnRef a] -> Value # toEncodingList :: [RColumnRef a] -> Encoding #
FromJSON a => FromJSON (RColumnRef a) Source #
Methods parseJSON :: Value -> Parser (RColumnRef a) # parseJSONList :: Value -> Parser [RColumnRef a] #
HasTables (RColumnRef a) Source #
Methods goTables :: RColumnRef a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasColumns (RColumnRef a) Source #
Methods goColumns :: RColumnRef a -> Observer Source #
Semigroup a => HasInfo (RColumnRef a) Source #
Associated Types type Info (RColumnRef a) :: * Source # Methods getInfo :: RColumnRef a -> Info (RColumnRef a) Source #
type Rep (RColumnRef a) Source #
type Rep (RColumnRef a) = D1 * (MetaData "RColumnRef" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) ((:+:) * (C1 * (MetaCons "RColumnRef" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (FQColumnName a)))) (C1 * (MetaCons "RColumnAlias" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (ColumnAlias a)))))
type Info (RColumnRef a) Source #
type Info (RColumnRef a) = a

data StructFieldName a Source #

Constructors

StructFieldName a Text

Instances

Functor StructFieldName Source #
Methods fmap :: (a -> b) -> StructFieldName a -> StructFieldName b # (<$) :: a -> StructFieldName b -> StructFieldName a #
Foldable StructFieldName Source #
Methods fold :: Monoid m => StructFieldName m -> m # foldMap :: Monoid m => (a -> m) -> StructFieldName a -> m # foldr :: (a -> b -> b) -> b -> StructFieldName a -> b # foldr' :: (a -> b -> b) -> b -> StructFieldName a -> b # foldl :: (b -> a -> b) -> b -> StructFieldName a -> b # foldl' :: (b -> a -> b) -> b -> StructFieldName a -> b # foldr1 :: (a -> a -> a) -> StructFieldName a -> a # foldl1 :: (a -> a -> a) -> StructFieldName a -> a # toList :: StructFieldName a -> [a] # null :: StructFieldName a -> Bool # length :: StructFieldName a -> Int # elem :: Eq a => a -> StructFieldName a -> Bool # maximum :: Ord a => StructFieldName a -> a # minimum :: Ord a => StructFieldName a -> a # sum :: Num a => StructFieldName a -> a # product :: Num a => StructFieldName a -> a #
Traversable StructFieldName Source #
Methods traverse :: Applicative f => (a -> f b) -> StructFieldName a -> f (StructFieldName b) # sequenceA :: Applicative f => StructFieldName (f a) -> f (StructFieldName a) # mapM :: Monad m => (a -> m b) -> StructFieldName a -> m (StructFieldName b) # sequence :: Monad m => StructFieldName (m a) -> m (StructFieldName a) #
Eq a => Eq (StructFieldName a) Source #
Methods (==) :: StructFieldName a -> StructFieldName a -> Bool # (/=) :: StructFieldName a -> StructFieldName a -> Bool #
Data a => Data (StructFieldName a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StructFieldName a -> c (StructFieldName a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (StructFieldName a) # toConstr :: StructFieldName a -> Constr # dataTypeOf :: StructFieldName a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (StructFieldName a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (StructFieldName a)) # gmapT :: (forall b. Data b => b -> b) -> StructFieldName a -> StructFieldName a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StructFieldName a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StructFieldName a -> r # gmapQ :: (forall d. Data d => d -> u) -> StructFieldName a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> StructFieldName a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> StructFieldName a -> m (StructFieldName a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StructFieldName a -> m (StructFieldName a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StructFieldName a -> m (StructFieldName a) #
Ord a => Ord (StructFieldName a) Source #
Methods compare :: StructFieldName a -> StructFieldName a -> Ordering # (<) :: StructFieldName a -> StructFieldName a -> Bool # (<=) :: StructFieldName a -> StructFieldName a -> Bool # (>) :: StructFieldName a -> StructFieldName a -> Bool # (>=) :: StructFieldName a -> StructFieldName a -> Bool # max :: StructFieldName a -> StructFieldName a -> StructFieldName a # min :: StructFieldName a -> StructFieldName a -> StructFieldName a #
Show a => Show (StructFieldName a) Source #
Methods showsPrec :: Int -> StructFieldName a -> ShowS # show :: StructFieldName a -> String # showList :: [StructFieldName a] -> ShowS #
Generic (StructFieldName a) Source #
Associated Types type Rep (StructFieldName a) :: * -> * # Methods from :: StructFieldName a -> Rep (StructFieldName a) x # to :: Rep (StructFieldName a) x -> StructFieldName a #
ToJSON a => ToJSON (StructFieldName a) Source #
Methods toJSON :: StructFieldName a -> Value # toEncoding :: StructFieldName a -> Encoding # toJSONList :: [StructFieldName a] -> Value # toEncodingList :: [StructFieldName a] -> Encoding #
FromJSON a => FromJSON (StructFieldName a) Source #
Methods parseJSON :: Value -> Parser (StructFieldName a) # parseJSONList :: Value -> Parser [StructFieldName a] #
HasInfo (StructFieldName a) Source #
Associated Types type Info (StructFieldName a) :: * Source # Methods getInfo :: StructFieldName a -> Info (StructFieldName a) Source #
type Rep (StructFieldName a) Source #
type Rep (StructFieldName a) = D1 * (MetaData "StructFieldName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "StructFieldName" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))
type Info (StructFieldName a) Source #
type Info (StructFieldName a) = a

newtype FieldChain Source #

Constructors

FieldChain (Map (StructFieldName ()) FieldChain)

Instances

Eq FieldChain Source #
Methods (==) :: FieldChain -> FieldChain -> Bool # (/=) :: FieldChain -> FieldChain -> Bool #
Ord FieldChain Source #
Methods compare :: FieldChain -> FieldChain -> Ordering # (<) :: FieldChain -> FieldChain -> Bool # (<=) :: FieldChain -> FieldChain -> Bool # (>) :: FieldChain -> FieldChain -> Bool # (>=) :: FieldChain -> FieldChain -> Bool # max :: FieldChain -> FieldChain -> FieldChain # min :: FieldChain -> FieldChain -> FieldChain #
Show FieldChain Source #
Methods showsPrec :: Int -> FieldChain -> ShowS # show :: FieldChain -> String # showList :: [FieldChain] -> ShowS #
Semigroup FieldChain Source #
Methods (<>) :: FieldChain -> FieldChain -> FieldChain # sconcat :: NonEmpty FieldChain -> FieldChain # stimes :: Integral b => b -> FieldChain -> FieldChain #

data ParamName a Source #

Constructors

ParamName a Text

Instances

Functor ParamName Source #
Methods fmap :: (a -> b) -> ParamName a -> ParamName b # (<$) :: a -> ParamName b -> ParamName a #
Foldable ParamName Source #
Methods fold :: Monoid m => ParamName m -> m # foldMap :: Monoid m => (a -> m) -> ParamName a -> m # foldr :: (a -> b -> b) -> b -> ParamName a -> b # foldr' :: (a -> b -> b) -> b -> ParamName a -> b # foldl :: (b -> a -> b) -> b -> ParamName a -> b # foldl' :: (b -> a -> b) -> b -> ParamName a -> b # foldr1 :: (a -> a -> a) -> ParamName a -> a # foldl1 :: (a -> a -> a) -> ParamName a -> a # toList :: ParamName a -> [a] # null :: ParamName a -> Bool # length :: ParamName a -> Int # elem :: Eq a => a -> ParamName a -> Bool # maximum :: Ord a => ParamName a -> a # minimum :: Ord a => ParamName a -> a # sum :: Num a => ParamName a -> a # product :: Num a => ParamName a -> a #
Traversable ParamName Source #
Methods traverse :: Applicative f => (a -> f b) -> ParamName a -> f (ParamName b) # sequenceA :: Applicative f => ParamName (f a) -> f (ParamName a) # mapM :: Monad m => (a -> m b) -> ParamName a -> m (ParamName b) # sequence :: Monad m => ParamName (m a) -> m (ParamName a) #
Eq a => Eq (ParamName a) Source #
Methods (==) :: ParamName a -> ParamName a -> Bool # (/=) :: ParamName a -> ParamName a -> Bool #
Data a => Data (ParamName a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamName a -> c (ParamName a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ParamName a) # toConstr :: ParamName a -> Constr # dataTypeOf :: ParamName a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ParamName a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ParamName a)) # gmapT :: (forall b. Data b => b -> b) -> ParamName a -> ParamName a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamName a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamName a -> r # gmapQ :: (forall d. Data d => d -> u) -> ParamName a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamName a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamName a -> m (ParamName a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamName a -> m (ParamName a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamName a -> m (ParamName a) #
Ord a => Ord (ParamName a) Source #
Methods compare :: ParamName a -> ParamName a -> Ordering # (<) :: ParamName a -> ParamName a -> Bool # (<=) :: ParamName a -> ParamName a -> Bool # (>) :: ParamName a -> ParamName a -> Bool # (>=) :: ParamName a -> ParamName a -> Bool # max :: ParamName a -> ParamName a -> ParamName a # min :: ParamName a -> ParamName a -> ParamName a #
Read a => Read (ParamName a) Source #
Methods readsPrec :: Int -> ReadS (ParamName a) # readList :: ReadS [ParamName a] # readPrec :: ReadPrec (ParamName a) # readListPrec :: ReadPrec [ParamName a] #
Show a => Show (ParamName a) Source #
Methods showsPrec :: Int -> ParamName a -> ShowS # show :: ParamName a -> String # showList :: [ParamName a] -> ShowS #
Generic (ParamName a) Source #
Associated Types type Rep (ParamName a) :: * -> * # Methods from :: ParamName a -> Rep (ParamName a) x # to :: Rep (ParamName a) x -> ParamName a #
Arbitrary a => Arbitrary (ParamName a) Source #
Methods arbitrary :: Gen (ParamName a) # shrink :: ParamName a -> [ParamName a] #
ToJSON a => ToJSON (ParamName a) Source #
Methods toJSON :: ParamName a -> Value # toEncoding :: ParamName a -> Encoding # toJSONList :: [ParamName a] -> Value # toEncodingList :: [ParamName a] -> Encoding #
FromJSON a => FromJSON (ParamName a) Source #
Methods parseJSON :: Value -> Parser (ParamName a) # parseJSONList :: Value -> Parser [ParamName a] #
HasInfo (ParamName a) Source #
Associated Types type Info (ParamName a) :: * Source # Methods getInfo :: ParamName a -> Info (ParamName a) Source #
type Rep (ParamName a) Source #
type Rep (ParamName a) = D1 * (MetaData "ParamName" "Database.Sql.Type.Names" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "ParamName" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))
type Info (ParamName a) Source #
type Info (ParamName a) = a