relational-query 0.11.4.0 → 0.11.4.1
raw patch · 4 files changed
+21/−2 lines, 4 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Database.Relational.Config: chunksInsertSize :: Config -> Int
- Database.Relational.Config: disableOverloadedProjection :: Config -> Bool
- Database.Relational.Config: disableSpecializedProjection :: Config -> Bool
- Database.Relational.Config: enableWarning :: Config -> Bool
- Database.Relational.Config: identifierQuotation :: Config -> IdentifierQuotation
- Database.Relational.Config: nameConfig :: Config -> NameConfig
- Database.Relational.Config: normalizedTableName :: Config -> Bool
- Database.Relational.Config: productUnitSupport :: Config -> ProductUnitSupport
- Database.Relational.Config: schemaNameMode :: Config -> SchemaNameMode
- Database.Relational.Config: verboseAsCompilerWarning :: Config -> Bool
- Database.Relational.Projectable: instance Database.Relational.Projectable.ProjectableFlattenMaybe (GHC.Base.Maybe a) (GHC.Base.Maybe a)
- Database.Relational.Projectable: instance Database.Relational.Projectable.ProjectableFlattenMaybe (GHC.Base.Maybe a) b => Database.Relational.Projectable.ProjectableFlattenMaybe (GHC.Base.Maybe (GHC.Base.Maybe a)) b
- Database.Relational.Pure: instance (Database.Record.Persistable.PersistableWidth a, Database.Relational.ProjectableClass.ShowConstantTermsSQL a) => Database.Relational.ProjectableClass.ShowConstantTermsSQL (GHC.Base.Maybe a)
- Database.Relational.Scalar: instance Database.Relational.Scalar.ScalarDegree ct => Database.Relational.Scalar.ScalarDegree (GHC.Base.Maybe ct)
+ Database.Relational: (<-#) :: Monad m => AssignTarget r v -> Record Flat v -> Assignings r m ()
+ Database.Relational: Asc :: Order
+ Database.Relational: Delete :: String -> Delete p
+ Database.Relational: Desc :: Order
+ Database.Relational: Insert :: String -> Maybe (String, Int) -> Insert a
+ Database.Relational: InsertQuery :: String -> InsertQuery p
+ Database.Relational: KeyUpdate :: Pi a p -> String -> KeyUpdate p a
+ Database.Relational: NullsFirst :: Nulls
+ Database.Relational: NullsLast :: Nulls
+ Database.Relational: Query :: String -> Query p a
+ Database.Relational: Update :: String -> Update p
+ Database.Relational: [chunkedInsert] :: Insert a -> Maybe (String, Int)
+ Database.Relational: [untypeDelete] :: Delete p -> String
+ Database.Relational: [untypeInsertQuery] :: InsertQuery p -> String
+ Database.Relational: [untypeInsert] :: Insert a -> String
+ Database.Relational: [untypeKeyUpdate] :: KeyUpdate p a -> String
+ Database.Relational: [untypeQuery] :: Query p a -> String
+ Database.Relational: [untypeUpdate] :: Update p -> String
+ Database.Relational: [updateKey] :: KeyUpdate p a -> Pi a p
+ Database.Relational: all' :: MonadQuery m => m ()
+ Database.Relational: asc :: Monad m => Record c t -> Orderings c m ()
+ Database.Relational: assignTo :: Monad m => Record Flat v -> AssignTarget r v -> Assignings r m ()
+ Database.Relational: bkey :: Record Flat r -> AggregatingPowerSet (Record Aggregated (Maybe r))
+ Database.Relational: chunkSizeOfInsert :: Insert a -> Int
+ Database.Relational: class PersistableWidth ct => HasConstraintKey c r ct
+ Database.Relational: class MonadQuery m => MonadAggregate m
+ Database.Relational: class Monad m => MonadPartition c m
+ Database.Relational: class (Functor q, Monad q, Functor m, Monad m) => MonadQualify q m
+ Database.Relational: class (Functor m, Monad m, MonadQualify ConfigureQuery m) => MonadQuery m
+ Database.Relational: class (Functor m, Monad m) => MonadRestrict c m
+ Database.Relational: class PersistableWidth ct => ScalarDegree ct
+ Database.Relational: class PersistableWidth r => TableDerivable r
+ Database.Relational: class UntypeableNoFetch s
+ Database.Relational: constraintKey :: HasConstraintKey c r ct => Key c r ct
+ Database.Relational: cube :: AggregatingPowerSet a -> AggregateKey a
+ Database.Relational: data AggregateKey a
+ Database.Relational: data Insert a
+ Database.Relational: data Key c r ct
+ Database.Relational: data KeyUpdate p a
+ Database.Relational: data NotNull
+ Database.Relational: data Nulls
+ Database.Relational: data Order
+ Database.Relational: data Primary
+ Database.Relational: data QueryUnique a
+ Database.Relational: data Record c t
+ Database.Relational: data RecordList p t
+ Database.Relational: data SubQuery
+ Database.Relational: data Table r
+ Database.Relational: data Unique
+ Database.Relational: delete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational: delete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational: deleteNoPH :: TableDerivable r => RestrictedStatement r () -> Delete ()
+ Database.Relational: deleteSQL :: Config -> Table r -> Restriction p r -> String
+ Database.Relational: derivedDelete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational: derivedDelete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational: derivedInsert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational: derivedInsertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational: derivedInsertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p
+ Database.Relational: derivedInsertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p
+ Database.Relational: derivedKeyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational: derivedTable :: TableDerivable r => Table r
+ Database.Relational: derivedUniqueKey :: HasConstraintKey Primary r ct => Key Unique r ct
+ Database.Relational: derivedUpdate :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational: derivedUpdate' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational: derivedUpdateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational: derivedUpdateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational: desc :: Monad m => Record c t -> Orderings c m ()
+ Database.Relational: distinct :: MonadQuery m => m ()
+ Database.Relational: groupBy :: MonadAggregate m => Record Flat r -> m (Record Aggregated r)
+ Database.Relational: groupBy' :: MonadAggregate m => AggregateKey (Record Aggregated r) -> m (Record Aggregated r)
+ Database.Relational: groupingSets :: AggregatingSetList a -> AggregateKey a
+ Database.Relational: having :: MonadRestrict Aggregated m => Predicate Aggregated -> m ()
+ Database.Relational: infix 4 <-#
+ Database.Relational: infix 8 `over`
+ Database.Relational: insert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational: insertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational: insertQuerySQL :: Config -> Table r -> Pi r r' -> Relation p r' -> String
+ Database.Relational: insertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p
+ Database.Relational: insertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p
+ Database.Relational: insertValueList :: (TableDerivable r, ShowConstantTermsSQL r') => Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational: insertValueList' :: (TableDerivable r, ShowConstantTermsSQL r') => Config -> Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational: insertValueNoPH :: TableDerivable r => Register r () -> Insert ()
+ Database.Relational: key :: Record Flat r -> AggregatingSet (Record Aggregated (Maybe r))
+ Database.Relational: key' :: AggregateKey a -> AggregatingSet a
+ Database.Relational: keyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational: list :: [p t] -> RecordList p t
+ Database.Relational: newtype Delete p
+ Database.Relational: newtype InsertQuery p
+ Database.Relational: newtype Query p a
+ Database.Relational: newtype Update p
+ Database.Relational: on :: MonadQuery m => Predicate Flat -> m ()
+ Database.Relational: orderBy :: Monad m => Record c t -> Order -> Orderings c m ()
+ Database.Relational: orderBy' :: Monad m => Record c t -> Order -> Nulls -> Orderings c m ()
+ Database.Relational: over :: SqlContext c => Record OverWindow a -> Window c () -> Record c a
+ Database.Relational: partitionBy :: MonadPartition c m => Record c r -> m ()
+ Database.Relational: projectionKey :: Key c r ct -> Pi r ct
+ Database.Relational: query' :: MonadQuery m => Relation p r -> m (PlaceHolders p, Record Flat r)
+ Database.Relational: queryMaybe' :: MonadQuery m => Relation p r -> m (PlaceHolders p, Record Flat (Maybe r))
+ Database.Relational: queryWidth :: Qualified SubQuery -> Int
+ Database.Relational: relationalQuery :: Relation p r -> Query p r
+ Database.Relational: relationalQuery' :: Relation p r -> QuerySuffix -> Query p r
+ Database.Relational: relationalQuerySQL :: Config -> Relation p r -> QuerySuffix -> String
+ Database.Relational: restrict :: MonadRestrict c m => Predicate c -> m ()
+ Database.Relational: rollup :: AggregatingPowerSet a -> AggregateKey a
+ Database.Relational: set :: AggregatingSet a -> AggregatingSetList a
+ Database.Relational: tableConstraint :: Key c r ct -> KeyConstraint c r
+ Database.Relational: type AggregatedQuery p r = OrderedQuery Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore)) p r
+ Database.Relational: type Assign r = Assignings r Restrict
+ Database.Relational: type PI c a b = Record c a -> Record c b
+ Database.Relational: type Predicate c = Record c (Maybe Bool)
+ Database.Relational: type QueryAggregate = Orderings Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore))
+ Database.Relational: type QuerySimple = Orderings Flat QueryCore
+ Database.Relational: type QuerySuffix = [Keyword]
+ Database.Relational: type Register r = Assignings r ConfigureQuery
+ Database.Relational: type Restrict = Restrictings Flat ConfigureQuery
+ Database.Relational: type SimpleQuery p r = OrderedQuery Flat QueryCore p r
+ Database.Relational: type Window c = Orderings c (PartitioningSet c)
+ Database.Relational: typedDelete :: Table r -> Restriction p r -> Delete p
+ Database.Relational: typedDelete' :: Config -> Table r -> Restriction p r -> Delete p
+ Database.Relational: typedInsert :: PersistableWidth r => Table r -> Pi r r' -> Insert r'
+ Database.Relational: typedInsert' :: PersistableWidth r => Config -> Table r -> Pi r r' -> Insert r'
+ Database.Relational: typedInsertQuery :: Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational: typedInsertQuery' :: Config -> Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational: typedInsertValue :: Table r -> InsertTarget p r -> Insert p
+ Database.Relational: typedInsertValue' :: Config -> Table r -> InsertTarget p r -> Insert p
+ Database.Relational: typedKeyUpdate :: Table a -> Pi a p -> KeyUpdate p a
+ Database.Relational: typedKeyUpdateTable :: TableDerivable r => Relation () r -> Pi r p -> KeyUpdate p r
+ Database.Relational: typedUpdate :: Table r -> UpdateTarget p r -> Update p
+ Database.Relational: typedUpdate' :: Config -> Table r -> UpdateTarget p r -> Update p
+ Database.Relational: typedUpdateAllColumn :: PersistableWidth r => Table r -> Restriction p r -> Update (r, p)
+ Database.Relational: uniqueKey :: PersistableWidth ct => Key Primary r ct -> Key Unique r ct
+ Database.Relational: unitSQL :: SubQuery -> String
+ Database.Relational: unsafeTypedInsert' :: String -> String -> Int -> Insert a
+ Database.Relational: unsafeTypedQuery :: String -> Query p a
+ Database.Relational: unsafeTypedUpdate :: String -> Update p
+ Database.Relational: untypeChunkInsert :: Insert a -> String
+ Database.Relational: untypeNoFetch :: UntypeableNoFetch s => s p -> String
+ Database.Relational: update :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational: update' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational: updateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational: updateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational: updateAllColumnNoPH :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r () -> Update r
+ Database.Relational: updateNoPH :: TableDerivable r => AssignStatement r () -> Update ()
+ Database.Relational: updateOtherThanKeySQL :: Table r -> Pi r p -> String
+ Database.Relational: updateSQL :: Config -> Table r -> UpdateTarget p r -> String
+ Database.Relational: wheres :: MonadRestrict Flat m => Predicate Flat -> m ()
+ Database.Relational.Arrow: (!) :: PersistableWidth a => Record c a -> Pi a b -> Record c b
+ Database.Relational.Arrow: (!??) :: (PersistableWidth a, ProjectableFlattenMaybe (Maybe b) c) => Record cont (Maybe a) -> Pi a b -> Record cont c
+ Database.Relational.Arrow: ($$!) :: (i -> r) -> Number r i -> r
+ Database.Relational.Arrow: ($$) :: Binding r s i => (i -> r) -> Number r i -> r
+ Database.Relational.Arrow: (.*.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Arrow: (.+.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Arrow: (.-.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Arrow: (./.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Arrow: (.<.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Arrow: (.<=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Arrow: (.<>.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Arrow: (.=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Arrow: (.>.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Arrow: (.>=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Arrow: (.||.) :: OperatorContext c => Record c a -> Record c a -> Record c a
+ Database.Relational.Arrow: (<-#) :: Monad m => AssignTarget r v -> Record Flat v -> Assignings r m ()
+ Database.Relational.Arrow: (<.>) :: Pi a b -> Pi b c -> Pi a c
+ Database.Relational.Arrow: (<?.>) :: Pi a (Maybe b) -> Pi b c -> Pi a (Maybe c)
+ Database.Relational.Arrow: (<?.?>) :: Pi a (Maybe b) -> Pi b (Maybe c) -> Pi a (Maybe c)
+ Database.Relational.Arrow: (><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)
+ Database.Relational.Arrow: (?!) :: PersistableWidth a => Record c (Maybe a) -> Pi a b -> Record c (Maybe b)
+ Database.Relational.Arrow: (?!?) :: PersistableWidth a => Record c (Maybe a) -> Pi a (Maybe b) -> Record c (Maybe b)
+ Database.Relational.Arrow: (?) :: PersistableWidth a => Record c (Maybe a) -> Pi a b -> Record c (Maybe b)
+ Database.Relational.Arrow: (?*?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Arrow: (?+?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Arrow: (?-?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Arrow: (?/?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Arrow: (??) :: PersistableWidth a => Record c (Maybe a) -> Pi a (Maybe b) -> Record c (Maybe b)
+ Database.Relational.Arrow: (?||?) :: (OperatorContext c, IsString a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Arrow: Asc :: Order
+ Database.Relational.Arrow: Delete :: String -> Delete p
+ Database.Relational.Arrow: Desc :: Order
+ Database.Relational.Arrow: Insert :: String -> Maybe (String, Int) -> Insert a
+ Database.Relational.Arrow: InsertQuery :: String -> InsertQuery p
+ Database.Relational.Arrow: KeyUpdate :: Pi a p -> String -> KeyUpdate p a
+ Database.Relational.Arrow: NameConfig :: NameConfig -> (String -> String -> VarName) -> NameConfig
+ Database.Relational.Arrow: NoQuotation :: IdentifierQuotation
+ Database.Relational.Arrow: NullsFirst :: Nulls
+ Database.Relational.Arrow: NullsLast :: Nulls
+ Database.Relational.Arrow: PUNotSupported :: ProductUnitSupport
+ Database.Relational.Arrow: PUSupported :: ProductUnitSupport
+ Database.Relational.Arrow: Query :: String -> Query p a
+ Database.Relational.Arrow: Quotation :: Char -> IdentifierQuotation
+ Database.Relational.Arrow: SchemaNotQualified :: SchemaNameMode
+ Database.Relational.Arrow: SchemaQualified :: SchemaNameMode
+ Database.Relational.Arrow: Update :: String -> Update p
+ Database.Relational.Arrow: [chunkedInsert] :: Insert a -> Maybe (String, Int)
+ Database.Relational.Arrow: [recordConfig] :: NameConfig -> NameConfig
+ Database.Relational.Arrow: [relationVarName] :: NameConfig -> String -> String -> VarName
+ Database.Relational.Arrow: [untypeDelete] :: Delete p -> String
+ Database.Relational.Arrow: [untypeInsertQuery] :: InsertQuery p -> String
+ Database.Relational.Arrow: [untypeInsert] :: Insert a -> String
+ Database.Relational.Arrow: [untypeKeyUpdate] :: KeyUpdate p a -> String
+ Database.Relational.Arrow: [untypeQuery] :: Query p a -> String
+ Database.Relational.Arrow: [untypeUpdate] :: Update p -> String
+ Database.Relational.Arrow: [updateKey] :: KeyUpdate p a -> Pi a p
+ Database.Relational.Arrow: aggregatedUnique :: Relation ph r -> Pi r a -> (Record Flat a -> Record Aggregated b) -> UniqueRelation ph Flat b
+ Database.Relational.Arrow: and' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Arrow: any' :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Arrow: askConfig :: ConfigureQuery Config
+ Database.Relational.Arrow: assignTo :: Monad m => Record Flat v -> AssignTarget r v -> Assignings r m ()
+ Database.Relational.Arrow: avg :: (Num a, Fractional b, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe b)
+ Database.Relational.Arrow: avgMaybe :: (Num a, Fractional b, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe b)
+ Database.Relational.Arrow: binding :: (Binding r s i, HasConstraintKey Primary r i) => SeqBinding r s i
+ Database.Relational.Arrow: case' :: OperatorContext c => Record c a -> [(Record c a, Record c b)] -> Record c b -> Record c b
+ Database.Relational.Arrow: caseMaybe :: (OperatorContext c, PersistableWidth b) => Record c a -> [(Record c a, Record c (Maybe b))] -> Record c (Maybe b)
+ Database.Relational.Arrow: caseSearch :: OperatorContext c => [(Predicate c, Record c a)] -> Record c a -> Record c a
+ Database.Relational.Arrow: caseSearchMaybe :: (OperatorContext c, PersistableWidth a) => [(Predicate c, Record c (Maybe a))] -> Record c (Maybe a)
+ Database.Relational.Arrow: casesOrElse :: OperatorContext c => [(Predicate c, Record c a)] -> Record c a -> Record c a
+ Database.Relational.Arrow: casesOrElse' :: OperatorContext c => (Record c a, [(Record c a, Record c b)]) -> Record c b -> Record c b
+ Database.Relational.Arrow: chunkSizeOfInsert :: Insert a -> Int
+ Database.Relational.Arrow: class (TableDerivable r, SequenceDerivable s i) => Binding r s i | r -> s
+ Database.Relational.Arrow: class PersistableWidth ct => HasConstraintKey c r ct
+ Database.Relational.Arrow: class MonadQuery m => MonadAggregate m
+ Database.Relational.Arrow: class Monad m => MonadPartition c m
+ Database.Relational.Arrow: class (Functor q, Monad q, Functor m, Monad m) => MonadQualify q m
+ Database.Relational.Arrow: class (Functor m, Monad m, MonadQualify ConfigureQuery m) => MonadQuery m
+ Database.Relational.Arrow: class (Functor m, Monad m) => MonadRestrict c m
+ Database.Relational.Arrow: class ProjectableFlattenMaybe a b
+ Database.Relational.Arrow: class ProjectableMaybe p
+ Database.Relational.Arrow: class PersistableWidth ct => ScalarDegree ct
+ Database.Relational.Arrow: class TableDerivable s => SequenceDerivable s i | s -> i
+ Database.Relational.Arrow: class ShowConstantTermsSQL a
+ Database.Relational.Arrow: class SqlContext c
+ Database.Relational.Arrow: class PersistableWidth r => TableDerivable r
+ Database.Relational.Arrow: class UntypeableNoFetch s
+ Database.Relational.Arrow: configureQuery :: ConfigureQuery q -> Config -> q
+ Database.Relational.Arrow: constraintKey :: HasConstraintKey c r ct => Key c r ct
+ Database.Relational.Arrow: count :: (Integral b, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac b
+ Database.Relational.Arrow: cumeDist :: Record OverWindow Double
+ Database.Relational.Arrow: data AggregateKey a
+ Database.Relational.Arrow: data Aggregated
+ Database.Relational.Arrow: data Config
+ Database.Relational.Arrow: data Exists
+ Database.Relational.Arrow: data Flat
+ Database.Relational.Arrow: data IdentifierQuotation
+ Database.Relational.Arrow: data Insert a
+ Database.Relational.Arrow: data InsertTarget p r
+ Database.Relational.Arrow: data Key c r ct
+ Database.Relational.Arrow: data KeyUpdate p a
+ Database.Relational.Arrow: data NameConfig
+ Database.Relational.Arrow: data NotNull
+ Database.Relational.Arrow: data Nulls
+ Database.Relational.Arrow: data Number r i
+ Database.Relational.Arrow: data Order
+ Database.Relational.Arrow: data OverWindow
+ Database.Relational.Arrow: data Pi r0 r1
+ Database.Relational.Arrow: data PlaceHolders p
+ Database.Relational.Arrow: data Power
+ Database.Relational.Arrow: data Primary
+ Database.Relational.Arrow: data ProductUnitSupport
+ Database.Relational.Arrow: data Record c t
+ Database.Relational.Arrow: data RecordList p t
+ Database.Relational.Arrow: data Relation p r
+ Database.Relational.Arrow: data Restriction p r
+ Database.Relational.Arrow: data SchemaNameMode
+ Database.Relational.Arrow: data SeqBinding r s i
+ Database.Relational.Arrow: data Sequence s i
+ Database.Relational.Arrow: data Set
+ Database.Relational.Arrow: data SetList
+ Database.Relational.Arrow: data SubQuery
+ Database.Relational.Arrow: data Table r
+ Database.Relational.Arrow: data Unique
+ Database.Relational.Arrow: data UniqueRelation p c r
+ Database.Relational.Arrow: data UpdateTarget p r
+ Database.Relational.Arrow: defaultConfig :: Config
+ Database.Relational.Arrow: defaultNameConfig :: NameConfig
+ Database.Relational.Arrow: deleteSQL :: Config -> Table r -> Restriction p r -> String
+ Database.Relational.Arrow: denseRank :: Integral a => Record OverWindow a
+ Database.Relational.Arrow: derivedInsert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational.Arrow: derivedInsertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Arrow: derivedKeyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational.Arrow: derivedRelation :: TableDerivable r => Relation () r
+ Database.Relational.Arrow: derivedSequence :: SequenceDerivable s i => Sequence s i
+ Database.Relational.Arrow: derivedTable :: TableDerivable r => Table r
+ Database.Relational.Arrow: derivedUniqueKey :: HasConstraintKey Primary r ct => Key Unique r ct
+ Database.Relational.Arrow: derivedUniqueRelation :: TableDerivable r => Key Unique r k -> Record c k -> UniqueRelation () c r
+ Database.Relational.Arrow: derivedUpdateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Arrow: derivedUpdateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Arrow: dump :: Relation p r -> String
+ Database.Relational.Arrow: every :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Arrow: except :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Arrow: except' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Arrow: exceptAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Arrow: exceptAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Arrow: exists :: OperatorContext c => RecordList (Record Exists) r -> Record c (Maybe Bool)
+ Database.Relational.Arrow: extractCore :: QueryCore a -> ConfigureQuery (((a, [Predicate Flat]), JoinProduct), Duplication)
+ Database.Relational.Arrow: extractNumber :: Number r i -> i
+ Database.Relational.Arrow: flatten :: (ProjectableFlattenMaybe a b, ProjectableMaybe p) => p a -> p b
+ Database.Relational.Arrow: flattenMaybe :: ProjectableMaybe p => p (Maybe (Maybe a)) -> p (Maybe a)
+ Database.Relational.Arrow: flattenPiMaybe :: (PersistableWidth a, ProjectableFlattenMaybe (Maybe b) c) => Record cont (Maybe a) -> Pi a b -> Record cont c
+ Database.Relational.Arrow: fromIntegral' :: (SqlContext c, Integral a, Num b) => Record c a -> Record c b
+ Database.Relational.Arrow: fromIntegralMaybe :: (SqlContext c, Integral a, Num b) => Record c (Maybe a) -> Record c (Maybe b)
+ Database.Relational.Arrow: fromMaybe :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c r -> Record c (Maybe r) -> Record c r
+ Database.Relational.Arrow: fromRelation :: Binding r s i => Relation () r -> Sequence s i
+ Database.Relational.Arrow: fst' :: (PersistableWidth a, PersistableWidth b) => Pi (a, b) a
+ Database.Relational.Arrow: full :: Relation () a -> Relation () b -> [JoinRestriction (Maybe a) (Maybe b)] -> Relation () (Maybe a, Maybe b)
+ Database.Relational.Arrow: full' :: Relation pa a -> Relation pb b -> [JoinRestriction (Maybe a) (Maybe b)] -> Relation (pa, pb) (Maybe a, Maybe b)
+ Database.Relational.Arrow: id' :: Pi a a
+ Database.Relational.Arrow: in' :: OperatorContext c => Record c t -> RecordList (Record c) t -> Record c (Maybe Bool)
+ Database.Relational.Arrow: infix 4 <-#
+ Database.Relational.Arrow: infixl 1 ><
+ Database.Relational.Arrow: infixl 5 ?||?
+ Database.Relational.Arrow: infixl 6 ?-?
+ Database.Relational.Arrow: infixl 7 `exceptAll'`
+ Database.Relational.Arrow: infixl 8 `intersectAll'`
+ Database.Relational.Arrow: infixr 2 `or'`
+ Database.Relational.Arrow: infixr 3 `and'`
+ Database.Relational.Arrow: inner :: Relation () a -> Relation () b -> [JoinRestriction a b] -> Relation () (a, b)
+ Database.Relational.Arrow: inner' :: Relation pa a -> Relation pb b -> [JoinRestriction a b] -> Relation (pa, pb) (a, b)
+ Database.Relational.Arrow: insert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational.Arrow: insertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Arrow: insertQuerySQL :: Config -> Table r -> Pi r r' -> Relation p r' -> String
+ Database.Relational.Arrow: insertTarget :: Register r () -> InsertTarget () r
+ Database.Relational.Arrow: insertTarget' :: Register r (PlaceHolders p) -> InsertTarget p r
+ Database.Relational.Arrow: insertValueList :: (TableDerivable r, ShowConstantTermsSQL r') => Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational.Arrow: insertValueList' :: (TableDerivable r, ShowConstantTermsSQL r') => Config -> Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational.Arrow: intersect :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Arrow: intersect' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Arrow: intersectAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Arrow: intersectAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Arrow: isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate c
+ Database.Relational.Arrow: isNothing :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate c
+ Database.Relational.Arrow: just :: ProjectableMaybe p => p a -> p (Maybe a)
+ Database.Relational.Arrow: keyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational.Arrow: left :: Relation () a -> Relation () b -> [JoinRestriction a (Maybe b)] -> Relation () (a, Maybe b)
+ Database.Relational.Arrow: left' :: Relation pa a -> Relation pb b -> [JoinRestriction a (Maybe b)] -> Relation (pa, pb) (a, Maybe b)
+ Database.Relational.Arrow: leftPh :: Relation (p, ()) r -> Relation p r
+ Database.Relational.Arrow: liftTargetAllColumn :: PersistableWidth r => Restriction () r -> UpdateTarget r r
+ Database.Relational.Arrow: liftTargetAllColumn' :: PersistableWidth r => Restriction p r -> UpdateTarget (r, p) r
+ Database.Relational.Arrow: like :: (OperatorContext c, IsString a, ShowConstantTermsSQL a) => Record c a -> a -> Record c (Maybe Bool)
+ Database.Relational.Arrow: like' :: (OperatorContext c, IsString a) => Record c a -> Record c a -> Record c (Maybe Bool)
+ Database.Relational.Arrow: likeMaybe :: (OperatorContext c, IsString a, ShowConstantTermsSQL a) => Record c (Maybe a) -> a -> Record c (Maybe Bool)
+ Database.Relational.Arrow: likeMaybe' :: (OperatorContext c, IsString a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe Bool)
+ Database.Relational.Arrow: list :: [p t] -> RecordList p t
+ Database.Relational.Arrow: max' :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Arrow: maxMaybe :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Arrow: min' :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Arrow: minMaybe :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Arrow: negate' :: (OperatorContext c, Num a) => Record c a -> Record c a
+ Database.Relational.Arrow: negateMaybe :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Arrow: newtype Delete p
+ Database.Relational.Arrow: newtype InsertQuery p
+ Database.Relational.Arrow: newtype Query p a
+ Database.Relational.Arrow: newtype Update p
+ Database.Relational.Arrow: not' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Arrow: nothing :: (OperatorContext c, SqlContext c, PersistableWidth a) => Record c (Maybe a)
+ Database.Relational.Arrow: on' :: ([JoinRestriction a b] -> Relation pc (a, b)) -> [JoinRestriction a b] -> Relation pc (a, b)
+ Database.Relational.Arrow: or' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Arrow: percentRank :: Record OverWindow Double
+ Database.Relational.Arrow: piRegister :: PersistableWidth r => Pi r r' -> Register r (PlaceHolders r')
+ Database.Relational.Arrow: placeholder' :: (PersistableWidth t, SqlContext c) => (Record c t -> a) -> (PlaceHolders t, a)
+ Database.Relational.Arrow: primary :: HasConstraintKey Primary a p => Relation () a -> Relation p a
+ Database.Relational.Arrow: primary' :: PersistableWidth p => Key Primary a p -> Relation () a -> Relation p a
+ Database.Relational.Arrow: primaryBinding :: (TableDerivable r, SequenceDerivable s i, HasConstraintKey Primary r i) => SeqBinding r s i
+ Database.Relational.Arrow: primarySelect :: HasConstraintKey Primary a p => Relation () a -> Relation p a
+ Database.Relational.Arrow: primaryUpdate :: HasConstraintKey Primary r p => Table r -> KeyUpdate p r
+ Database.Relational.Arrow: projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)
+ Database.Relational.Arrow: projectionKey :: Key c r ct -> Pi r ct
+ Database.Relational.Arrow: pwPlaceholder :: SqlContext c => PersistableRecordWidth a -> (Record c a -> b) -> (PlaceHolders a, b)
+ Database.Relational.Arrow: qualifyQuery :: a -> ConfigureQuery (Qualified a)
+ Database.Relational.Arrow: queryWidth :: Qualified SubQuery -> Int
+ Database.Relational.Arrow: rank :: Integral a => Record OverWindow a
+ Database.Relational.Arrow: relationWidth :: Relation p r -> PersistableRecordWidth r
+ Database.Relational.Arrow: relationalQuery :: Relation p r -> Query p r
+ Database.Relational.Arrow: relationalQuery' :: Relation p r -> QuerySuffix -> Query p r
+ Database.Relational.Arrow: relationalQuerySQL :: Config -> Relation p r -> QuerySuffix -> String
+ Database.Relational.Arrow: restrict :: MonadRestrict c m => Predicate c -> m ()
+ Database.Relational.Arrow: restriction :: RestrictedStatement r () -> Restriction () r
+ Database.Relational.Arrow: restriction' :: RestrictedStatement r (PlaceHolders p) -> Restriction p r
+ Database.Relational.Arrow: right :: Relation () a -> Relation () b -> [JoinRestriction (Maybe a) b] -> Relation () (Maybe a, b)
+ Database.Relational.Arrow: right' :: Relation pa a -> Relation pb b -> [JoinRestriction (Maybe a) b] -> Relation (pa, pb) (Maybe a, b)
+ Database.Relational.Arrow: rightPh :: Relation ((), p) r -> Relation p r
+ Database.Relational.Arrow: rowNumber :: Integral a => Record OverWindow a
+ Database.Relational.Arrow: seqRelation :: TableDerivable s => Sequence s i -> Relation () s
+ Database.Relational.Arrow: showConstantTermsSQL :: ShowConstantTermsSQL a => a -> [StringSQL]
+ Database.Relational.Arrow: showConstantTermsSQL' :: (ShowConstantTermsSQL a, Generic a, GShowConstantTermsSQL (Rep a)) => a -> DList StringSQL
+ Database.Relational.Arrow: showNum :: (SqlContext c, Num a, IsString b) => Record c a -> Record c b
+ Database.Relational.Arrow: showNumMaybe :: (SqlContext c, Num a, IsString b) => Record c (Maybe a) -> Record c (Maybe b)
+ Database.Relational.Arrow: snd' :: (PersistableWidth a, PersistableWidth b) => Pi (a, b) b
+ Database.Relational.Arrow: some' :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Arrow: specifiedKey :: PersistableWidth p => Pi a p -> Relation () a -> Relation p a
+ Database.Relational.Arrow: sqlChunkFromInsertTarget :: Config -> Table r -> InsertTarget p r -> (StringSQL, Int)
+ Database.Relational.Arrow: sqlChunksFromRecordList :: ShowConstantTermsSQL r' => Config -> Table r -> Pi r r' -> [r'] -> [StringSQL]
+ Database.Relational.Arrow: sqlFromInsertTarget :: Config -> Table r -> InsertTarget p r -> StringSQL
+ Database.Relational.Arrow: sqlFromRelation :: Relation p r -> StringSQL
+ Database.Relational.Arrow: sqlFromRelationWith :: Relation p r -> Config -> StringSQL
+ Database.Relational.Arrow: sqlFromUpdateTarget :: Config -> Table r -> UpdateTarget p r -> StringSQL
+ Database.Relational.Arrow: sqlWhereFromRestriction :: Config -> Table r -> Restriction p r -> StringSQL
+ Database.Relational.Arrow: sum' :: (Num a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Arrow: sumMaybe :: (Num a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Arrow: table :: Table r -> Relation () r
+ Database.Relational.Arrow: tableConstraint :: Key c r ct -> KeyConstraint c r
+ Database.Relational.Arrow: tableOf :: TableDerivable r => Relation () r -> Table r
+ Database.Relational.Arrow: tuplePi2_0' :: forall a1 a2. (PersistableWidth a1, PersistableWidth a2) => Pi (a1, a2) a1
+ Database.Relational.Arrow: tuplePi2_1' :: forall a1 a2. (PersistableWidth a1, PersistableWidth a2) => Pi (a1, a2) a2
+ Database.Relational.Arrow: tuplePi3_0' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a1
+ Database.Relational.Arrow: tuplePi3_1' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a2
+ Database.Relational.Arrow: tuplePi3_2' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a3
+ Database.Relational.Arrow: tuplePi4_0' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a1
+ Database.Relational.Arrow: tuplePi4_1' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a2
+ Database.Relational.Arrow: tuplePi4_2' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a3
+ Database.Relational.Arrow: tuplePi4_3' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a4
+ Database.Relational.Arrow: tuplePi5_0' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a1
+ Database.Relational.Arrow: tuplePi5_1' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a2
+ Database.Relational.Arrow: tuplePi5_2' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a3
+ Database.Relational.Arrow: tuplePi5_3' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a4
+ Database.Relational.Arrow: tuplePi5_4' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a5
+ Database.Relational.Arrow: tuplePi6_0' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a1
+ Database.Relational.Arrow: tuplePi6_1' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a2
+ Database.Relational.Arrow: tuplePi6_2' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a3
+ Database.Relational.Arrow: tuplePi6_3' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a4
+ Database.Relational.Arrow: tuplePi6_4' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a5
+ Database.Relational.Arrow: tuplePi6_5' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a6
+ Database.Relational.Arrow: tuplePi7_0' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a1
+ Database.Relational.Arrow: tuplePi7_1' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a2
+ Database.Relational.Arrow: tuplePi7_2' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a3
+ Database.Relational.Arrow: tuplePi7_3' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a4
+ Database.Relational.Arrow: tuplePi7_4' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a5
+ Database.Relational.Arrow: tuplePi7_5' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a6
+ Database.Relational.Arrow: tuplePi7_6' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a7
+ Database.Relational.Arrow: type AggregatedQuery p r = OrderedQuery Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore)) p r
+ Database.Relational.Arrow: type Assign r = Assignings r Restrict
+ Database.Relational.Arrow: type ConfigureQuery = Qualify (QueryConfig Identity)
+ Database.Relational.Arrow: type JoinRestriction a b = Record Flat a -> Record Flat b -> Predicate Flat
+ Database.Relational.Arrow: type OrderedQuery c m p r = Orderings c m (PlaceHolders p, Record c r)
+ Database.Relational.Arrow: type PI c a b = Record c a -> Record c b
+ Database.Relational.Arrow: type Predicate c = Record c (Maybe Bool)
+ Database.Relational.Arrow: type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery)
+ Database.Relational.Arrow: type QuerySuffix = [Keyword]
+ Database.Relational.Arrow: type Restrict = Restrictings Flat ConfigureQuery
+ Database.Relational.Arrow: type SimpleQuery p r = OrderedQuery Flat QueryCore p r
+ Database.Relational.Arrow: type SqlBinOp = Keyword -> Keyword -> Keyword
+ Database.Relational.Arrow: type StringSQL = Keyword
+ Database.Relational.Arrow: typedDelete :: Table r -> Restriction p r -> Delete p
+ Database.Relational.Arrow: typedDelete' :: Config -> Table r -> Restriction p r -> Delete p
+ Database.Relational.Arrow: typedInsert :: PersistableWidth r => Table r -> Pi r r' -> Insert r'
+ Database.Relational.Arrow: typedInsert' :: PersistableWidth r => Config -> Table r -> Pi r r' -> Insert r'
+ Database.Relational.Arrow: typedInsertQuery :: Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Arrow: typedInsertQuery' :: Config -> Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Arrow: typedInsertValue :: Table r -> InsertTarget p r -> Insert p
+ Database.Relational.Arrow: typedInsertValue' :: Config -> Table r -> InsertTarget p r -> Insert p
+ Database.Relational.Arrow: typedKeyUpdate :: Table a -> Pi a p -> KeyUpdate p a
+ Database.Relational.Arrow: typedKeyUpdateTable :: TableDerivable r => Relation () r -> Pi r p -> KeyUpdate p r
+ Database.Relational.Arrow: typedUpdate :: Table r -> UpdateTarget p r -> Update p
+ Database.Relational.Arrow: typedUpdate' :: Config -> Table r -> UpdateTarget p r -> Update p
+ Database.Relational.Arrow: typedUpdateAllColumn :: PersistableWidth r => Table r -> Restriction p r -> Update (r, p)
+ Database.Relational.Arrow: unUnique :: UniqueRelation p c r -> Relation p r
+ Database.Relational.Arrow: union :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Arrow: union' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Arrow: unionAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Arrow: unionAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Arrow: unique :: PersistableWidth p => Key Unique a p -> Relation () a -> Relation p a
+ Database.Relational.Arrow: uniqueKey :: PersistableWidth ct => Key Primary r ct -> Key Unique r ct
+ Database.Relational.Arrow: uniqueSelect :: PersistableWidth p => Key Unique a p -> Relation () a -> Relation p a
+ Database.Relational.Arrow: unitPH :: PlaceHolders ()
+ Database.Relational.Arrow: unitPlaceHolder :: PlaceHolders ()
+ Database.Relational.Arrow: unitSQL :: SubQuery -> String
+ Database.Relational.Arrow: unsafeAddPlaceHolders :: Functor f => f a -> f (PlaceHolders p, a)
+ Database.Relational.Arrow: unsafeAggregateOp :: (AggregatedContext ac, SqlContext ac) => Keyword -> Record Flat a -> Record ac b
+ Database.Relational.Arrow: unsafeBinOp :: SqlContext k => SqlBinOp -> Record k a -> Record k b -> Record k c
+ Database.Relational.Arrow: unsafePlaceHolders :: PlaceHolders p
+ Database.Relational.Arrow: unsafeProjectSql :: SqlContext c => String -> Record c t
+ Database.Relational.Arrow: unsafeProjectSql' :: SqlContext c => StringSQL -> Record c t
+ Database.Relational.Arrow: unsafeProjectSqlTerms :: SqlContext c => [StringSQL] -> Record c t
+ Database.Relational.Arrow: unsafeShowSql :: Record c a -> String
+ Database.Relational.Arrow: unsafeShowSql' :: Record c a -> StringSQL
+ Database.Relational.Arrow: unsafeSpecifyBinding :: (TableDerivable r, SequenceDerivable s i) => Pi r i -> SeqBinding r s i
+ Database.Relational.Arrow: unsafeSpecifyNumber :: Binding r s i => i -> Number r i
+ Database.Relational.Arrow: unsafeSpecifySequence :: TableDerivable s => (s -> i) -> Pi s i -> Sequence s i
+ Database.Relational.Arrow: unsafeTypeRelation :: ConfigureQuery SubQuery -> Relation p r
+ Database.Relational.Arrow: unsafeTypedInsert' :: String -> String -> Int -> Insert a
+ Database.Relational.Arrow: unsafeTypedQuery :: String -> Query p a
+ Database.Relational.Arrow: unsafeTypedUpdate :: String -> Update p
+ Database.Relational.Arrow: unsafeUniOp :: SqlContext c2 => (Keyword -> Keyword) -> Record c1 a -> Record c2 b
+ Database.Relational.Arrow: unsafeUnique :: Relation p r -> UniqueRelation p c r
+ Database.Relational.Arrow: untypeChunkInsert :: Insert a -> String
+ Database.Relational.Arrow: untypeNoFetch :: UntypeableNoFetch s => s p -> String
+ Database.Relational.Arrow: untypeRelation :: Relation p r -> ConfigureQuery SubQuery
+ Database.Relational.Arrow: updateByConstraintKey :: Table r -> Key c r p -> KeyUpdate p r
+ Database.Relational.Arrow: updateNumber :: (PersistableWidth s, Integral i, ShowConstantTermsSQL i) => i -> Sequence s i -> Update ()
+ Database.Relational.Arrow: updateNumber' :: (PersistableWidth s, Integral i, ShowConstantTermsSQL i) => Config -> i -> Sequence s i -> Update ()
+ Database.Relational.Arrow: updateOtherThanKeySQL :: Table r -> Pi r p -> String
+ Database.Relational.Arrow: updateSQL :: Config -> Table r -> UpdateTarget p r -> String
+ Database.Relational.Arrow: updateTarget :: AssignStatement r () -> UpdateTarget () r
+ Database.Relational.Arrow: updateTarget' :: AssignStatement r (PlaceHolders p) -> UpdateTarget p r
+ Database.Relational.Arrow: updateTargetAllColumn :: PersistableWidth r => RestrictedStatement r () -> UpdateTarget r r
+ Database.Relational.Arrow: updateTargetAllColumn' :: PersistableWidth r => RestrictedStatement r (PlaceHolders p) -> UpdateTarget (r, p) r
+ Database.Relational.Arrow: updateValuesWithKey :: ToSql q r => Pi r p -> r -> [q]
+ Database.Relational.Arrow: value :: (ShowConstantTermsSQL t, OperatorContext c) => t -> Record c t
+ Database.Relational.Arrow: valueFalse :: OperatorContext c => Record c (Maybe Bool)
+ Database.Relational.Arrow: valueTrue :: OperatorContext c => Record c (Maybe Bool)
+ Database.Relational.Arrow: values :: (ShowConstantTermsSQL t, OperatorContext c) => [t] -> RecordList (Record c) t
+ Database.Relational.Projectable: instance Database.Relational.Projectable.ProjectableFlattenMaybe (GHC.Maybe.Maybe a) (GHC.Maybe.Maybe a)
+ Database.Relational.Projectable: instance Database.Relational.Projectable.ProjectableFlattenMaybe (GHC.Maybe.Maybe a) b => Database.Relational.Projectable.ProjectableFlattenMaybe (GHC.Maybe.Maybe (GHC.Maybe.Maybe a)) b
+ Database.Relational.Pure: instance (Database.Record.Persistable.PersistableWidth a, Database.Relational.ProjectableClass.ShowConstantTermsSQL a) => Database.Relational.ProjectableClass.ShowConstantTermsSQL (GHC.Maybe.Maybe a)
+ Database.Relational.Query: (!) :: PersistableWidth a => Record c a -> Pi a b -> Record c b
+ Database.Relational.Query: (!??) :: (PersistableWidth a, ProjectableFlattenMaybe (Maybe b) c) => Record cont (Maybe a) -> Pi a b -> Record cont c
+ Database.Relational.Query: ($$!) :: (i -> r) -> Number r i -> r
+ Database.Relational.Query: ($$) :: Binding r s i => (i -> r) -> Number r i -> r
+ Database.Relational.Query: (.*.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query: (.+.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query: (.-.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query: (./.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query: (.<.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query: (.<=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query: (.<>.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query: (.=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query: (.>.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query: (.>=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query: (.||.) :: OperatorContext c => Record c a -> Record c a -> Record c a
+ Database.Relational.Query: (<-#) :: Monad m => AssignTarget r v -> Record Flat v -> Assignings r m ()
+ Database.Relational.Query: (<.>) :: Pi a b -> Pi b c -> Pi a c
+ Database.Relational.Query: (<?.>) :: Pi a (Maybe b) -> Pi b c -> Pi a (Maybe c)
+ Database.Relational.Query: (<?.?>) :: Pi a (Maybe b) -> Pi b (Maybe c) -> Pi a (Maybe c)
+ Database.Relational.Query: (><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)
+ Database.Relational.Query: (?!) :: PersistableWidth a => Record c (Maybe a) -> Pi a b -> Record c (Maybe b)
+ Database.Relational.Query: (?!?) :: PersistableWidth a => Record c (Maybe a) -> Pi a (Maybe b) -> Record c (Maybe b)
+ Database.Relational.Query: (?) :: PersistableWidth a => Record c (Maybe a) -> Pi a b -> Record c (Maybe b)
+ Database.Relational.Query: (?*?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query: (?+?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query: (?-?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query: (?/?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query: (??) :: PersistableWidth a => Record c (Maybe a) -> Pi a (Maybe b) -> Record c (Maybe b)
+ Database.Relational.Query: (?||?) :: (OperatorContext c, IsString a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query: Asc :: Order
+ Database.Relational.Query: Delete :: String -> Delete p
+ Database.Relational.Query: Desc :: Order
+ Database.Relational.Query: Insert :: String -> Maybe (String, Int) -> Insert a
+ Database.Relational.Query: InsertQuery :: String -> InsertQuery p
+ Database.Relational.Query: KeyUpdate :: Pi a p -> String -> KeyUpdate p a
+ Database.Relational.Query: NameConfig :: NameConfig -> (String -> String -> VarName) -> NameConfig
+ Database.Relational.Query: NoQuotation :: IdentifierQuotation
+ Database.Relational.Query: NullsFirst :: Nulls
+ Database.Relational.Query: NullsLast :: Nulls
+ Database.Relational.Query: PUNotSupported :: ProductUnitSupport
+ Database.Relational.Query: PUSupported :: ProductUnitSupport
+ Database.Relational.Query: Query :: String -> Query p a
+ Database.Relational.Query: Quotation :: Char -> IdentifierQuotation
+ Database.Relational.Query: SchemaNotQualified :: SchemaNameMode
+ Database.Relational.Query: SchemaQualified :: SchemaNameMode
+ Database.Relational.Query: Update :: String -> Update p
+ Database.Relational.Query: [chunkedInsert] :: Insert a -> Maybe (String, Int)
+ Database.Relational.Query: [recordConfig] :: NameConfig -> NameConfig
+ Database.Relational.Query: [relationVarName] :: NameConfig -> String -> String -> VarName
+ Database.Relational.Query: [untypeDelete] :: Delete p -> String
+ Database.Relational.Query: [untypeInsertQuery] :: InsertQuery p -> String
+ Database.Relational.Query: [untypeInsert] :: Insert a -> String
+ Database.Relational.Query: [untypeKeyUpdate] :: KeyUpdate p a -> String
+ Database.Relational.Query: [untypeQuery] :: Query p a -> String
+ Database.Relational.Query: [untypeUpdate] :: Update p -> String
+ Database.Relational.Query: [updateKey] :: KeyUpdate p a -> Pi a p
+ Database.Relational.Query: aggregateRelation :: QueryAggregate (Record Aggregated r) -> Relation () r
+ Database.Relational.Query: aggregateRelation' :: AggregatedQuery p r -> Relation p r
+ Database.Relational.Query: aggregatedUnique :: Relation ph r -> Pi r a -> (Record Flat a -> Record Aggregated b) -> UniqueRelation ph Flat b
+ Database.Relational.Query: all' :: MonadQuery m => m ()
+ Database.Relational.Query: and' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Query: any' :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Query: asc :: Monad m => Record c t -> Orderings c m ()
+ Database.Relational.Query: askConfig :: ConfigureQuery Config
+ Database.Relational.Query: assignTo :: Monad m => Record Flat v -> AssignTarget r v -> Assignings r m ()
+ Database.Relational.Query: avg :: (Num a, Fractional b, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe b)
+ Database.Relational.Query: avgMaybe :: (Num a, Fractional b, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe b)
+ Database.Relational.Query: binding :: (Binding r s i, HasConstraintKey Primary r i) => SeqBinding r s i
+ Database.Relational.Query: bkey :: Record Flat r -> AggregatingPowerSet (Record Aggregated (Maybe r))
+ Database.Relational.Query: case' :: OperatorContext c => Record c a -> [(Record c a, Record c b)] -> Record c b -> Record c b
+ Database.Relational.Query: caseMaybe :: (OperatorContext c, PersistableWidth b) => Record c a -> [(Record c a, Record c (Maybe b))] -> Record c (Maybe b)
+ Database.Relational.Query: caseSearch :: OperatorContext c => [(Predicate c, Record c a)] -> Record c a -> Record c a
+ Database.Relational.Query: caseSearchMaybe :: (OperatorContext c, PersistableWidth a) => [(Predicate c, Record c (Maybe a))] -> Record c (Maybe a)
+ Database.Relational.Query: casesOrElse :: OperatorContext c => [(Predicate c, Record c a)] -> Record c a -> Record c a
+ Database.Relational.Query: casesOrElse' :: OperatorContext c => (Record c a, [(Record c a, Record c b)]) -> Record c b -> Record c b
+ Database.Relational.Query: chunkSizeOfInsert :: Insert a -> Int
+ Database.Relational.Query: class (TableDerivable r, SequenceDerivable s i) => Binding r s i | r -> s
+ Database.Relational.Query: class PersistableWidth ct => HasConstraintKey c r ct
+ Database.Relational.Query: class MonadQuery m => MonadAggregate m
+ Database.Relational.Query: class Monad m => MonadPartition c m
+ Database.Relational.Query: class (Functor q, Monad q, Functor m, Monad m) => MonadQualify q m
+ Database.Relational.Query: class (Functor m, Monad m, MonadQualify ConfigureQuery m) => MonadQuery m
+ Database.Relational.Query: class (Functor m, Monad m) => MonadRestrict c m
+ Database.Relational.Query: class ProjectableFlattenMaybe a b
+ Database.Relational.Query: class ProjectableMaybe p
+ Database.Relational.Query: class PersistableWidth ct => ScalarDegree ct
+ Database.Relational.Query: class TableDerivable s => SequenceDerivable s i | s -> i
+ Database.Relational.Query: class ShowConstantTermsSQL a
+ Database.Relational.Query: class SqlContext c
+ Database.Relational.Query: class PersistableWidth r => TableDerivable r
+ Database.Relational.Query: class UntypeableNoFetch s
+ Database.Relational.Query: configureQuery :: ConfigureQuery q -> Config -> q
+ Database.Relational.Query: constraintKey :: HasConstraintKey c r ct => Key c r ct
+ Database.Relational.Query: count :: (Integral b, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac b
+ Database.Relational.Query: cube :: AggregatingPowerSet a -> AggregateKey a
+ Database.Relational.Query: cumeDist :: Record OverWindow Double
+ Database.Relational.Query: data AggregateKey a
+ Database.Relational.Query: data Aggregated
+ Database.Relational.Query: data Config
+ Database.Relational.Query: data Exists
+ Database.Relational.Query: data Flat
+ Database.Relational.Query: data IdentifierQuotation
+ Database.Relational.Query: data Insert a
+ Database.Relational.Query: data InsertTarget p r
+ Database.Relational.Query: data Key c r ct
+ Database.Relational.Query: data KeyUpdate p a
+ Database.Relational.Query: data NameConfig
+ Database.Relational.Query: data NotNull
+ Database.Relational.Query: data Nulls
+ Database.Relational.Query: data Number r i
+ Database.Relational.Query: data Order
+ Database.Relational.Query: data OverWindow
+ Database.Relational.Query: data Pi r0 r1
+ Database.Relational.Query: data PlaceHolders p
+ Database.Relational.Query: data Power
+ Database.Relational.Query: data Primary
+ Database.Relational.Query: data ProductUnitSupport
+ Database.Relational.Query: data QueryUnique a
+ Database.Relational.Query: data Record c t
+ Database.Relational.Query: data RecordList p t
+ Database.Relational.Query: data Relation p r
+ Database.Relational.Query: data Restriction p r
+ Database.Relational.Query: data SchemaNameMode
+ Database.Relational.Query: data SeqBinding r s i
+ Database.Relational.Query: data Sequence s i
+ Database.Relational.Query: data Set
+ Database.Relational.Query: data SetList
+ Database.Relational.Query: data SubQuery
+ Database.Relational.Query: data Table r
+ Database.Relational.Query: data Unique
+ Database.Relational.Query: data UniqueRelation p c r
+ Database.Relational.Query: data UpdateTarget p r
+ Database.Relational.Query: defaultConfig :: Config
+ Database.Relational.Query: defaultNameConfig :: NameConfig
+ Database.Relational.Query: delete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query: delete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query: deleteNoPH :: TableDerivable r => RestrictedStatement r () -> Delete ()
+ Database.Relational.Query: deleteSQL :: Config -> Table r -> Restriction p r -> String
+ Database.Relational.Query: denseRank :: Integral a => Record OverWindow a
+ Database.Relational.Query: derivedDelete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query: derivedDelete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query: derivedInsert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational.Query: derivedInsertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query: derivedInsertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query: derivedInsertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query: derivedKeyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational.Query: derivedRelation :: TableDerivable r => Relation () r
+ Database.Relational.Query: derivedSequence :: SequenceDerivable s i => Sequence s i
+ Database.Relational.Query: derivedTable :: TableDerivable r => Table r
+ Database.Relational.Query: derivedUniqueKey :: HasConstraintKey Primary r ct => Key Unique r ct
+ Database.Relational.Query: derivedUniqueRelation :: TableDerivable r => Key Unique r k -> Record c k -> UniqueRelation () c r
+ Database.Relational.Query: derivedUpdate :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query: derivedUpdate' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query: derivedUpdateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query: derivedUpdateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query: desc :: Monad m => Record c t -> Orderings c m ()
+ Database.Relational.Query: distinct :: MonadQuery m => m ()
+ Database.Relational.Query: dump :: Relation p r -> String
+ Database.Relational.Query: every :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Query: except :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query: except' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query: exceptAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query: exceptAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query: exists :: OperatorContext c => RecordList (Record Exists) r -> Record c (Maybe Bool)
+ Database.Relational.Query: extractCore :: QueryCore a -> ConfigureQuery (((a, [Predicate Flat]), JoinProduct), Duplication)
+ Database.Relational.Query: extractNumber :: Number r i -> i
+ Database.Relational.Query: flatten :: (ProjectableFlattenMaybe a b, ProjectableMaybe p) => p a -> p b
+ Database.Relational.Query: flattenMaybe :: ProjectableMaybe p => p (Maybe (Maybe a)) -> p (Maybe a)
+ Database.Relational.Query: flattenPiMaybe :: (PersistableWidth a, ProjectableFlattenMaybe (Maybe b) c) => Record cont (Maybe a) -> Pi a b -> Record cont c
+ Database.Relational.Query: fromIntegral' :: (SqlContext c, Integral a, Num b) => Record c a -> Record c b
+ Database.Relational.Query: fromIntegralMaybe :: (SqlContext c, Integral a, Num b) => Record c (Maybe a) -> Record c (Maybe b)
+ Database.Relational.Query: fromMaybe :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c r -> Record c (Maybe r) -> Record c r
+ Database.Relational.Query: fromRelation :: Binding r s i => Relation () r -> Sequence s i
+ Database.Relational.Query: fst' :: (PersistableWidth a, PersistableWidth b) => Pi (a, b) a
+ Database.Relational.Query: full :: Relation () a -> Relation () b -> [JoinRestriction (Maybe a) (Maybe b)] -> Relation () (Maybe a, Maybe b)
+ Database.Relational.Query: full' :: Relation pa a -> Relation pb b -> [JoinRestriction (Maybe a) (Maybe b)] -> Relation (pa, pb) (Maybe a, Maybe b)
+ Database.Relational.Query: groupBy :: MonadAggregate m => Record Flat r -> m (Record Aggregated r)
+ Database.Relational.Query: groupBy' :: MonadAggregate m => AggregateKey (Record Aggregated r) -> m (Record Aggregated r)
+ Database.Relational.Query: groupingSets :: AggregatingSetList a -> AggregateKey a
+ Database.Relational.Query: having :: MonadRestrict Aggregated m => Predicate Aggregated -> m ()
+ Database.Relational.Query: id' :: Pi a a
+ Database.Relational.Query: in' :: OperatorContext c => Record c t -> RecordList (Record c) t -> Record c (Maybe Bool)
+ Database.Relational.Query: infix 4 <-#
+ Database.Relational.Query: infix 8 `over`
+ Database.Relational.Query: infixl 1 ><
+ Database.Relational.Query: infixl 5 ?||?
+ Database.Relational.Query: infixl 6 ?-?
+ Database.Relational.Query: infixl 7 `exceptAll'`
+ Database.Relational.Query: infixl 8 `intersectAll'`
+ Database.Relational.Query: infixr 2 `or'`
+ Database.Relational.Query: infixr 3 `and'`
+ Database.Relational.Query: inner :: Relation () a -> Relation () b -> [JoinRestriction a b] -> Relation () (a, b)
+ Database.Relational.Query: inner' :: Relation pa a -> Relation pb b -> [JoinRestriction a b] -> Relation (pa, pb) (a, b)
+ Database.Relational.Query: insert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational.Query: insertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query: insertQuerySQL :: Config -> Table r -> Pi r r' -> Relation p r' -> String
+ Database.Relational.Query: insertTarget :: Register r () -> InsertTarget () r
+ Database.Relational.Query: insertTarget' :: Register r (PlaceHolders p) -> InsertTarget p r
+ Database.Relational.Query: insertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query: insertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query: insertValueList :: (TableDerivable r, ShowConstantTermsSQL r') => Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational.Query: insertValueList' :: (TableDerivable r, ShowConstantTermsSQL r') => Config -> Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational.Query: insertValueNoPH :: TableDerivable r => Register r () -> Insert ()
+ Database.Relational.Query: intersect :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query: intersect' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query: intersectAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query: intersectAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query: isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate c
+ Database.Relational.Query: isNothing :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate c
+ Database.Relational.Query: just :: ProjectableMaybe p => p a -> p (Maybe a)
+ Database.Relational.Query: key :: Record Flat r -> AggregatingSet (Record Aggregated (Maybe r))
+ Database.Relational.Query: key' :: AggregateKey a -> AggregatingSet a
+ Database.Relational.Query: keyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational.Query: left :: Relation () a -> Relation () b -> [JoinRestriction a (Maybe b)] -> Relation () (a, Maybe b)
+ Database.Relational.Query: left' :: Relation pa a -> Relation pb b -> [JoinRestriction a (Maybe b)] -> Relation (pa, pb) (a, Maybe b)
+ Database.Relational.Query: leftPh :: Relation (p, ()) r -> Relation p r
+ Database.Relational.Query: liftTargetAllColumn :: PersistableWidth r => Restriction () r -> UpdateTarget r r
+ Database.Relational.Query: liftTargetAllColumn' :: PersistableWidth r => Restriction p r -> UpdateTarget (r, p) r
+ Database.Relational.Query: like :: (OperatorContext c, IsString a, ShowConstantTermsSQL a) => Record c a -> a -> Record c (Maybe Bool)
+ Database.Relational.Query: like' :: (OperatorContext c, IsString a) => Record c a -> Record c a -> Record c (Maybe Bool)
+ Database.Relational.Query: likeMaybe :: (OperatorContext c, IsString a, ShowConstantTermsSQL a) => Record c (Maybe a) -> a -> Record c (Maybe Bool)
+ Database.Relational.Query: likeMaybe' :: (OperatorContext c, IsString a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe Bool)
+ Database.Relational.Query: list :: [p t] -> RecordList p t
+ Database.Relational.Query: max' :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Query: maxMaybe :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Query: min' :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Query: minMaybe :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Query: negate' :: (OperatorContext c, Num a) => Record c a -> Record c a
+ Database.Relational.Query: negateMaybe :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query: newtype Delete p
+ Database.Relational.Query: newtype InsertQuery p
+ Database.Relational.Query: newtype Query p a
+ Database.Relational.Query: newtype Update p
+ Database.Relational.Query: not' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Query: nothing :: (OperatorContext c, SqlContext c, PersistableWidth a) => Record c (Maybe a)
+ Database.Relational.Query: on :: MonadQuery m => Predicate Flat -> m ()
+ Database.Relational.Query: on' :: ([JoinRestriction a b] -> Relation pc (a, b)) -> [JoinRestriction a b] -> Relation pc (a, b)
+ Database.Relational.Query: or' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Query: orderBy :: Monad m => Record c t -> Order -> Orderings c m ()
+ Database.Relational.Query: orderBy' :: Monad m => Record c t -> Order -> Nulls -> Orderings c m ()
+ Database.Relational.Query: over :: SqlContext c => Record OverWindow a -> Window c () -> Record c a
+ Database.Relational.Query: partitionBy :: MonadPartition c m => Record c r -> m ()
+ Database.Relational.Query: percentRank :: Record OverWindow Double
+ Database.Relational.Query: piRegister :: PersistableWidth r => Pi r r' -> Register r (PlaceHolders r')
+ Database.Relational.Query: placeholder :: (PersistableWidth t, SqlContext c, Monad m) => (Record c t -> m a) -> m (PlaceHolders t, a)
+ Database.Relational.Query: placeholder' :: (PersistableWidth t, SqlContext c) => (Record c t -> a) -> (PlaceHolders t, a)
+ Database.Relational.Query: primary :: HasConstraintKey Primary a p => Relation () a -> Relation p a
+ Database.Relational.Query: primary' :: PersistableWidth p => Key Primary a p -> Relation () a -> Relation p a
+ Database.Relational.Query: primaryBinding :: (TableDerivable r, SequenceDerivable s i, HasConstraintKey Primary r i) => SeqBinding r s i
+ Database.Relational.Query: primarySelect :: HasConstraintKey Primary a p => Relation () a -> Relation p a
+ Database.Relational.Query: primaryUpdate :: HasConstraintKey Primary r p => Table r -> KeyUpdate p r
+ Database.Relational.Query: projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)
+ Database.Relational.Query: projectionKey :: Key c r ct -> Pi r ct
+ Database.Relational.Query: pwPlaceholder :: SqlContext c => PersistableRecordWidth a -> (Record c a -> b) -> (PlaceHolders a, b)
+ Database.Relational.Query: qualifyQuery :: a -> ConfigureQuery (Qualified a)
+ Database.Relational.Query: query :: (MonadQualify ConfigureQuery m, MonadQuery m) => Relation () r -> m (Record Flat r)
+ Database.Relational.Query: query' :: MonadQuery m => Relation p r -> m (PlaceHolders p, Record Flat r)
+ Database.Relational.Query: queryList :: MonadQualify ConfigureQuery m => Relation () r -> m (RecordList (Record c) r)
+ Database.Relational.Query: queryList' :: MonadQualify ConfigureQuery m => Relation p r -> m (PlaceHolders p, RecordList (Record c) r)
+ Database.Relational.Query: queryMaybe :: (MonadQualify ConfigureQuery m, MonadQuery m) => Relation () r -> m (Record Flat (Maybe r))
+ Database.Relational.Query: queryMaybe' :: MonadQuery m => Relation p r -> m (PlaceHolders p, Record Flat (Maybe r))
+ Database.Relational.Query: queryScalar :: (MonadQualify ConfigureQuery m, ScalarDegree r) => UniqueRelation () c r -> m (Record c (Maybe r))
+ Database.Relational.Query: queryScalar' :: (MonadQualify ConfigureQuery m, ScalarDegree r) => UniqueRelation p c r -> m (PlaceHolders p, Record c (Maybe r))
+ Database.Relational.Query: queryWidth :: Qualified SubQuery -> Int
+ Database.Relational.Query: rank :: Integral a => Record OverWindow a
+ Database.Relational.Query: relation :: QuerySimple (Record Flat r) -> Relation () r
+ Database.Relational.Query: relation' :: SimpleQuery p r -> Relation p r
+ Database.Relational.Query: relationWidth :: Relation p r -> PersistableRecordWidth r
+ Database.Relational.Query: relationalQuery :: Relation p r -> Query p r
+ Database.Relational.Query: relationalQuery' :: Relation p r -> QuerySuffix -> Query p r
+ Database.Relational.Query: relationalQuerySQL :: Config -> Relation p r -> QuerySuffix -> String
+ Database.Relational.Query: restrict :: MonadRestrict c m => Predicate c -> m ()
+ Database.Relational.Query: restriction :: RestrictedStatement r () -> Restriction () r
+ Database.Relational.Query: restriction' :: RestrictedStatement r (PlaceHolders p) -> Restriction p r
+ Database.Relational.Query: right :: Relation () a -> Relation () b -> [JoinRestriction (Maybe a) b] -> Relation () (Maybe a, b)
+ Database.Relational.Query: right' :: Relation pa a -> Relation pb b -> [JoinRestriction (Maybe a) b] -> Relation (pa, pb) (Maybe a, b)
+ Database.Relational.Query: rightPh :: Relation ((), p) r -> Relation p r
+ Database.Relational.Query: rollup :: AggregatingPowerSet a -> AggregateKey a
+ Database.Relational.Query: rowNumber :: Integral a => Record OverWindow a
+ Database.Relational.Query: seqRelation :: TableDerivable s => Sequence s i -> Relation () s
+ Database.Relational.Query: set :: AggregatingSet a -> AggregatingSetList a
+ Database.Relational.Query: showConstantTermsSQL :: ShowConstantTermsSQL a => a -> [StringSQL]
+ Database.Relational.Query: showConstantTermsSQL' :: (ShowConstantTermsSQL a, Generic a, GShowConstantTermsSQL (Rep a)) => a -> DList StringSQL
+ Database.Relational.Query: showNum :: (SqlContext c, Num a, IsString b) => Record c a -> Record c b
+ Database.Relational.Query: showNumMaybe :: (SqlContext c, Num a, IsString b) => Record c (Maybe a) -> Record c (Maybe b)
+ Database.Relational.Query: snd' :: (PersistableWidth a, PersistableWidth b) => Pi (a, b) b
+ Database.Relational.Query: some' :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Query: specifiedKey :: PersistableWidth p => Pi a p -> Relation () a -> Relation p a
+ Database.Relational.Query: sqlChunkFromInsertTarget :: Config -> Table r -> InsertTarget p r -> (StringSQL, Int)
+ Database.Relational.Query: sqlChunksFromRecordList :: ShowConstantTermsSQL r' => Config -> Table r -> Pi r r' -> [r'] -> [StringSQL]
+ Database.Relational.Query: sqlFromInsertTarget :: Config -> Table r -> InsertTarget p r -> StringSQL
+ Database.Relational.Query: sqlFromRelation :: Relation p r -> StringSQL
+ Database.Relational.Query: sqlFromRelationWith :: Relation p r -> Config -> StringSQL
+ Database.Relational.Query: sqlFromUpdateTarget :: Config -> Table r -> UpdateTarget p r -> StringSQL
+ Database.Relational.Query: sqlWhereFromRestriction :: Config -> Table r -> Restriction p r -> StringSQL
+ Database.Relational.Query: sum' :: (Num a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Query: sumMaybe :: (Num a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Query: table :: Table r -> Relation () r
+ Database.Relational.Query: tableConstraint :: Key c r ct -> KeyConstraint c r
+ Database.Relational.Query: tableOf :: TableDerivable r => Relation () r -> Table r
+ Database.Relational.Query: tuplePi2_0' :: forall a1 a2. (PersistableWidth a1, PersistableWidth a2) => Pi (a1, a2) a1
+ Database.Relational.Query: tuplePi2_1' :: forall a1 a2. (PersistableWidth a1, PersistableWidth a2) => Pi (a1, a2) a2
+ Database.Relational.Query: tuplePi3_0' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a1
+ Database.Relational.Query: tuplePi3_1' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a2
+ Database.Relational.Query: tuplePi3_2' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a3
+ Database.Relational.Query: tuplePi4_0' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a1
+ Database.Relational.Query: tuplePi4_1' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a2
+ Database.Relational.Query: tuplePi4_2' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a3
+ Database.Relational.Query: tuplePi4_3' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a4
+ Database.Relational.Query: tuplePi5_0' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a1
+ Database.Relational.Query: tuplePi5_1' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a2
+ Database.Relational.Query: tuplePi5_2' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a3
+ Database.Relational.Query: tuplePi5_3' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a4
+ Database.Relational.Query: tuplePi5_4' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a5
+ Database.Relational.Query: tuplePi6_0' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a1
+ Database.Relational.Query: tuplePi6_1' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a2
+ Database.Relational.Query: tuplePi6_2' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a3
+ Database.Relational.Query: tuplePi6_3' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a4
+ Database.Relational.Query: tuplePi6_4' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a5
+ Database.Relational.Query: tuplePi6_5' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a6
+ Database.Relational.Query: tuplePi7_0' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a1
+ Database.Relational.Query: tuplePi7_1' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a2
+ Database.Relational.Query: tuplePi7_2' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a3
+ Database.Relational.Query: tuplePi7_3' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a4
+ Database.Relational.Query: tuplePi7_4' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a5
+ Database.Relational.Query: tuplePi7_5' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a6
+ Database.Relational.Query: tuplePi7_6' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a7
+ Database.Relational.Query: type AggregatedQuery p r = OrderedQuery Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore)) p r
+ Database.Relational.Query: type Assign r = Assignings r Restrict
+ Database.Relational.Query: type ConfigureQuery = Qualify (QueryConfig Identity)
+ Database.Relational.Query: type JoinRestriction a b = Record Flat a -> Record Flat b -> Predicate Flat
+ Database.Relational.Query: type OrderedQuery c m p r = Orderings c m (PlaceHolders p, Record c r)
+ Database.Relational.Query: type PI c a b = Record c a -> Record c b
+ Database.Relational.Query: type Predicate c = Record c (Maybe Bool)
+ Database.Relational.Query: type QueryAggregate = Orderings Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore))
+ Database.Relational.Query: type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery)
+ Database.Relational.Query: type QuerySimple = Orderings Flat QueryCore
+ Database.Relational.Query: type QuerySuffix = [Keyword]
+ Database.Relational.Query: type Register r = Assignings r ConfigureQuery
+ Database.Relational.Query: type Restrict = Restrictings Flat ConfigureQuery
+ Database.Relational.Query: type SimpleQuery p r = OrderedQuery Flat QueryCore p r
+ Database.Relational.Query: type SqlBinOp = Keyword -> Keyword -> Keyword
+ Database.Relational.Query: type StringSQL = Keyword
+ Database.Relational.Query: type Window c = Orderings c (PartitioningSet c)
+ Database.Relational.Query: typedDelete :: Table r -> Restriction p r -> Delete p
+ Database.Relational.Query: typedDelete' :: Config -> Table r -> Restriction p r -> Delete p
+ Database.Relational.Query: typedInsert :: PersistableWidth r => Table r -> Pi r r' -> Insert r'
+ Database.Relational.Query: typedInsert' :: PersistableWidth r => Config -> Table r -> Pi r r' -> Insert r'
+ Database.Relational.Query: typedInsertQuery :: Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query: typedInsertQuery' :: Config -> Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query: typedInsertValue :: Table r -> InsertTarget p r -> Insert p
+ Database.Relational.Query: typedInsertValue' :: Config -> Table r -> InsertTarget p r -> Insert p
+ Database.Relational.Query: typedKeyUpdate :: Table a -> Pi a p -> KeyUpdate p a
+ Database.Relational.Query: typedKeyUpdateTable :: TableDerivable r => Relation () r -> Pi r p -> KeyUpdate p r
+ Database.Relational.Query: typedUpdate :: Table r -> UpdateTarget p r -> Update p
+ Database.Relational.Query: typedUpdate' :: Config -> Table r -> UpdateTarget p r -> Update p
+ Database.Relational.Query: typedUpdateAllColumn :: PersistableWidth r => Table r -> Restriction p r -> Update (r, p)
+ Database.Relational.Query: unUnique :: UniqueRelation p c r -> Relation p r
+ Database.Relational.Query: union :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query: union' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query: unionAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query: unionAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query: unique :: PersistableWidth p => Key Unique a p -> Relation () a -> Relation p a
+ Database.Relational.Query: uniqueKey :: PersistableWidth ct => Key Primary r ct -> Key Unique r ct
+ Database.Relational.Query: uniqueQuery' :: UniqueRelation p c r -> QueryUnique (PlaceHolders p, Record c r)
+ Database.Relational.Query: uniqueQueryMaybe' :: UniqueRelation p c r -> QueryUnique (PlaceHolders p, Record c (Maybe r))
+ Database.Relational.Query: uniqueRelation' :: QueryUnique (PlaceHolders p, Record c r) -> UniqueRelation p c r
+ Database.Relational.Query: uniqueSelect :: PersistableWidth p => Key Unique a p -> Relation () a -> Relation p a
+ Database.Relational.Query: unitPH :: PlaceHolders ()
+ Database.Relational.Query: unitPlaceHolder :: PlaceHolders ()
+ Database.Relational.Query: unitSQL :: SubQuery -> String
+ Database.Relational.Query: unsafeAddPlaceHolders :: Functor f => f a -> f (PlaceHolders p, a)
+ Database.Relational.Query: unsafeAggregateOp :: (AggregatedContext ac, SqlContext ac) => Keyword -> Record Flat a -> Record ac b
+ Database.Relational.Query: unsafeBinOp :: SqlContext k => SqlBinOp -> Record k a -> Record k b -> Record k c
+ Database.Relational.Query: unsafePlaceHolders :: PlaceHolders p
+ Database.Relational.Query: unsafeProjectSql' :: SqlContext c => StringSQL -> Record c t
+ Database.Relational.Query: unsafeSpecifyBinding :: (TableDerivable r, SequenceDerivable s i) => Pi r i -> SeqBinding r s i
+ Database.Relational.Query: unsafeSpecifyNumber :: Binding r s i => i -> Number r i
+ Database.Relational.Query: unsafeSpecifySequence :: TableDerivable s => (s -> i) -> Pi s i -> Sequence s i
+ Database.Relational.Query: unsafeTypeRelation :: ConfigureQuery SubQuery -> Relation p r
+ Database.Relational.Query: unsafeTypedInsert' :: String -> String -> Int -> Insert a
+ Database.Relational.Query: unsafeTypedQuery :: String -> Query p a
+ Database.Relational.Query: unsafeTypedUpdate :: String -> Update p
+ Database.Relational.Query: unsafeUniOp :: SqlContext c2 => (Keyword -> Keyword) -> Record c1 a -> Record c2 b
+ Database.Relational.Query: unsafeUnique :: Relation p r -> UniqueRelation p c r
+ Database.Relational.Query: untypeChunkInsert :: Insert a -> String
+ Database.Relational.Query: untypeNoFetch :: UntypeableNoFetch s => s p -> String
+ Database.Relational.Query: untypeRelation :: Relation p r -> ConfigureQuery SubQuery
+ Database.Relational.Query: update :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query: update' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query: updateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query: updateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query: updateAllColumnNoPH :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r () -> Update r
+ Database.Relational.Query: updateByConstraintKey :: Table r -> Key c r p -> KeyUpdate p r
+ Database.Relational.Query: updateNoPH :: TableDerivable r => AssignStatement r () -> Update ()
+ Database.Relational.Query: updateNumber :: (PersistableWidth s, Integral i, ShowConstantTermsSQL i) => i -> Sequence s i -> Update ()
+ Database.Relational.Query: updateNumber' :: (PersistableWidth s, Integral i, ShowConstantTermsSQL i) => Config -> i -> Sequence s i -> Update ()
+ Database.Relational.Query: updateOtherThanKeySQL :: Table r -> Pi r p -> String
+ Database.Relational.Query: updateSQL :: Config -> Table r -> UpdateTarget p r -> String
+ Database.Relational.Query: updateTarget :: AssignStatement r () -> UpdateTarget () r
+ Database.Relational.Query: updateTarget' :: AssignStatement r (PlaceHolders p) -> UpdateTarget p r
+ Database.Relational.Query: updateTargetAllColumn :: PersistableWidth r => RestrictedStatement r () -> UpdateTarget r r
+ Database.Relational.Query: updateTargetAllColumn' :: PersistableWidth r => RestrictedStatement r (PlaceHolders p) -> UpdateTarget (r, p) r
+ Database.Relational.Query: updateValuesWithKey :: ToSql q r => Pi r p -> r -> [q]
+ Database.Relational.Query: value :: (ShowConstantTermsSQL t, OperatorContext c) => t -> Record c t
+ Database.Relational.Query: valueFalse :: OperatorContext c => Record c (Maybe Bool)
+ Database.Relational.Query: valueTrue :: OperatorContext c => Record c (Maybe Bool)
+ Database.Relational.Query: values :: (ShowConstantTermsSQL t, OperatorContext c) => [t] -> RecordList (Record c) t
+ Database.Relational.Query: wheres :: MonadRestrict Flat m => Predicate Flat -> m ()
+ Database.Relational.Query.Arrow: (!) :: PersistableWidth a => Record c a -> Pi a b -> Record c b
+ Database.Relational.Query.Arrow: (!??) :: (PersistableWidth a, ProjectableFlattenMaybe (Maybe b) c) => Record cont (Maybe a) -> Pi a b -> Record cont c
+ Database.Relational.Query.Arrow: ($$!) :: (i -> r) -> Number r i -> r
+ Database.Relational.Query.Arrow: ($$) :: Binding r s i => (i -> r) -> Number r i -> r
+ Database.Relational.Query.Arrow: (.*.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: (.+.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: (.-.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: (./.) :: (OperatorContext c, Num a) => Record c a -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: (.<.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: (.<=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: (.<>.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: (.=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: (.>.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: (.>=.) :: OperatorContext c => Record c ft -> Record c ft -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: (.||.) :: OperatorContext c => Record c a -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: (<-#) :: Monad m => AssignTarget r v -> Record Flat v -> Assignings r m ()
+ Database.Relational.Query.Arrow: (<.>) :: Pi a b -> Pi b c -> Pi a c
+ Database.Relational.Query.Arrow: (<?.>) :: Pi a (Maybe b) -> Pi b c -> Pi a (Maybe c)
+ Database.Relational.Query.Arrow: (<?.?>) :: Pi a (Maybe b) -> Pi b (Maybe c) -> Pi a (Maybe c)
+ Database.Relational.Query.Arrow: (><) :: ProductIsoApplicative p => p a -> p b -> p (a, b)
+ Database.Relational.Query.Arrow: (?!) :: PersistableWidth a => Record c (Maybe a) -> Pi a b -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: (?!?) :: PersistableWidth a => Record c (Maybe a) -> Pi a (Maybe b) -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: (?) :: PersistableWidth a => Record c (Maybe a) -> Pi a b -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: (?*?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: (?+?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: (?-?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: (?/?) :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: (??) :: PersistableWidth a => Record c (Maybe a) -> Pi a (Maybe b) -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: (?||?) :: (OperatorContext c, IsString a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: Asc :: Order
+ Database.Relational.Query.Arrow: Delete :: String -> Delete p
+ Database.Relational.Query.Arrow: Desc :: Order
+ Database.Relational.Query.Arrow: Insert :: String -> Maybe (String, Int) -> Insert a
+ Database.Relational.Query.Arrow: InsertQuery :: String -> InsertQuery p
+ Database.Relational.Query.Arrow: KeyUpdate :: Pi a p -> String -> KeyUpdate p a
+ Database.Relational.Query.Arrow: NameConfig :: NameConfig -> (String -> String -> VarName) -> NameConfig
+ Database.Relational.Query.Arrow: NoQuotation :: IdentifierQuotation
+ Database.Relational.Query.Arrow: NullsFirst :: Nulls
+ Database.Relational.Query.Arrow: NullsLast :: Nulls
+ Database.Relational.Query.Arrow: PUNotSupported :: ProductUnitSupport
+ Database.Relational.Query.Arrow: PUSupported :: ProductUnitSupport
+ Database.Relational.Query.Arrow: Query :: String -> Query p a
+ Database.Relational.Query.Arrow: Quotation :: Char -> IdentifierQuotation
+ Database.Relational.Query.Arrow: SchemaNotQualified :: SchemaNameMode
+ Database.Relational.Query.Arrow: SchemaQualified :: SchemaNameMode
+ Database.Relational.Query.Arrow: Update :: String -> Update p
+ Database.Relational.Query.Arrow: [chunkedInsert] :: Insert a -> Maybe (String, Int)
+ Database.Relational.Query.Arrow: [recordConfig] :: NameConfig -> NameConfig
+ Database.Relational.Query.Arrow: [relationVarName] :: NameConfig -> String -> String -> VarName
+ Database.Relational.Query.Arrow: [untypeDelete] :: Delete p -> String
+ Database.Relational.Query.Arrow: [untypeInsertQuery] :: InsertQuery p -> String
+ Database.Relational.Query.Arrow: [untypeInsert] :: Insert a -> String
+ Database.Relational.Query.Arrow: [untypeKeyUpdate] :: KeyUpdate p a -> String
+ Database.Relational.Query.Arrow: [untypeQuery] :: Query p a -> String
+ Database.Relational.Query.Arrow: [untypeUpdate] :: Update p -> String
+ Database.Relational.Query.Arrow: [updateKey] :: KeyUpdate p a -> Pi a p
+ Database.Relational.Query.Arrow: aggregateRelation :: QueryAggregate () (Record Aggregated r) -> Relation () r
+ Database.Relational.Query.Arrow: aggregateRelation' :: QueryAggregate () (PlaceHolders p, Record Aggregated r) -> Relation p r
+ Database.Relational.Query.Arrow: aggregatedUnique :: Relation ph r -> Pi r a -> (Record Flat a -> Record Aggregated b) -> UniqueRelation ph Flat b
+ Database.Relational.Query.Arrow: all' :: MonadQuery m => QueryA m () ()
+ Database.Relational.Query.Arrow: and' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: any' :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Query.Arrow: asc :: Monad m => Orderings c m (Record c t) ()
+ Database.Relational.Query.Arrow: askConfig :: ConfigureQuery Config
+ Database.Relational.Query.Arrow: assign :: Monad m => AssignTarget r v -> Assignings r m (Record Flat v) ()
+ Database.Relational.Query.Arrow: assignTo :: Monad m => Record Flat v -> AssignTarget r v -> Assignings r m ()
+ Database.Relational.Query.Arrow: avg :: (Num a, Fractional b, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe b)
+ Database.Relational.Query.Arrow: avgMaybe :: (Num a, Fractional b, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe b)
+ Database.Relational.Query.Arrow: binding :: (Binding r s i, HasConstraintKey Primary r i) => SeqBinding r s i
+ Database.Relational.Query.Arrow: bkey :: AggregatingPowerSet (Record Flat r) (Record Aggregated (Maybe r))
+ Database.Relational.Query.Arrow: case' :: OperatorContext c => Record c a -> [(Record c a, Record c b)] -> Record c b -> Record c b
+ Database.Relational.Query.Arrow: caseMaybe :: (OperatorContext c, PersistableWidth b) => Record c a -> [(Record c a, Record c (Maybe b))] -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: caseSearch :: OperatorContext c => [(Predicate c, Record c a)] -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: caseSearchMaybe :: (OperatorContext c, PersistableWidth a) => [(Predicate c, Record c (Maybe a))] -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: casesOrElse :: OperatorContext c => [(Predicate c, Record c a)] -> Record c a -> Record c a
+ Database.Relational.Query.Arrow: casesOrElse' :: OperatorContext c => (Record c a, [(Record c a, Record c b)]) -> Record c b -> Record c b
+ Database.Relational.Query.Arrow: chunkSizeOfInsert :: Insert a -> Int
+ Database.Relational.Query.Arrow: class (TableDerivable r, SequenceDerivable s i) => Binding r s i | r -> s
+ Database.Relational.Query.Arrow: class PersistableWidth ct => HasConstraintKey c r ct
+ Database.Relational.Query.Arrow: class MonadQuery m => MonadAggregate m
+ Database.Relational.Query.Arrow: class Monad m => MonadPartition c m
+ Database.Relational.Query.Arrow: class (Functor q, Monad q, Functor m, Monad m) => MonadQualify q m
+ Database.Relational.Query.Arrow: class (Functor m, Monad m, MonadQualify ConfigureQuery m) => MonadQuery m
+ Database.Relational.Query.Arrow: class (Functor m, Monad m) => MonadRestrict c m
+ Database.Relational.Query.Arrow: class ProjectableFlattenMaybe a b
+ Database.Relational.Query.Arrow: class ProjectableMaybe p
+ Database.Relational.Query.Arrow: class PersistableWidth ct => ScalarDegree ct
+ Database.Relational.Query.Arrow: class TableDerivable s => SequenceDerivable s i | s -> i
+ Database.Relational.Query.Arrow: class ShowConstantTermsSQL a
+ Database.Relational.Query.Arrow: class SqlContext c
+ Database.Relational.Query.Arrow: class PersistableWidth r => TableDerivable r
+ Database.Relational.Query.Arrow: class UntypeableNoFetch s
+ Database.Relational.Query.Arrow: configureQuery :: ConfigureQuery q -> Config -> q
+ Database.Relational.Query.Arrow: constraintKey :: HasConstraintKey c r ct => Key c r ct
+ Database.Relational.Query.Arrow: count :: (Integral b, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac b
+ Database.Relational.Query.Arrow: cube :: AggregatingPowerSet () a -> AggregateKey a
+ Database.Relational.Query.Arrow: cumeDist :: Record OverWindow Double
+ Database.Relational.Query.Arrow: data AggregateKey a
+ Database.Relational.Query.Arrow: data Aggregated
+ Database.Relational.Query.Arrow: data Config
+ Database.Relational.Query.Arrow: data Exists
+ Database.Relational.Query.Arrow: data Flat
+ Database.Relational.Query.Arrow: data IdentifierQuotation
+ Database.Relational.Query.Arrow: data Insert a
+ Database.Relational.Query.Arrow: data InsertTarget p r
+ Database.Relational.Query.Arrow: data Key c r ct
+ Database.Relational.Query.Arrow: data KeyUpdate p a
+ Database.Relational.Query.Arrow: data NameConfig
+ Database.Relational.Query.Arrow: data NotNull
+ Database.Relational.Query.Arrow: data Nulls
+ Database.Relational.Query.Arrow: data Number r i
+ Database.Relational.Query.Arrow: data Order
+ Database.Relational.Query.Arrow: data OverWindow
+ Database.Relational.Query.Arrow: data Pi r0 r1
+ Database.Relational.Query.Arrow: data PlaceHolders p
+ Database.Relational.Query.Arrow: data Power
+ Database.Relational.Query.Arrow: data Primary
+ Database.Relational.Query.Arrow: data ProductUnitSupport
+ Database.Relational.Query.Arrow: data QueryA m a b
+ Database.Relational.Query.Arrow: data Record c t
+ Database.Relational.Query.Arrow: data RecordList p t
+ Database.Relational.Query.Arrow: data Relation p r
+ Database.Relational.Query.Arrow: data Restriction p r
+ Database.Relational.Query.Arrow: data SchemaNameMode
+ Database.Relational.Query.Arrow: data SeqBinding r s i
+ Database.Relational.Query.Arrow: data Sequence s i
+ Database.Relational.Query.Arrow: data Set
+ Database.Relational.Query.Arrow: data SetList
+ Database.Relational.Query.Arrow: data SubQuery
+ Database.Relational.Query.Arrow: data Table r
+ Database.Relational.Query.Arrow: data Unique
+ Database.Relational.Query.Arrow: data UniqueRelation p c r
+ Database.Relational.Query.Arrow: data UpdateTarget p r
+ Database.Relational.Query.Arrow: defaultConfig :: Config
+ Database.Relational.Query.Arrow: defaultNameConfig :: NameConfig
+ Database.Relational.Query.Arrow: delete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query.Arrow: delete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query.Arrow: deleteNoPH :: TableDerivable r => RestrictedStatement r () -> Delete ()
+ Database.Relational.Query.Arrow: deleteSQL :: Config -> Table r -> Restriction p r -> String
+ Database.Relational.Query.Arrow: denseRank :: Integral a => Record OverWindow a
+ Database.Relational.Query.Arrow: derivedDelete :: TableDerivable r => RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query.Arrow: derivedDelete' :: TableDerivable r => Config -> RestrictedStatement r (PlaceHolders p) -> Delete p
+ Database.Relational.Query.Arrow: derivedInsert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational.Query.Arrow: derivedInsertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query.Arrow: derivedInsertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query.Arrow: derivedInsertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query.Arrow: derivedKeyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational.Query.Arrow: derivedRelation :: TableDerivable r => Relation () r
+ Database.Relational.Query.Arrow: derivedSequence :: SequenceDerivable s i => Sequence s i
+ Database.Relational.Query.Arrow: derivedTable :: TableDerivable r => Table r
+ Database.Relational.Query.Arrow: derivedUniqueKey :: HasConstraintKey Primary r ct => Key Unique r ct
+ Database.Relational.Query.Arrow: derivedUniqueRelation :: TableDerivable r => Key Unique r k -> Record c k -> UniqueRelation () c r
+ Database.Relational.Query.Arrow: derivedUpdate :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query.Arrow: derivedUpdate' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query.Arrow: derivedUpdateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query.Arrow: derivedUpdateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query.Arrow: desc :: Monad m => Orderings c m (Record c t) ()
+ Database.Relational.Query.Arrow: distinct :: MonadQuery m => QueryA m () ()
+ Database.Relational.Query.Arrow: dump :: Relation p r -> String
+ Database.Relational.Query.Arrow: every :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Query.Arrow: except :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query.Arrow: except' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query.Arrow: exceptAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query.Arrow: exceptAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query.Arrow: exists :: OperatorContext c => RecordList (Record Exists) r -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: extractCore :: QueryCore a -> ConfigureQuery (((a, [Predicate Flat]), JoinProduct), Duplication)
+ Database.Relational.Query.Arrow: extractNumber :: Number r i -> i
+ Database.Relational.Query.Arrow: flatten :: (ProjectableFlattenMaybe a b, ProjectableMaybe p) => p a -> p b
+ Database.Relational.Query.Arrow: flattenMaybe :: ProjectableMaybe p => p (Maybe (Maybe a)) -> p (Maybe a)
+ Database.Relational.Query.Arrow: flattenPiMaybe :: (PersistableWidth a, ProjectableFlattenMaybe (Maybe b) c) => Record cont (Maybe a) -> Pi a b -> Record cont c
+ Database.Relational.Query.Arrow: fromIntegral' :: (SqlContext c, Integral a, Num b) => Record c a -> Record c b
+ Database.Relational.Query.Arrow: fromIntegralMaybe :: (SqlContext c, Integral a, Num b) => Record c (Maybe a) -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: fromMaybe :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c r -> Record c (Maybe r) -> Record c r
+ Database.Relational.Query.Arrow: fromRelation :: Binding r s i => Relation () r -> Sequence s i
+ Database.Relational.Query.Arrow: fst' :: (PersistableWidth a, PersistableWidth b) => Pi (a, b) a
+ Database.Relational.Query.Arrow: full :: Relation () a -> Relation () b -> [JoinRestriction (Maybe a) (Maybe b)] -> Relation () (Maybe a, Maybe b)
+ Database.Relational.Query.Arrow: full' :: Relation pa a -> Relation pb b -> [JoinRestriction (Maybe a) (Maybe b)] -> Relation (pa, pb) (Maybe a, Maybe b)
+ Database.Relational.Query.Arrow: groupBy :: MonadAggregate m => QueryA m (Record Flat r) (Record Aggregated r)
+ Database.Relational.Query.Arrow: groupBy' :: MonadAggregate m => QueryA m (AggregateKey (Record Aggregated r)) (Record Aggregated r)
+ Database.Relational.Query.Arrow: groupingSets :: AggregatingSetList () a -> AggregateKey a
+ Database.Relational.Query.Arrow: having :: MonadRestrict Aggregated m => QueryA m (Predicate Aggregated) ()
+ Database.Relational.Query.Arrow: id' :: Pi a a
+ Database.Relational.Query.Arrow: in' :: OperatorContext c => Record c t -> RecordList (Record c) t -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: infix 4 <-#
+ Database.Relational.Query.Arrow: infix 8 `over`
+ Database.Relational.Query.Arrow: infixl 1 ><
+ Database.Relational.Query.Arrow: infixl 5 ?||?
+ Database.Relational.Query.Arrow: infixl 6 ?-?
+ Database.Relational.Query.Arrow: infixl 7 `exceptAll'`
+ Database.Relational.Query.Arrow: infixl 8 `intersectAll'`
+ Database.Relational.Query.Arrow: infixr 2 `or'`
+ Database.Relational.Query.Arrow: infixr 3 `and'`
+ Database.Relational.Query.Arrow: inner :: Relation () a -> Relation () b -> [JoinRestriction a b] -> Relation () (a, b)
+ Database.Relational.Query.Arrow: inner' :: Relation pa a -> Relation pb b -> [JoinRestriction a b] -> Relation (pa, pb) (a, b)
+ Database.Relational.Query.Arrow: insert :: (PersistableWidth r, TableDerivable r) => Pi r r' -> Insert r'
+ Database.Relational.Query.Arrow: insertQuery :: TableDerivable r => Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query.Arrow: insertQuerySQL :: Config -> Table r -> Pi r r' -> Relation p r' -> String
+ Database.Relational.Query.Arrow: insertTarget :: Register r () -> InsertTarget () r
+ Database.Relational.Query.Arrow: insertTarget' :: Register r (PlaceHolders p) -> InsertTarget p r
+ Database.Relational.Query.Arrow: insertValue :: TableDerivable r => Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query.Arrow: insertValue' :: TableDerivable r => Config -> Register r (PlaceHolders p) -> Insert p
+ Database.Relational.Query.Arrow: insertValueList :: (TableDerivable r, ShowConstantTermsSQL r') => Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational.Query.Arrow: insertValueList' :: (TableDerivable r, ShowConstantTermsSQL r') => Config -> Pi r r' -> [r'] -> [Insert ()]
+ Database.Relational.Query.Arrow: insertValueNoPH :: TableDerivable r => Register r () -> Insert ()
+ Database.Relational.Query.Arrow: intersect :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query.Arrow: intersect' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query.Arrow: intersectAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query.Arrow: intersectAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query.Arrow: isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate c
+ Database.Relational.Query.Arrow: isNothing :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate c
+ Database.Relational.Query.Arrow: just :: ProjectableMaybe p => p a -> p (Maybe a)
+ Database.Relational.Query.Arrow: key :: AggregatingSet (Record Flat r) (Record Aggregated (Maybe r))
+ Database.Relational.Query.Arrow: key' :: AggregatingSet (AggregateKey a) a
+ Database.Relational.Query.Arrow: keyUpdate :: TableDerivable r => Pi r p -> KeyUpdate p r
+ Database.Relational.Query.Arrow: left :: Relation () a -> Relation () b -> [JoinRestriction a (Maybe b)] -> Relation () (a, Maybe b)
+ Database.Relational.Query.Arrow: left' :: Relation pa a -> Relation pb b -> [JoinRestriction a (Maybe b)] -> Relation (pa, pb) (a, Maybe b)
+ Database.Relational.Query.Arrow: leftPh :: Relation (p, ()) r -> Relation p r
+ Database.Relational.Query.Arrow: liftTargetAllColumn :: PersistableWidth r => Restriction () r -> UpdateTarget r r
+ Database.Relational.Query.Arrow: liftTargetAllColumn' :: PersistableWidth r => Restriction p r -> UpdateTarget (r, p) r
+ Database.Relational.Query.Arrow: like :: (OperatorContext c, IsString a, ShowConstantTermsSQL a) => Record c a -> a -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: like' :: (OperatorContext c, IsString a) => Record c a -> Record c a -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: likeMaybe :: (OperatorContext c, IsString a, ShowConstantTermsSQL a) => Record c (Maybe a) -> a -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: likeMaybe' :: (OperatorContext c, IsString a) => Record c (Maybe a) -> Record c (Maybe a) -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: list :: [p t] -> RecordList p t
+ Database.Relational.Query.Arrow: max' :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Query.Arrow: maxMaybe :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Query.Arrow: min' :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Query.Arrow: minMaybe :: (Ord a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Query.Arrow: negate' :: (OperatorContext c, Num a) => Record c a -> Record c a
+ Database.Relational.Query.Arrow: negateMaybe :: (OperatorContext c, Num a) => Record c (Maybe a) -> Record c (Maybe a)
+ Database.Relational.Query.Arrow: newtype Delete p
+ Database.Relational.Query.Arrow: newtype InsertQuery p
+ Database.Relational.Query.Arrow: newtype Query p a
+ Database.Relational.Query.Arrow: newtype Update p
+ Database.Relational.Query.Arrow: not' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: nothing :: (OperatorContext c, SqlContext c, PersistableWidth a) => Record c (Maybe a)
+ Database.Relational.Query.Arrow: on :: MonadQuery m => QueryA m (Predicate Flat) ()
+ Database.Relational.Query.Arrow: on' :: ([JoinRestriction a b] -> Relation pc (a, b)) -> [JoinRestriction a b] -> Relation pc (a, b)
+ Database.Relational.Query.Arrow: or' :: OperatorContext c => Record c (Maybe Bool) -> Record c (Maybe Bool) -> Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: orderBy :: Monad m => Order -> Orderings c m (Record c t) ()
+ Database.Relational.Query.Arrow: orderBy' :: Monad m => Order -> Nulls -> Orderings c m (Record c t) ()
+ Database.Relational.Query.Arrow: over :: SqlContext c => Record OverWindow a -> Window c () () -> Record c a
+ Database.Relational.Query.Arrow: partitionBy :: Window c (Record c r) ()
+ Database.Relational.Query.Arrow: percentRank :: Record OverWindow Double
+ Database.Relational.Query.Arrow: piRegister :: PersistableWidth r => Pi r r' -> Register r (PlaceHolders r')
+ Database.Relational.Query.Arrow: placeholder :: (PersistableWidth t, SqlContext c, Monad m) => QueryA m (QueryA m (Record c t) a) (PlaceHolders t, a)
+ Database.Relational.Query.Arrow: placeholder' :: (PersistableWidth t, SqlContext c) => (Record c t -> a) -> (PlaceHolders t, a)
+ Database.Relational.Query.Arrow: primary :: HasConstraintKey Primary a p => Relation () a -> Relation p a
+ Database.Relational.Query.Arrow: primary' :: PersistableWidth p => Key Primary a p -> Relation () a -> Relation p a
+ Database.Relational.Query.Arrow: primaryBinding :: (TableDerivable r, SequenceDerivable s i, HasConstraintKey Primary r i) => SeqBinding r s i
+ Database.Relational.Query.Arrow: primarySelect :: HasConstraintKey Primary a p => Relation () a -> Relation p a
+ Database.Relational.Query.Arrow: primaryUpdate :: HasConstraintKey Primary r p => Table r -> KeyUpdate p r
+ Database.Relational.Query.Arrow: projectZip :: ProductIsoApplicative p => p a -> p b -> p (a, b)
+ Database.Relational.Query.Arrow: projectionKey :: Key c r ct -> Pi r ct
+ Database.Relational.Query.Arrow: pwPlaceholder :: SqlContext c => PersistableRecordWidth a -> (Record c a -> b) -> (PlaceHolders a, b)
+ Database.Relational.Query.Arrow: qualifyQuery :: a -> ConfigureQuery (Qualified a)
+ Database.Relational.Query.Arrow: query :: (MonadQualify ConfigureQuery m, MonadQuery m) => Relation () r -> QueryA m () (Record Flat r)
+ Database.Relational.Query.Arrow: query' :: (MonadQualify ConfigureQuery m, MonadQuery m) => Relation p r -> QueryA m () (PlaceHolders p, Record Flat r)
+ Database.Relational.Query.Arrow: queryExists :: MonadQualify ConfigureQuery m => (Record c a -> Relation () r) -> QueryA m (Record c a) (RecordList (Record Exists) r)
+ Database.Relational.Query.Arrow: queryExists' :: MonadQualify ConfigureQuery m => (Record c a -> Relation p r) -> QueryA m (Record c a) (PlaceHolders p, RecordList (Record Exists) r)
+ Database.Relational.Query.Arrow: queryList :: MonadQualify ConfigureQuery m => (Record c a -> Relation () r) -> QueryA m (Record c a) (RecordList (Record c) r)
+ Database.Relational.Query.Arrow: queryList' :: MonadQualify ConfigureQuery m => (Record c a -> Relation p r) -> QueryA m (Record c a) (PlaceHolders p, RecordList (Record c) r)
+ Database.Relational.Query.Arrow: queryListU :: MonadQualify ConfigureQuery m => Relation () r -> QueryA m () (RecordList (Record c) r)
+ Database.Relational.Query.Arrow: queryListU' :: MonadQualify ConfigureQuery m => Relation p r -> QueryA m () (PlaceHolders p, RecordList (Record c) r)
+ Database.Relational.Query.Arrow: queryMaybe :: (MonadQualify ConfigureQuery m, MonadQuery m) => Relation () r -> QueryA m () (Record Flat (Maybe r))
+ Database.Relational.Query.Arrow: queryMaybe' :: (MonadQualify ConfigureQuery m, MonadQuery m) => Relation p r -> QueryA m () (PlaceHolders p, Record Flat (Maybe r))
+ Database.Relational.Query.Arrow: queryScalar :: (MonadQualify ConfigureQuery m, ScalarDegree r) => (Record c a -> UniqueRelation () c r) -> QueryA m (Record c a) (Record c (Maybe r))
+ Database.Relational.Query.Arrow: queryScalar' :: (MonadQualify ConfigureQuery m, ScalarDegree r) => (Record c a -> UniqueRelation p c r) -> QueryA m (Record c a) (PlaceHolders p, Record c (Maybe r))
+ Database.Relational.Query.Arrow: queryScalarU :: (MonadQualify ConfigureQuery m, ScalarDegree r) => UniqueRelation () c r -> QueryA m () (Record c (Maybe r))
+ Database.Relational.Query.Arrow: queryScalarU' :: (MonadQualify ConfigureQuery m, ScalarDegree r) => UniqueRelation p c r -> QueryA m () (PlaceHolders p, Record c (Maybe r))
+ Database.Relational.Query.Arrow: queryWidth :: Qualified SubQuery -> Int
+ Database.Relational.Query.Arrow: rank :: Integral a => Record OverWindow a
+ Database.Relational.Query.Arrow: relation :: QuerySimple () (Record Flat r) -> Relation () r
+ Database.Relational.Query.Arrow: relation' :: QuerySimple () (PlaceHolders p, Record Flat r) -> Relation p r
+ Database.Relational.Query.Arrow: relationWidth :: Relation p r -> PersistableRecordWidth r
+ Database.Relational.Query.Arrow: relationalQuery :: Relation p r -> Query p r
+ Database.Relational.Query.Arrow: relationalQuery' :: Relation p r -> QuerySuffix -> Query p r
+ Database.Relational.Query.Arrow: relationalQuerySQL :: Config -> Relation p r -> QuerySuffix -> String
+ Database.Relational.Query.Arrow: restrict :: MonadRestrict c m => Predicate c -> m ()
+ Database.Relational.Query.Arrow: restriction :: RestrictedStatement r () -> Restriction () r
+ Database.Relational.Query.Arrow: restriction' :: RestrictedStatement r (PlaceHolders p) -> Restriction p r
+ Database.Relational.Query.Arrow: right :: Relation () a -> Relation () b -> [JoinRestriction (Maybe a) b] -> Relation () (Maybe a, b)
+ Database.Relational.Query.Arrow: right' :: Relation pa a -> Relation pb b -> [JoinRestriction (Maybe a) b] -> Relation (pa, pb) (Maybe a, b)
+ Database.Relational.Query.Arrow: rightPh :: Relation ((), p) r -> Relation p r
+ Database.Relational.Query.Arrow: rollup :: AggregatingPowerSet () a -> AggregateKey a
+ Database.Relational.Query.Arrow: rowNumber :: Integral a => Record OverWindow a
+ Database.Relational.Query.Arrow: seqRelation :: TableDerivable s => Sequence s i -> Relation () s
+ Database.Relational.Query.Arrow: set :: AggregatingSetList (AggregatingSet () a) a
+ Database.Relational.Query.Arrow: showConstantTermsSQL :: ShowConstantTermsSQL a => a -> [StringSQL]
+ Database.Relational.Query.Arrow: showConstantTermsSQL' :: (ShowConstantTermsSQL a, Generic a, GShowConstantTermsSQL (Rep a)) => a -> DList StringSQL
+ Database.Relational.Query.Arrow: showNum :: (SqlContext c, Num a, IsString b) => Record c a -> Record c b
+ Database.Relational.Query.Arrow: showNumMaybe :: (SqlContext c, Num a, IsString b) => Record c (Maybe a) -> Record c (Maybe b)
+ Database.Relational.Query.Arrow: snd' :: (PersistableWidth a, PersistableWidth b) => Pi (a, b) b
+ Database.Relational.Query.Arrow: some' :: (AggregatedContext ac, SqlContext ac) => Predicate Flat -> Record ac (Maybe Bool)
+ Database.Relational.Query.Arrow: specifiedKey :: PersistableWidth p => Pi a p -> Relation () a -> Relation p a
+ Database.Relational.Query.Arrow: sqlChunkFromInsertTarget :: Config -> Table r -> InsertTarget p r -> (StringSQL, Int)
+ Database.Relational.Query.Arrow: sqlChunksFromRecordList :: ShowConstantTermsSQL r' => Config -> Table r -> Pi r r' -> [r'] -> [StringSQL]
+ Database.Relational.Query.Arrow: sqlFromInsertTarget :: Config -> Table r -> InsertTarget p r -> StringSQL
+ Database.Relational.Query.Arrow: sqlFromRelation :: Relation p r -> StringSQL
+ Database.Relational.Query.Arrow: sqlFromRelationWith :: Relation p r -> Config -> StringSQL
+ Database.Relational.Query.Arrow: sqlFromUpdateTarget :: Config -> Table r -> UpdateTarget p r -> StringSQL
+ Database.Relational.Query.Arrow: sqlWhereFromRestriction :: Config -> Table r -> Restriction p r -> StringSQL
+ Database.Relational.Query.Arrow: sum' :: (Num a, AggregatedContext ac, SqlContext ac) => Record Flat a -> Record ac (Maybe a)
+ Database.Relational.Query.Arrow: sumMaybe :: (Num a, AggregatedContext ac, SqlContext ac) => Record Flat (Maybe a) -> Record ac (Maybe a)
+ Database.Relational.Query.Arrow: table :: Table r -> Relation () r
+ Database.Relational.Query.Arrow: tableConstraint :: Key c r ct -> KeyConstraint c r
+ Database.Relational.Query.Arrow: tableOf :: TableDerivable r => Relation () r -> Table r
+ Database.Relational.Query.Arrow: tuplePi2_0' :: forall a1 a2. (PersistableWidth a1, PersistableWidth a2) => Pi (a1, a2) a1
+ Database.Relational.Query.Arrow: tuplePi2_1' :: forall a1 a2. (PersistableWidth a1, PersistableWidth a2) => Pi (a1, a2) a2
+ Database.Relational.Query.Arrow: tuplePi3_0' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a1
+ Database.Relational.Query.Arrow: tuplePi3_1' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a2
+ Database.Relational.Query.Arrow: tuplePi3_2' :: forall a1 a2 a3. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => Pi (a1, a2, a3) a3
+ Database.Relational.Query.Arrow: tuplePi4_0' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a1
+ Database.Relational.Query.Arrow: tuplePi4_1' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a2
+ Database.Relational.Query.Arrow: tuplePi4_2' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a3
+ Database.Relational.Query.Arrow: tuplePi4_3' :: forall a1 a2 a3 a4. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => Pi (a1, a2, a3, a4) a4
+ Database.Relational.Query.Arrow: tuplePi5_0' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a1
+ Database.Relational.Query.Arrow: tuplePi5_1' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a2
+ Database.Relational.Query.Arrow: tuplePi5_2' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a3
+ Database.Relational.Query.Arrow: tuplePi5_3' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a4
+ Database.Relational.Query.Arrow: tuplePi5_4' :: forall a1 a2 a3 a4 a5. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => Pi (a1, a2, a3, a4, a5) a5
+ Database.Relational.Query.Arrow: tuplePi6_0' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a1
+ Database.Relational.Query.Arrow: tuplePi6_1' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a2
+ Database.Relational.Query.Arrow: tuplePi6_2' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a3
+ Database.Relational.Query.Arrow: tuplePi6_3' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a4
+ Database.Relational.Query.Arrow: tuplePi6_4' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a5
+ Database.Relational.Query.Arrow: tuplePi6_5' :: forall a1 a2 a3 a4 a5 a6. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => Pi (a1, a2, a3, a4, a5, a6) a6
+ Database.Relational.Query.Arrow: tuplePi7_0' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a1
+ Database.Relational.Query.Arrow: tuplePi7_1' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a2
+ Database.Relational.Query.Arrow: tuplePi7_2' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a3
+ Database.Relational.Query.Arrow: tuplePi7_3' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a4
+ Database.Relational.Query.Arrow: tuplePi7_4' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a5
+ Database.Relational.Query.Arrow: tuplePi7_5' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a6
+ Database.Relational.Query.Arrow: tuplePi7_6' :: forall a1 a2 a3 a4 a5 a6 a7. (PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => Pi (a1, a2, a3, a4, a5, a6, a7) a7
+ Database.Relational.Query.Arrow: type AggregatedQuery p r = OrderedQuery Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore)) p r
+ Database.Relational.Query.Arrow: type AggregatingPowerSet = QueryA AggregatingPowerSet
+ Database.Relational.Query.Arrow: type AggregatingSet = QueryA AggregatingSet
+ Database.Relational.Query.Arrow: type AggregatingSetList = QueryA AggregatingSetList
+ Database.Relational.Query.Arrow: type Assign r = Assignings r Restrict
+ Database.Relational.Query.Arrow: type AssignStatement r a = Assignings r Restrict (Record Flat r) a
+ Database.Relational.Query.Arrow: type Assignings r m = QueryA (Assignings r m)
+ Database.Relational.Query.Arrow: type ConfigureQuery = Qualify (QueryConfig Identity)
+ Database.Relational.Query.Arrow: type JoinRestriction a b = Record Flat a -> Record Flat b -> Predicate Flat
+ Database.Relational.Query.Arrow: type OrderedQuery c m p r = Orderings c m (PlaceHolders p, Record c r)
+ Database.Relational.Query.Arrow: type Orderings c m = QueryA (Orderings c m)
+ Database.Relational.Query.Arrow: type PI c a b = Record c a -> Record c b
+ Database.Relational.Query.Arrow: type Predicate c = Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: type QueryAggregate = QueryA QueryAggregate
+ Database.Relational.Query.Arrow: type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery)
+ Database.Relational.Query.Arrow: type QuerySimple = QueryA QuerySimple
+ Database.Relational.Query.Arrow: type QuerySuffix = [Keyword]
+ Database.Relational.Query.Arrow: type QueryUnique = QueryA QueryUnique
+ Database.Relational.Query.Arrow: type Register r a = QueryA (Register r) () a
+ Database.Relational.Query.Arrow: type Restrict = Restrictings Flat ConfigureQuery
+ Database.Relational.Query.Arrow: type RestrictedStatement r a = QueryA Restrict (Record Flat r) a
+ Database.Relational.Query.Arrow: type SimpleQuery p r = OrderedQuery Flat QueryCore p r
+ Database.Relational.Query.Arrow: type SqlBinOp = Keyword -> Keyword -> Keyword
+ Database.Relational.Query.Arrow: type StringSQL = Keyword
+ Database.Relational.Query.Arrow: type Window c = QueryA (Window c)
+ Database.Relational.Query.Arrow: typedDelete :: Table r -> Restriction p r -> Delete p
+ Database.Relational.Query.Arrow: typedDelete' :: Config -> Table r -> Restriction p r -> Delete p
+ Database.Relational.Query.Arrow: typedInsert :: PersistableWidth r => Table r -> Pi r r' -> Insert r'
+ Database.Relational.Query.Arrow: typedInsert' :: PersistableWidth r => Config -> Table r -> Pi r r' -> Insert r'
+ Database.Relational.Query.Arrow: typedInsertQuery :: Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query.Arrow: typedInsertQuery' :: Config -> Table r -> Pi r r' -> Relation p r' -> InsertQuery p
+ Database.Relational.Query.Arrow: typedInsertValue :: Table r -> InsertTarget p r -> Insert p
+ Database.Relational.Query.Arrow: typedInsertValue' :: Config -> Table r -> InsertTarget p r -> Insert p
+ Database.Relational.Query.Arrow: typedKeyUpdate :: Table a -> Pi a p -> KeyUpdate p a
+ Database.Relational.Query.Arrow: typedKeyUpdateTable :: TableDerivable r => Relation () r -> Pi r p -> KeyUpdate p r
+ Database.Relational.Query.Arrow: typedUpdate :: Table r -> UpdateTarget p r -> Update p
+ Database.Relational.Query.Arrow: typedUpdate' :: Config -> Table r -> UpdateTarget p r -> Update p
+ Database.Relational.Query.Arrow: typedUpdateAllColumn :: PersistableWidth r => Table r -> Restriction p r -> Update (r, p)
+ Database.Relational.Query.Arrow: unUnique :: UniqueRelation p c r -> Relation p r
+ Database.Relational.Query.Arrow: union :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query.Arrow: union' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query.Arrow: unionAll :: Relation () a -> Relation () a -> Relation () a
+ Database.Relational.Query.Arrow: unionAll' :: Relation p a -> Relation q a -> Relation (p, q) a
+ Database.Relational.Query.Arrow: unique :: PersistableWidth p => Key Unique a p -> Relation () a -> Relation p a
+ Database.Relational.Query.Arrow: uniqueKey :: PersistableWidth ct => Key Primary r ct -> Key Unique r ct
+ Database.Relational.Query.Arrow: uniqueQuery' :: UniqueRelation p c r -> QueryA QueryUnique () (PlaceHolders p, Record c r)
+ Database.Relational.Query.Arrow: uniqueQueryMaybe' :: UniqueRelation p c r -> QueryA QueryUnique () (PlaceHolders p, Record c (Maybe r))
+ Database.Relational.Query.Arrow: uniqueRelation' :: QueryUnique () (PlaceHolders p, Record c r) -> UniqueRelation p c r
+ Database.Relational.Query.Arrow: uniqueSelect :: PersistableWidth p => Key Unique a p -> Relation () a -> Relation p a
+ Database.Relational.Query.Arrow: unitPH :: PlaceHolders ()
+ Database.Relational.Query.Arrow: unitPlaceHolder :: PlaceHolders ()
+ Database.Relational.Query.Arrow: unitSQL :: SubQuery -> String
+ Database.Relational.Query.Arrow: unsafeAddPlaceHolders :: Functor f => f a -> f (PlaceHolders p, a)
+ Database.Relational.Query.Arrow: unsafeAggregateOp :: (AggregatedContext ac, SqlContext ac) => Keyword -> Record Flat a -> Record ac b
+ Database.Relational.Query.Arrow: unsafeBinOp :: SqlContext k => SqlBinOp -> Record k a -> Record k b -> Record k c
+ Database.Relational.Query.Arrow: unsafePlaceHolders :: PlaceHolders p
+ Database.Relational.Query.Arrow: unsafeProjectSql' :: SqlContext c => StringSQL -> Record c t
+ Database.Relational.Query.Arrow: unsafeSpecifyBinding :: (TableDerivable r, SequenceDerivable s i) => Pi r i -> SeqBinding r s i
+ Database.Relational.Query.Arrow: unsafeSpecifyNumber :: Binding r s i => i -> Number r i
+ Database.Relational.Query.Arrow: unsafeSpecifySequence :: TableDerivable s => (s -> i) -> Pi s i -> Sequence s i
+ Database.Relational.Query.Arrow: unsafeTypeRelation :: ConfigureQuery SubQuery -> Relation p r
+ Database.Relational.Query.Arrow: unsafeTypedInsert' :: String -> String -> Int -> Insert a
+ Database.Relational.Query.Arrow: unsafeTypedQuery :: String -> Query p a
+ Database.Relational.Query.Arrow: unsafeTypedUpdate :: String -> Update p
+ Database.Relational.Query.Arrow: unsafeUniOp :: SqlContext c2 => (Keyword -> Keyword) -> Record c1 a -> Record c2 b
+ Database.Relational.Query.Arrow: unsafeUnique :: Relation p r -> UniqueRelation p c r
+ Database.Relational.Query.Arrow: untypeChunkInsert :: Insert a -> String
+ Database.Relational.Query.Arrow: untypeNoFetch :: UntypeableNoFetch s => s p -> String
+ Database.Relational.Query.Arrow: untypeRelation :: Relation p r -> ConfigureQuery SubQuery
+ Database.Relational.Query.Arrow: update :: TableDerivable r => AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query.Arrow: update' :: TableDerivable r => Config -> AssignStatement r (PlaceHolders p) -> Update p
+ Database.Relational.Query.Arrow: updateAllColumn :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query.Arrow: updateAllColumn' :: (PersistableWidth r, TableDerivable r) => Config -> RestrictedStatement r (PlaceHolders p) -> Update (r, p)
+ Database.Relational.Query.Arrow: updateAllColumnNoPH :: (PersistableWidth r, TableDerivable r) => RestrictedStatement r () -> Update r
+ Database.Relational.Query.Arrow: updateByConstraintKey :: Table r -> Key c r p -> KeyUpdate p r
+ Database.Relational.Query.Arrow: updateNoPH :: TableDerivable r => AssignStatement r () -> Update ()
+ Database.Relational.Query.Arrow: updateNumber :: (PersistableWidth s, Integral i, ShowConstantTermsSQL i) => i -> Sequence s i -> Update ()
+ Database.Relational.Query.Arrow: updateNumber' :: (PersistableWidth s, Integral i, ShowConstantTermsSQL i) => Config -> i -> Sequence s i -> Update ()
+ Database.Relational.Query.Arrow: updateOtherThanKeySQL :: Table r -> Pi r p -> String
+ Database.Relational.Query.Arrow: updateSQL :: Config -> Table r -> UpdateTarget p r -> String
+ Database.Relational.Query.Arrow: updateTarget :: AssignStatement r () -> UpdateTarget () r
+ Database.Relational.Query.Arrow: updateTarget' :: AssignStatement r (PlaceHolders p) -> UpdateTarget p r
+ Database.Relational.Query.Arrow: updateTargetAllColumn :: PersistableWidth r => RestrictedStatement r () -> UpdateTarget r r
+ Database.Relational.Query.Arrow: updateTargetAllColumn' :: PersistableWidth r => RestrictedStatement r (PlaceHolders p) -> UpdateTarget (r, p) r
+ Database.Relational.Query.Arrow: updateValuesWithKey :: ToSql q r => Pi r p -> r -> [q]
+ Database.Relational.Query.Arrow: value :: (ShowConstantTermsSQL t, OperatorContext c) => t -> Record c t
+ Database.Relational.Query.Arrow: valueFalse :: OperatorContext c => Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: valueTrue :: OperatorContext c => Record c (Maybe Bool)
+ Database.Relational.Query.Arrow: values :: (ShowConstantTermsSQL t, OperatorContext c) => [t] -> RecordList (Record c) t
+ Database.Relational.Query.Arrow: wheres :: MonadRestrict Flat m => QueryA m (Predicate Flat) ()
+ Database.Relational.Scalar: instance Database.Relational.Scalar.ScalarDegree ct => Database.Relational.Scalar.ScalarDegree (GHC.Maybe.Maybe ct)
- Database.Relational.Compat: (|$|) :: ProductIsoFunctor f => forall a b. ProductConstructor (a -> b) => (a -> b) -> f a -> f b
+ Database.Relational.Compat: (|$|) :: (ProductIsoFunctor f, ProductConstructor (a -> b)) => (a -> b) -> f a -> f b
- Database.Relational.Compat: (|*|) :: ProductIsoApplicative f => forall a b. () => f (a -> b) -> f a -> f b
+ Database.Relational.Compat: (|*|) :: ProductIsoApplicative f => f (a -> b) -> f a -> f b
- Database.Relational.Constraint: data NotNull :: *
+ Database.Relational.Constraint: data NotNull
- Database.Relational.Constraint: data Primary :: *
+ Database.Relational.Constraint: data Primary
- Database.Relational.Constraint: data Unique :: *
+ Database.Relational.Constraint: data Unique
- Database.Relational.Derives: primaryUpdate :: (HasConstraintKey Primary r p) => Table r -> KeyUpdate p r
+ Database.Relational.Derives: primaryUpdate :: HasConstraintKey Primary r p => Table r -> KeyUpdate p r
- Database.Relational.SqlSyntax: Join :: !(Node rs) -> !(Node rs) -> !rs -> ProductTree rs
+ Database.Relational.SqlSyntax: Join :: !Node rs -> !Node rs -> !rs -> ProductTree rs
- Database.Relational.SqlSyntax: Node :: !NodeAttr -> !(ProductTree rs) -> Node rs
+ Database.Relational.SqlSyntax: Node :: !NodeAttr -> !ProductTree rs -> Node rs
- Database.Relational.SqlSyntax: SubQueryRef :: (Qualified Int) -> Column
+ Database.Relational.SqlSyntax: SubQueryRef :: Qualified Int -> Column
Files
- ChangeLog.md +4/−0
- relational-query.cabal +1/−1
- src/Database/Relational/Projectable.hs +1/−1
- test/sqlsEq.hs +15/−0
ChangeLog.md view
@@ -1,5 +1,9 @@ <!-- -*- Markdown -*- --> +## 0.11.4.1++- backport fix of fromMaybe record width.+ ## 0.11.4.0 - add xxxNoPH effect APIs of arrow-interface.
relational-query.cabal view
@@ -1,5 +1,5 @@ name: relational-query-version: 0.11.4.0+version: 0.11.4.1 synopsis: Typeful, Modular, Relational, algebraic query engine description: This package contiains typeful relation structure and relational-algebraic query building DSL which can
src/Database/Relational/Projectable.hs view
@@ -300,7 +300,7 @@ unsafeCastProjectable :: SqlContext c => Record c a -> Record c b-unsafeCastProjectable = unsafeProjectSql' . unsafeShowSql'+unsafeCastProjectable = Syntax.record . Syntax.untypeRecord -- | Number fromIntegral uni-operator. fromIntegral' :: (SqlContext c, Integral a, Num b)
test/sqlsEq.hs view
@@ -414,6 +414,15 @@ return $ fromMaybe (value 1) (a ?! intA0') >< b +maybeY :: Relation () (SetA, SetB)+maybeY = relation $ do+ a <- queryMaybe setA+ b <- query setB++ wheres $ a ?! strA2' .=. b ! mayStrB1'++ return $ fromMaybe (SetA |$| value 1 |*| value "foo" |*| value "var") a >< b+ notX :: Relation () (Maybe Bool) notX = relation $ return $ not' valueFalse@@ -437,6 +446,12 @@ , eqProp "fromMaybe" maybeX "SELECT ALL CASE WHEN (T0.int_a0 IS NULL) THEN 1 ELSE T0.int_a0 END AS f0, \ \ T1.int_b0 AS f1, T1.may_str_b1 AS f2, T1.str_b2 AS f3 \+ \ FROM TEST.set_a T0 RIGHT JOIN TEST.set_b T1 ON (0=0) WHERE (T0.str_a2 = T1.may_str_b1)"+ , eqProp "fromMaybe record" maybeY+ "SELECT ALL CASE WHEN (T0.int_a0 IS NULL) THEN 1 ELSE T0.int_a0 END AS f0, \+ \ CASE WHEN (T0.int_a0 IS NULL) THEN 'foo' ELSE T0.str_a1 END AS f1, \+ \ CASE WHEN (T0.int_a0 IS NULL) THEN 'var' ELSE T0.str_a2 END AS f2, \+ \ T1.int_b0 AS f3, T1.may_str_b1 AS f4, T1.str_b2 AS f5 \ \ FROM TEST.set_a T0 RIGHT JOIN TEST.set_b T1 ON (0=0) WHERE (T0.str_a2 = T1.may_str_b1)" , eqProp "not" notX "SELECT ALL (NOT (0=1)) AS f0"