Database.Sql.Type.Names

Documentation

type ConstrainSNames (c :: * -> Constraint) r a = (c a, c (TableRef r a), c (TableName r a), c (CreateTableName r a), c (DropTableName r a), c (SchemaName r a), c (CreateSchemaName r a), c (ColumnRef r a), c (NaturalColumns r a), c (UsingColumn r a), c (StarReferents r a), c (PositionExpr r a), c (ComposedQueryColumns r a))

type ConstrainSASNames (c :: (* -> *) -> Constraint) r = (c (TableRef r), c (TableName r), c (CreateTableName r), c (DropTableName r), c (SchemaName r), c (CreateSchemaName r), c (ColumnRef r), c (NaturalColumns r), c (UsingColumn r), c (StarReferents r), c (PositionExpr r), c (ComposedQueryColumns r))

class Resolution r

Associated Types

type TableRef r :: * -> *

TableRef refers to either a table in the catalog, or an alias

type TableName r :: * -> *

TableName refers to a table in the catalog

type CreateTableName r :: * -> *

CreateTableName refers to a table that might be in the catalog

Used for CREATE TABLE, special rules for resolution

type DropTableName r :: * -> *

DropTableName refers to a table that might be in the catalog

Used for DROP TABLE, special rules for resolution

type SchemaName r :: * -> *

SchemaName refers to a schema in the catalog

type CreateSchemaName r :: * -> *

CreateSchemaName refers to a table that might be in the catalog

Used for CREATE SCHEMA, special rules for resolution

type ColumnRef r :: * -> *

ColumnRef refers to either a column in the catalog, or an alias

type NaturalColumns r :: * -> *

NaturalColumns refers to columns compared in a natural join

type UsingColumn r :: * -> *

UsingColumn refers to columns that appear in USING (...)

type StarReferents r :: * -> *

type PositionExpr r :: * -> *

type ComposedQueryColumns r :: * -> *

Instances

Resolution ResolvedNames

Associated Types

type TableRef ResolvedNames :: * -> *

type TableName ResolvedNames :: * -> *

type CreateTableName ResolvedNames :: * -> *

type DropTableName ResolvedNames :: * -> *

type SchemaName ResolvedNames :: * -> *

type CreateSchemaName ResolvedNames :: * -> *

type ColumnRef ResolvedNames :: * -> *

type NaturalColumns ResolvedNames :: * -> *

type UsingColumn ResolvedNames :: * -> *

type StarReferents ResolvedNames :: * -> *

type PositionExpr ResolvedNames :: * -> *

type ComposedQueryColumns ResolvedNames :: * -> *

Resolution RawNames

Associated Types

type TableRef RawNames :: * -> *

type TableName RawNames :: * -> *

type CreateTableName RawNames :: * -> *

type DropTableName RawNames :: * -> *

type SchemaName RawNames :: * -> *

type CreateSchemaName RawNames :: * -> *

type ColumnRef RawNames :: * -> *

type NaturalColumns RawNames :: * -> *

type UsingColumn RawNames :: * -> *

type StarReferents RawNames :: * -> *

type PositionExpr RawNames :: * -> *

type ComposedQueryColumns RawNames :: * -> *

type FQCN = FullyQualifiedColumnName

data FullyQualifiedColumnName

Constructors

FullyQualifiedColumnName

Fields

• fqcnDatabaseName :: Text
• fqcnSchemaName :: Text
• fqcnTableName :: Text
• fqcnColumnName :: Text

Instances

Eq FullyQualifiedColumnName

Methods

(==) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool

(/=) :: FullyQualifiedColumnName -> FullyQualifiedColumnName -> Bool

Data FullyQualifiedColumnName

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

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

Methods

showsPrec :: Int -> FullyQualifiedColumnName -> ShowS

show :: FullyQualifiedColumnName -> String

showList :: [FullyQualifiedColumnName] -> ShowS

Generic FullyQualifiedColumnName

Associated Types

