git.iko.soy/squeal
on dev help sign in
database kind and qualified aliases
5ff9bf3Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs+41−3
compare with dev
unifiedsplit
@@ -54,6 +54,7 @@ module Squeal.PostgreSQL.Schema
54 , TableType
54 , TableType
55 , SchemumType (..)
55 , SchemumType (..)
56 , SchemaType
56 , SchemaType
57+ , DBType
57 -- * Constraints
58 -- * Constraints
58 , (:=>)
59 , (:=>)
59 , ColumnConstraint (..)
60 , ColumnConstraint (..)
@@ -62,8 +63,10 @@ module Squeal.PostgreSQL.Schema
62 , Uniquely
63 , Uniquely
63 -- * Aliases
64 -- * Aliases
64 , (:::)
65 , (:::)
65− , Alias (Alias)
66+ , Alias (..)
67+ , IsLabel (..)
66 , renderAlias
68 , renderAlias
69+ , renderAliasString
67 , renderAliases
70 , renderAliases
68 , Aliased (As)
71 , Aliased (As)
69 , Aliasable (as)
72 , Aliasable (as)
@@ -71,9 +74,10 @@ module Squeal.PostgreSQL.Schema
71 , Has
74 , Has
72 , HasUnique
75 , HasUnique
73 , HasAll
76 , HasAll
74− , IsLabel (..)
77+ , QualifiedAlias (..)
75 , IsQualified (..)
78 , IsQualified (..)
76− , renderAliasString
79+ , renderQualifiedAlias
80+ , HasQualified
77 -- * Enumerated Labels
81 -- * Enumerated Labels
78 , IsPGlabel (..)
82 , IsPGlabel (..)
79 , PGlabel (..)
83 , PGlabel (..)
@@ -471,6 +475,38 @@ class IsQualified table column expression where
471 infixl 9 !
475 infixl 9 !
472instance IsQualified table column (Alias table, Alias column) where (!) = (,)
476instance IsQualified table column (Alias table, Alias column) where (!) = (,)
473
477
478+data QualifiedAlias (qualifier :: Symbol) (alias :: Symbol) = QualifiedAlias
479+instance (q ~ q', a ~ a') => IsQualified q a (QualifiedAlias q' a') where
480+ _!_ = QualifiedAlias
481+instance (a ~ a') => IsLabel a (QualifiedAlias "public" a') where
482+ fromLabel = QualifiedAlias
483+
484+renderQualifiedAlias
485+ :: forall q a. (KnownSymbol q, KnownSymbol a)
486+ => QualifiedAlias q a -> ByteString
487+renderQualifiedAlias _ =
488+ let
489+ qualifier = renderAlias (Alias @q)
490+ alias = renderAlias (Alias @a)
491+ in
492+ if qualifier == "public" then alias else qualifier <> "." <> alias
493+
494+class (KnownSymbol qualifier, KnownSymbol alias) => HasQualified
495+ (qualifier :: Symbol)
496+ (alias :: Symbol)
497+ (xss :: [(Symbol,[(Symbol, kind)])])
498+ (xs :: [(Symbol,kind)])
499+ (x :: kind)
500+ | qualifier xss -> xs
501+ , alias xs -> x where
502+
503+instance
504+ ( KnownSymbol qualifier
505+ , KnownSymbol alias
506+ , Has qualifier xss xs
507+ , Has alias xs x
508+ ) => HasQualified qualifier alias xss xs x
509+
474-- | @Elem@ is a promoted `Data.List.elem`.
510-- | @Elem@ is a promoted `Data.List.elem`.
475type family Elem x xs where
511type family Elem x xs where
476 Elem x '[] = 'False
512 Elem x '[] = 'False
@@ -657,6 +693,8 @@ type family Schema :: SchemaType where
657-}
693-}
658type SchemaType = [(Symbol,SchemumType)]
694type SchemaType = [(Symbol,SchemumType)]
659
695
696+type DBType = [(Symbol,SchemaType)]
697+
660-- | `IsPGlabel` looks very much like the `IsLabel` class. Whereas
698-- | `IsPGlabel` looks very much like the `IsLabel` class. Whereas
661-- the overloaded label, `fromLabel` is used for column references,
699-- the overloaded label, `fromLabel` is used for column references,
662-- `label`s are used for enum terms. A `label` is called with
700-- `label`s are used for enum terms. A `label` is called with