type Rep FullyQualifiedColumnName :: * -> *

Methods

from :: FullyQualifiedColumnName -> Rep FullyQualifiedColumnName x

to :: Rep FullyQualifiedColumnName x -> FullyQualifiedColumnName

type Rep FullyQualifiedColumnName

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

data FullyQualifiedTableName

Constructors

FullyQualifiedTableName

Fields

• fqtnDatabaseName :: Text
• fqtnSchemaName :: Text
• fqtnTableName :: Text

Instances

Eq FullyQualifiedTableName

Methods

(==) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool

(/=) :: FullyQualifiedTableName -> FullyQualifiedTableName -> Bool

Data FullyQualifiedTableName

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

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

Methods

showsPrec :: Int -> FullyQualifiedTableName -> ShowS

show :: FullyQualifiedTableName -> String

showList :: [FullyQualifiedTableName] -> ShowS

Generic FullyQualifiedTableName

Associated Types

type Rep FullyQualifiedTableName :: * -> *

Methods

from :: FullyQualifiedTableName -> Rep FullyQualifiedTableName x

to :: Rep FullyQualifiedTableName x -> FullyQualifiedTableName

type Rep FullyQualifiedTableName

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 ()

fqcnToFQCN :: FQColumnName a -> FullyQualifiedColumnName

fqtnToFQTN :: FQTableName a -> FullyQualifiedTableName

data DatabaseName a

Constructors

DatabaseName a Text

Instances

Functor DatabaseName

Methods

fmap :: (a -> b) -> DatabaseName a -> DatabaseName b

(<$) :: a -> DatabaseName b -> DatabaseName a

Foldable DatabaseName

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

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)

Methods

(==) :: DatabaseName a -> DatabaseName a -> Bool

(/=) :: DatabaseName a -> DatabaseName a -> Bool

Data a => Data (DatabaseName a)

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)

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)

Methods

readsPrec :: Int -> ReadS (DatabaseName a)

readList :: ReadS [DatabaseName a]

readPrec :: ReadPrec (DatabaseName a)

readListPrec :: ReadPrec [DatabaseName a]

Show a => Show (DatabaseName a)

Methods

showsPrec :: Int -> DatabaseName a -> ShowS

show :: DatabaseName a -> String

showList :: [DatabaseName a] -> ShowS

Generic (DatabaseName a)

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)

Methods

arbitrary :: Gen (DatabaseName a)

shrink :: DatabaseName a -> [DatabaseName a]

Hashable (DatabaseName a)

Methods

hashWithSalt :: Int -> DatabaseName a -> Int

hash :: DatabaseName a -> Int

ToJSON a => ToJSON (DatabaseName a)

Methods

toJSON :: DatabaseName a -> Value

toEncoding :: DatabaseName a -> Encoding

toJSONList :: [DatabaseName a] -> Value

toEncodingList :: [DatabaseName a] -> Encoding

FromJSON a => FromJSON (DatabaseName a)

Methods

parseJSON :: Value -> Parser (DatabaseName a)

parseJSONList :: Value -> Parser [DatabaseName a]

Pretty (DatabaseName a)

Methods

pretty :: DatabaseName a -> Doc

HasInfo (DatabaseName a)

Associated Types

type Info (DatabaseName a) :: *

Methods

getInfo :: DatabaseName a -> Info (DatabaseName a)

type Rep (DatabaseName a)

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)

type Info (DatabaseName a) = a

data SchemaType

Constructors

NormalSchema

SessionSchema

Instances

Eq SchemaType

Methods

(==) :: SchemaType -> SchemaType -> Bool

(/=) :: SchemaType -> SchemaType -> Bool

Data SchemaType

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

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

Methods

readsPrec :: Int -> ReadS SchemaType

readList :: ReadS [SchemaType]

readPrec :: ReadPrec SchemaType

readListPrec :: ReadPrec [SchemaType]

Show SchemaType

Methods

showsPrec :: Int -> SchemaType -> ShowS

show :: SchemaType -> String

showList :: [SchemaType] -> ShowS

Generic SchemaType

Associated Types

type Rep SchemaType :: * -> *

Methods

from :: SchemaType -> Rep SchemaType x

to :: Rep SchemaType x -> SchemaType

Hashable SchemaType

Methods

hashWithSalt :: Int -> SchemaType -> Int

hash :: SchemaType -> Int

ToJSON SchemaType

Methods

toJSON :: SchemaType -> Value

toEncoding :: SchemaType -> Encoding

toJSONList :: [SchemaType] -> Value

toEncodingList :: [SchemaType] -> Encoding

FromJSON SchemaType

Methods

parseJSON :: Value -> Parser SchemaType

parseJSONList :: Value -> Parser [SchemaType]

type Rep SchemaType

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

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)

Methods

fmap :: (a -> b) -> QSchemaName f a -> QSchemaName f b

(<$) :: a -> QSchemaName f b -> QSchemaName f a

Foldable f => Foldable (QSchemaName f)

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)

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)

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)

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)

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)

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)

Methods

showsPrec :: Int -> QSchemaName f a -> ShowS

show :: QSchemaName f a -> String

showList :: [QSchemaName f a] -> ShowS

Generic (QSchemaName f a)

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)

Methods

arbitrary :: Gen (QSchemaName f a)

shrink :: QSchemaName f a -> [QSchemaName f a]

Hashable (f (DatabaseName a)) => Hashable (QSchemaName f a)

Methods

hashWithSalt :: Int -> QSchemaName f a -> Int

hash :: QSchemaName f a -> Int

(ToJSON (f (DatabaseName a)), ToJSON a) => ToJSON (QSchemaName f a)

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)

Methods

parseJSON :: Value -> Parser (QSchemaName f a)

parseJSONList :: Value -> Parser [QSchemaName f a]

Foldable f => Pretty (QSchemaName f a)

Methods

pretty :: QSchemaName f a -> Doc

(Foldable f, Functor f, Semigroup a) => HasInfo (QSchemaName f a)

Associated Types

type Info (QSchemaName f a) :: *

Methods

getInfo :: QSchemaName f a -> Info (QSchemaName f a)

type Rep (QSchemaName f a)

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)

type Info (QSchemaName f a) = a

type UQSchemaName = QSchemaName No

type OQSchemaName = QSchemaName Maybe

type FQSchemaName = QSchemaName Identity

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

arbitraryUnquotedIdentifier :: Gen Text

arbitraryQuotedIdentifier :: Gen Text

arbitraryIdentifier :: Gen Text

data Identifier (ids :: [Symbol])

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

Constructors

Identifier Text

Instances

Eq (Identifier ids)

Methods

(==) :: Identifier ids -> Identifier ids -> Bool

(/=) :: Identifier ids -> Identifier ids -> Bool

KnownSymbols ids => Arbitrary (Identifier ids)

Methods

arbitrary :: Gen (Identifier ids)

shrink :: Identifier ids -> [Identifier ids]

class KnownSymbols (xs :: [Symbol]) where

Minimal complete definition

symbolVals

Methods

symbolVals :: proxy xs -> [String]

Instances

KnownSymbols ([] Symbol)

Methods

symbolVals :: proxy [Symbol] -> [String]

(KnownSymbol x, KnownSymbols xs) => KnownSymbols ((:) Symbol x xs)

Methods

symbolVals :: proxy ((Symbol ': x) xs) -> [String]

data QTableName f a

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)

Methods

fmap :: (a -> b) -> QTableName f a -> QTableName f b

(<$) :: a -> QTableName f b -> QTableName f a

Foldable f => Foldable (QTableName f)

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)

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)

Methods

goTables :: FQTableName a -> ReaderT * UsageMode (Writer (Set TableUse)) ()

(Eq a, Eq (f (QSchemaName f a))) => Eq (QTableName f a)

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)

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)

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)

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)

Methods

showsPrec :: Int -> QTableName f a -> ShowS

show :: QTableName f a -> String

showList :: [QTableName f a] -> ShowS

Generic (QTableName f a)

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)

Methods

arbitrary :: Gen (QTableName f a)

shrink :: QTableName f a -> [QTableName f a]

Hashable (f (QSchemaName f a)) => Hashable (QTableName f a)

Methods

hashWithSalt :: Int -> QTableName f a -> Int

hash :: QTableName f a -> Int

(ToJSON (f (QSchemaName f a)), ToJSON a) => ToJSON (QTableName f a)

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)

Methods

parseJSON :: Value -> Parser (QTableName f a)

parseJSONList :: Value -> Parser [QTableName f a]

Foldable f => Pretty (QTableName f a)

Methods

pretty :: QTableName f a -> Doc

(Foldable f, Functor f, Semigroup a) => HasInfo (QTableName f a)

Associated Types

type Info (QTableName f a) :: *

Methods

getInfo :: QTableName f a -> Info (QTableName f a)

type Rep (QTableName f a)

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)

type Info (QTableName f a) = a

data No a

Constructors

None

Instances

Functor No

Methods

fmap :: (a -> b) -> No a -> No b

(<$) :: a -> No b -> No a

Applicative No

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

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

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

Methods

empty :: No a

(<|>) :: No a -> No a -> No a

some :: No a -> No [a]

many :: No a -> No [a]

Eq (No a)

Methods

(==) :: No a -> No a -> Bool

(/=) :: No a -> No a -> Bool

Data a => Data (No a)

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)

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)

Methods

readsPrec :: Int -> ReadS (No a)

readList :: ReadS [No a]

readPrec :: ReadPrec (No a)

readListPrec :: ReadPrec [No a]

Show (No a)

Methods

showsPrec :: Int -> No a -> ShowS

show :: No a -> String

showList :: [No a] -> ShowS

IsString (UQColumnName ())

Methods

fromString :: String -> UQColumnName ()

Generic (No a)

Associated Types

type Rep (No a) :: * -> *

Methods

from :: No a -> Rep (No a) x

to :: Rep (No a) x -> No a

Arbitrary (No a)

Methods

arbitrary :: Gen (No a)

shrink :: No a -> [No a]

Hashable (No a)

Methods

hashWithSalt :: Int -> No a -> Int

hash :: No a -> Int

ToJSON (No a)

Methods

toJSON :: No a -> Value

toEncoding :: No a -> Encoding

toJSONList :: [No a] -> Value

toEncodingList :: [No a] -> Encoding

FromJSON (No a)

Methods

parseJSON :: Value -> Parser (No a)

parseJSONList :: Value -> Parser [No a]

type Rep (No a)

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

type OQTableName = QTableName Maybe

type FQTableName = QTableName Identity

newtype TableAliasId

Constructors

TableAliasId Integer

Instances

Eq TableAliasId

Methods

(==) :: TableAliasId -> TableAliasId -> Bool

(/=) :: TableAliasId -> TableAliasId -> Bool

Data TableAliasId

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

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

Methods

readsPrec :: Int -> ReadS TableAliasId

readList :: ReadS [TableAliasId]

readPrec :: ReadPrec TableAliasId

readListPrec :: ReadPrec [TableAliasId]

Show TableAliasId

Methods

showsPrec :: Int -> TableAliasId -> ShowS

show :: TableAliasId -> String

showList :: [TableAliasId] -> ShowS

Generic TableAliasId

Associated Types

type Rep TableAliasId :: * -> *

Methods

from :: TableAliasId -> Rep TableAliasId x

to :: Rep TableAliasId x -> TableAliasId

type Rep TableAliasId

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

Constructors

TableAlias a Text TableAliasId

Instances

Functor TableAlias

Methods

fmap :: (a -> b) -> TableAlias a -> TableAlias b

(<$) :: a -> TableAlias b -> TableAlias a

Foldable TableAlias

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

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)

Methods

(==) :: TableAlias a -> TableAlias a -> Bool

(/=) :: TableAlias a -> TableAlias a -> Bool

Data a => Data (TableAlias a)

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)

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)

Methods

readsPrec :: Int -> ReadS (TableAlias a)

readList :: ReadS [TableAlias a]

readPrec :: ReadPrec (TableAlias a)

readListPrec :: ReadPrec [TableAlias a]

Show a => Show (TableAlias a)

Methods

showsPrec :: Int -> TableAlias a -> ShowS

show :: TableAlias a -> String

showList :: [TableAlias a] -> ShowS

Generic (TableAlias a)

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)

Methods

toJSON :: TableAlias a -> Value

toEncoding :: TableAlias a -> Encoding

toJSONList :: [TableAlias a] -> Value

toEncodingList :: [TableAlias a] -> Encoding

FromJSON a => FromJSON (TableAlias a)

Methods

parseJSON :: Value -> Parser (TableAlias a)

parseJSONList :: Value -> Parser [TableAlias a]

HasInfo (TableAlias a)

Associated Types

type Info (TableAlias a) :: *

Methods

getInfo :: TableAlias a -> Info (TableAlias a)

type Rep (TableAlias a)

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)

type Info (TableAlias a) = a

tableAliasName :: TableAlias a -> UQTableName a

data RNaturalColumns a

Constructors

RNaturalColumns [RUsingColumn a]

Instances

Functor RNaturalColumns

Methods

fmap :: (a -> b) -> RNaturalColumns a -> RNaturalColumns b

(<$) :: a -> RNaturalColumns b -> RNaturalColumns a

Foldable RNaturalColumns

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

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)

Methods

(==) :: RNaturalColumns a -> RNaturalColumns a -> Bool

(/=) :: RNaturalColumns a -> RNaturalColumns a -> Bool

Data a => Data (RNaturalColumns a)

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)

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)

Methods

readsPrec :: Int -> ReadS (RNaturalColumns a)

readList :: ReadS [RNaturalColumns a]

readPrec :: ReadPrec (RNaturalColumns a)

readListPrec :: ReadPrec [RNaturalColumns a]

Show a => Show (RNaturalColumns a)

Methods

showsPrec :: Int -> RNaturalColumns a -> ShowS

show :: RNaturalColumns a -> String

showList :: [RNaturalColumns a] -> ShowS

Generic (RNaturalColumns a)

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)

Methods

toJSON :: RNaturalColumns a -> Value

toEncoding :: RNaturalColumns a -> Encoding

toJSONList :: [RNaturalColumns a] -> Value

toEncodingList :: [RNaturalColumns a] -> Encoding

HasColumns (RNaturalColumns a)

Methods

goColumns :: RNaturalColumns a -> Observer

type Rep (RNaturalColumns a)

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

Constructors

RUsingColumn (RColumnRef a) (RColumnRef a)

Instances

Functor RUsingColumn

Methods

fmap :: (a -> b) -> RUsingColumn a -> RUsingColumn b

(<$) :: a -> RUsingColumn b -> RUsingColumn a

Foldable RUsingColumn

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

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)

Methods

(==) :: RUsingColumn a -> RUsingColumn a -> Bool

(/=) :: RUsingColumn a -> RUsingColumn a -> Bool

Data a => Data (RUsingColumn a)

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)

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)

Methods

readsPrec :: Int -> ReadS (RUsingColumn a)

readList :: ReadS [RUsingColumn a]

readPrec :: ReadPrec (RUsingColumn a)

readListPrec :: ReadPrec [RUsingColumn a]

Show a => Show (RUsingColumn a)

Methods

showsPrec :: Int -> RUsingColumn a -> ShowS

show :: RUsingColumn a -> String

showList :: [RUsingColumn a] -> ShowS

Generic (RUsingColumn a)

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)

Methods

toJSON :: RUsingColumn a -> Value

toEncoding :: RUsingColumn a -> Encoding

toJSONList :: [RUsingColumn a] -> Value

toEncodingList :: [RUsingColumn a] -> Encoding

HasColumns (RUsingColumn a)

Methods

goColumns :: RUsingColumn a -> Observer

type Rep (RUsingColumn a)

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

Constructors

QFunctionName

Fields

• functionNameInfo :: a
• functionNameSchema :: f (QSchemaName f a)
• functionNameName :: Text

Instances

Functor f => Functor (QFunctionName f)

Methods

fmap :: (a -> b) -> QFunctionName f a -> QFunctionName f b

(<$) :: a -> QFunctionName f b -> QFunctionName f a

Foldable f => Foldable (QFunctionName f)

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)

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)

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)

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)

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)

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)

Methods

showsPrec :: Int -> QFunctionName f a -> ShowS

show :: QFunctionName f a -> String

showList :: [QFunctionName f a] -> ShowS

Generic (QFunctionName f a)

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)

Methods

arbitrary :: Gen (QFunctionName f a)

shrink :: QFunctionName f a -> [QFunctionName f a]

(ToJSON (f (QSchemaName f a)), ToJSON a) => ToJSON (QFunctionName f a)

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)

Methods

parseJSON :: Value -> Parser (QFunctionName f a)

parseJSONList :: Value -> Parser [QFunctionName f a]

(Foldable f, Functor f, Semigroup a) => HasInfo (QFunctionName f a)

Associated Types

type Info (QFunctionName f a) :: *

Methods

getInfo :: QFunctionName f a -> Info (QFunctionName f a)

type Rep (QFunctionName f a)

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)

type Info (QFunctionName f a) = a

type FunctionName = QFunctionName Maybe

data QColumnName f a

Constructors

QColumnName

Fields

• columnNameInfo :: a
• columnNameTable :: f (QTableName f a)
• columnNameName :: Text

Instances

Functor f => Functor (QColumnName f)

Methods

fmap :: (a -> b) -> QColumnName f a -> QColumnName f b

(<$) :: a -> QColumnName f b -> QColumnName f a

IsString (UQColumnName ())

Methods

fromString :: String -> UQColumnName ()

Foldable f => Foldable (QColumnName f)

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)

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)

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)

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)

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)

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)

Methods

showsPrec :: Int -> QColumnName f a -> ShowS

show :: QColumnName f a -> String

showList :: [QColumnName f a] -> ShowS

Generic (QColumnName f a)

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)

Methods

arbitrary :: Gen (QColumnName f a)

shrink :: QColumnName f a -> [QColumnName f a]

(ToJSON (f (QTableName f a)), ToJSON a) => ToJSON (QColumnName f a)

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)

Methods

parseJSON :: Value -> Parser (QColumnName f a)

parseJSONList :: Value -> Parser [QColumnName f a]

Foldable f => Pretty (QColumnName f a)

Methods

pretty :: QColumnName f a -> Doc

(Foldable f, Functor f, Semigroup a) => HasInfo (QColumnName f a)

Associated Types

type Info (QColumnName f a) :: *

Methods

getInfo :: QColumnName f a -> Info (QColumnName f a)

type Rep (QColumnName f a)

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)

type Info (QColumnName f a) = a

type UQColumnName = QColumnName No

type OQColumnName = QColumnName Maybe

type FQColumnName = QColumnName Identity

newtype ColumnAliasId

Constructors

ColumnAliasId Integer

Instances

Eq ColumnAliasId

Methods

(==) :: ColumnAliasId -> ColumnAliasId -> Bool

(/=) :: ColumnAliasId -> ColumnAliasId -> Bool

Data ColumnAliasId

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

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

Methods

readsPrec :: Int -> ReadS ColumnAliasId

readList :: ReadS [ColumnAliasId]

readPrec :: ReadPrec ColumnAliasId

readListPrec :: ReadPrec [ColumnAliasId]

Show ColumnAliasId

Methods

showsPrec :: Int -> ColumnAliasId -> ShowS

show :: ColumnAliasId -> String

showList :: [ColumnAliasId] -> ShowS

Generic ColumnAliasId

Associated Types

type Rep ColumnAliasId :: * -> *

Methods

from :: ColumnAliasId -> Rep ColumnAliasId x

to :: Rep ColumnAliasId x -> ColumnAliasId

type Rep ColumnAliasId

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

Constructors

ColumnAlias a Text ColumnAliasId

Instances

Functor ColumnAlias

Methods

fmap :: (a -> b) -> ColumnAlias a -> ColumnAlias b

(<$) :: a -> ColumnAlias b -> ColumnAlias a

Foldable ColumnAlias

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

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)

Methods

(==) :: ColumnAlias a -> ColumnAlias a -> Bool

(/=) :: ColumnAlias a -> ColumnAlias a -> Bool

Data a => Data (ColumnAlias a)

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)

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)

Methods

readsPrec :: Int -> ReadS (ColumnAlias a)

readList :: ReadS [ColumnAlias a]

readPrec :: ReadPrec (ColumnAlias a)

readListPrec :: ReadPrec [ColumnAlias a]

Show a => Show (ColumnAlias a)

Methods

showsPrec :: Int -> ColumnAlias a -> ShowS

show :: ColumnAlias a -> String

showList :: [ColumnAlias a] -> ShowS

Generic (ColumnAlias a)

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)

Methods

toJSON :: ColumnAlias a -> Value

toEncoding :: ColumnAlias a -> Encoding

toJSONList :: [ColumnAlias a] -> Value

toEncodingList :: [ColumnAlias a] -> Encoding

FromJSON a => FromJSON (ColumnAlias a)

Methods

parseJSON :: Value -> Parser (ColumnAlias a)

parseJSONList :: Value -> Parser [ColumnAlias a]

HasInfo (ColumnAlias a)

Associated Types

type Info (ColumnAlias a) :: *

Methods

getInfo :: ColumnAlias a -> Info (ColumnAlias a)

type Rep (ColumnAlias a)

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)

type Info (ColumnAlias a) = a

columnAliasName :: ColumnAlias a -> UQColumnName a

data RColumnRef a

Constructors

RColumnRef (FQColumnName a)

RColumnAlias (ColumnAlias a)

Instances

Functor RColumnRef

Methods

fmap :: (a -> b) -> RColumnRef a -> RColumnRef b

(<$) :: a -> RColumnRef b -> RColumnRef a

Foldable RColumnRef

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

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)

Methods

(==) :: RColumnRef a -> RColumnRef a -> Bool

(/=) :: RColumnRef a -> RColumnRef a -> Bool

Data a => Data (RColumnRef a)

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)

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)

Methods

readsPrec :: Int -> ReadS (RColumnRef a)

readList :: ReadS [RColumnRef a]

readPrec :: ReadPrec (RColumnRef a)

readListPrec :: ReadPrec [RColumnRef a]

Show a => Show (RColumnRef a)

Methods

showsPrec :: Int -> RColumnRef a -> ShowS

show :: RColumnRef a -> String

showList :: [RColumnRef a] -> ShowS

Generic (RColumnRef a)

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)

Methods

toJSON :: RColumnRef a -> Value

toEncoding :: RColumnRef a -> Encoding

toJSONList :: [RColumnRef a] -> Value

toEncodingList :: [RColumnRef a] -> Encoding

FromJSON a => FromJSON (RColumnRef a)

Methods

parseJSON :: Value -> Parser (RColumnRef a)

parseJSONList :: Value -> Parser [RColumnRef a]

HasTables (RColumnRef a)

Methods

goTables :: RColumnRef a -> ReaderT * UsageMode (Writer (Set TableUse)) ()

HasColumns (RColumnRef a)

Methods

goColumns :: RColumnRef a -> Observer

Semigroup a => HasInfo (RColumnRef a)

Associated Types

type Info (RColumnRef a) :: *

Methods

getInfo :: RColumnRef a -> Info (RColumnRef a)

type Rep (RColumnRef a)

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)

type Info (RColumnRef a) = a

data StructFieldName a

Constructors

StructFieldName a Text

Instances

Functor StructFieldName

Methods

fmap :: (a -> b) -> StructFieldName a -> StructFieldName b

(<$) :: a -> StructFieldName b -> StructFieldName a

Foldable StructFieldName

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

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)

Methods

(==) :: StructFieldName a -> StructFieldName a -> Bool

(/=) :: StructFieldName a -> StructFieldName a -> Bool

Data a => Data (StructFieldName a)

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)

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)

Methods

showsPrec :: Int -> StructFieldName a -> ShowS

show :: StructFieldName a -> String

showList :: [StructFieldName a] -> ShowS

Generic (StructFieldName a)

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)

Methods

toJSON :: StructFieldName a -> Value

toEncoding :: StructFieldName a -> Encoding

toJSONList :: [StructFieldName a] -> Value

toEncodingList :: [StructFieldName a] -> Encoding

FromJSON a => FromJSON (StructFieldName a)

Methods

parseJSON :: Value -> Parser (StructFieldName a)

parseJSONList :: Value -> Parser [StructFieldName a]

HasInfo (StructFieldName a)

Associated Types

type Info (StructFieldName a) :: *

Methods

getInfo :: StructFieldName a -> Info (StructFieldName a)

type Rep (StructFieldName a)

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)

type Info (StructFieldName a) = a

newtype FieldChain

Constructors

FieldChain (Map (StructFieldName ()) FieldChain)

Instances

Eq FieldChain

Methods

(==) :: FieldChain -> FieldChain -> Bool

(/=) :: FieldChain -> FieldChain -> Bool

Ord FieldChain

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

Methods

showsPrec :: Int -> FieldChain -> ShowS

show :: FieldChain -> String

showList :: [FieldChain] -> ShowS

Semigroup FieldChain

Methods

(<>) :: FieldChain -> FieldChain -> FieldChain

sconcat :: NonEmpty FieldChain -> FieldChain

stimes :: Integral b => b -> FieldChain -> FieldChain

data ParamName a

Constructors

ParamName a Text

Instances

Functor ParamName

Methods

fmap :: (a -> b) -> ParamName a -> ParamName b

(<$) :: a -> ParamName b -> ParamName a

Foldable ParamName

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

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)

Methods

(==) :: ParamName a -> ParamName a -> Bool

(/=) :: ParamName a -> ParamName a -> Bool

Data a => Data (ParamName a)

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)

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)

Methods

readsPrec :: Int -> ReadS (ParamName a)

readList :: ReadS [ParamName a]

readPrec :: ReadPrec (ParamName a)

readListPrec :: ReadPrec [ParamName a]

Show a => Show (ParamName a)

Methods

showsPrec :: Int -> ParamName a -> ShowS

show :: ParamName a -> String

showList :: [ParamName a] -> ShowS

Generic (ParamName a)

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)

Methods

arbitrary :: Gen (ParamName a)

shrink :: ParamName a -> [ParamName a]

ToJSON a => ToJSON (ParamName a)

Methods

toJSON :: ParamName a -> Value

toEncoding :: ParamName a -> Encoding

toJSONList :: [ParamName a] -> Value

toEncodingList :: [ParamName a] -> Encoding

FromJSON a => FromJSON (ParamName a)

Methods

parseJSON :: Value -> Parser (ParamName a)

parseJSONList :: Value -> Parser [ParamName a]

HasInfo (ParamName a)

Associated Types

type Info (ParamName a) :: *

Methods

getInfo :: ParamName a -> Info (ParamName a)

type Rep (ParamName a)

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)

type Info (ParamName a) = a