Safe Haskell	None
Language	Haskell2010

Database.Sql.Util.Tables

Documentation

data UsageMode Source #

Constructors

ReadData
ReadMeta
WriteData
WriteMeta
Unknown

Instances

Eq UsageMode Source #
Methods (==) :: UsageMode -> UsageMode -> Bool # (/=) :: UsageMode -> UsageMode -> Bool #
Ord UsageMode Source #
Methods compare :: UsageMode -> UsageMode -> Ordering # (<) :: UsageMode -> UsageMode -> Bool # (<=) :: UsageMode -> UsageMode -> Bool # (>) :: UsageMode -> UsageMode -> Bool # (>=) :: UsageMode -> UsageMode -> Bool # max :: UsageMode -> UsageMode -> UsageMode # min :: UsageMode -> UsageMode -> UsageMode #
Show UsageMode Source #
Methods showsPrec :: Int -> UsageMode -> ShowS # show :: UsageMode -> String # showList :: [UsageMode] -> ShowS #

data TableUse Source #

Constructors

TableUse UsageMode FullyQualifiedTableName

Instances

Eq TableUse Source #
Methods (==) :: TableUse -> TableUse -> Bool # (/=) :: TableUse -> TableUse -> Bool #
Ord TableUse Source #
Methods compare :: TableUse -> TableUse -> Ordering # (<) :: TableUse -> TableUse -> Bool # (<=) :: TableUse -> TableUse -> Bool # (>) :: TableUse -> TableUse -> Bool # (>=) :: TableUse -> TableUse -> Bool # max :: TableUse -> TableUse -> TableUse # min :: TableUse -> TableUse -> TableUse #
Show TableUse Source #
Methods showsPrec :: Int -> TableUse -> ShowS # show :: TableUse -> String # showList :: [TableUse] -> ShowS #

getTables :: HasTables q => q -> Set FullyQualifiedTableName Source #

getUsages :: HasTables q => q -> Set TableUse Source #

class HasTables q where Source #

Minimal complete definition

goTables

Methods

goTables :: q -> ReaderT UsageMode (Writer (Set TableUse)) () Source #

Instances

HasTables a => HasTables (Maybe a) Source #
Methods goTables :: Maybe a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables a => HasTables (NonEmpty a) Source #
Methods goTables :: NonEmpty a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (RColumnRef a) Source #
Methods goTables :: RColumnRef a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (FQTableName a) Source #
Methods goTables :: FQTableName a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (RTableName a) Source #
Methods goTables :: RTableName a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
(HasTables a, HasTables b) => HasTables (a, b) Source #
Methods goTables :: (a, b) -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (NamedWindowExpr ResolvedNames a) Source #
Methods goTables :: NamedWindowExpr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (PartialWindowExpr ResolvedNames a) Source #
Methods goTables :: PartialWindowExpr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (WindowExpr ResolvedNames a) Source #
Methods goTables :: WindowExpr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (OverSubExpr ResolvedNames a) Source #
Methods goTables :: OverSubExpr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Partition ResolvedNames a) Source #
Methods goTables :: Partition ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Filter ResolvedNames a) Source #
Methods goTables :: Filter ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Expr ResolvedNames a) Source #
Methods goTables :: Expr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Selection ResolvedNames a) Source #
Methods goTables :: Selection ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Order ResolvedNames a) Source #
Methods goTables :: Order ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectNamedWindow ResolvedNames a) Source #
Methods goTables :: SelectNamedWindow ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectHaving ResolvedNames a) Source #
Methods goTables :: SelectHaving ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectGroup ResolvedNames a) Source #
Methods goTables :: SelectGroup ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (GroupingElement ResolvedNames a) Source #
Methods goTables :: GroupingElement ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (PositionOrExpr ResolvedNames a) Source #
Methods goTables :: PositionOrExpr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectTimeseries ResolvedNames a) Source #
Methods goTables :: SelectTimeseries ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectWhere ResolvedNames a) Source #
Methods goTables :: SelectWhere ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Tablish ResolvedNames a) Source #
Methods goTables :: Tablish ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectFrom ResolvedNames a) Source #
Methods goTables :: SelectFrom ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (SelectColumns ResolvedNames a) Source #
Methods goTables :: SelectColumns ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Select ResolvedNames a) Source #
Methods goTables :: Select ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Query ResolvedNames a) Source #
Methods goTables :: Query ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (DropView ResolvedNames a) Source #
Methods goTables :: DropView ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (CreateView ResolvedNames a) Source #
Methods goTables :: CreateView ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (DropTable ResolvedNames a) Source #
Methods goTables :: DropTable ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (AlterTable ResolvedNames a) Source #
Methods goTables :: AlterTable ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Truncate ResolvedNames a) Source #
Methods goTables :: Truncate ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Delete ResolvedNames a) Source #
Methods goTables :: Delete ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Update ResolvedNames a) Source #
Methods goTables :: Update ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (DefaultExpr ResolvedNames a) Source #
Methods goTables :: DefaultExpr ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (InsertValues ResolvedNames a) Source #
Methods goTables :: InsertValues ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Insert ResolvedNames a) Source #
Methods goTables :: Insert ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (ColumnDefinition d ResolvedNames a) Source #
Methods goTables :: ColumnDefinition d ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (ColumnOrConstraint d ResolvedNames a) Source #
Methods goTables :: ColumnOrConstraint d ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (TableDefinition d ResolvedNames a) Source #
Methods goTables :: TableDefinition d ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (CreateTable d ResolvedNames a) Source #
Methods goTables :: CreateTable d ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #
HasTables (Statement d ResolvedNames a) Source #
Methods goTables :: Statement d ResolvedNames a -> ReaderT * UsageMode (Writer (Set TableUse)) () Source #

emitTable :: (MonadWriter (Set TableUse) m, MonadReader UsageMode m) => FQTableName a -> m () Source #

data Open Source #

Constructors

Open
Fields openRange :: Range openNumber :: RangeNumber

Instances

Eq Open Source #
Methods (==) :: Open -> Open -> Bool # (/=) :: Open -> Open -> Bool #
Ord Open Source #
Methods compare :: Open -> Open -> Ordering # (<) :: Open -> Open -> Bool # (<=) :: Open -> Open -> Bool # (>) :: Open -> Open -> Bool # (>=) :: Open -> Open -> Bool # max :: Open -> Open -> Open # min :: Open -> Open -> Open #
Show Open Source #
Methods showsPrec :: Int -> Open -> ShowS # show :: Open -> String # showList :: [Open] -> ShowS #
Positioned Open Source #
Methods position :: Open -> Position Source #

data Close Source #

Constructors

Close
Fields closeRange :: Range closeNumber :: RangeNumber

Instances

Eq Close Source #
Methods (==) :: Close -> Close -> Bool # (/=) :: Close -> Close -> Bool #
Ord Close Source #
Methods compare :: Close -> Close -> Ordering # (<) :: Close -> Close -> Bool # (<=) :: Close -> Close -> Bool # (>) :: Close -> Close -> Bool # (>=) :: Close -> Close -> Bool # max :: Close -> Close -> Close # min :: Close -> Close -> Close #
Show Close Source #
Methods showsPrec :: Int -> Close -> ShowS # show :: Close -> String # showList :: [Close] -> ShowS #
Positioned Close Source #
Methods position :: Close -> Position Source #

class Positioned a where Source #

Minimal complete definition

position

Methods

position :: a -> Position Source #

Instances

Positioned Close Source #
Methods position :: Close -> Position Source #
Positioned Open Source #
Methods position :: Open -> Position Source #

newtype RangeNumber Source #

Constructors

RangeNumber Integer

Instances

Eq RangeNumber Source #
Methods (==) :: RangeNumber -> RangeNumber -> Bool # (/=) :: RangeNumber -> RangeNumber -> Bool #
Ord RangeNumber Source #
Methods compare :: RangeNumber -> RangeNumber -> Ordering # (<) :: RangeNumber -> RangeNumber -> Bool # (<=) :: RangeNumber -> RangeNumber -> Bool # (>) :: RangeNumber -> RangeNumber -> Bool # (>=) :: RangeNumber -> RangeNumber -> Bool # max :: RangeNumber -> RangeNumber -> RangeNumber # min :: RangeNumber -> RangeNumber -> RangeNumber #
Show RangeNumber Source #
Methods showsPrec :: Int -> RangeNumber -> ShowS # show :: RangeNumber -> String # showList :: [RangeNumber] -> ShowS #

newtype NodeNumber Source #

Constructors

NodeNumber Integer

Instances

Eq NodeNumber Source #
Methods (==) :: NodeNumber -> NodeNumber -> Bool # (/=) :: NodeNumber -> NodeNumber -> Bool #
Ord NodeNumber Source #
Methods compare :: NodeNumber -> NodeNumber -> Ordering # (<) :: NodeNumber -> NodeNumber -> Bool # (<=) :: NodeNumber -> NodeNumber -> Bool # (>) :: NodeNumber -> NodeNumber -> Bool # (>=) :: NodeNumber -> NodeNumber -> Bool # max :: NodeNumber -> NodeNumber -> NodeNumber # min :: NodeNumber -> NodeNumber -> NodeNumber #
Show NodeNumber Source #
Methods showsPrec :: Int -> NodeNumber -> ShowS # show :: NodeNumber -> String # showList :: [NodeNumber] -> ShowS #

getRanges :: Query RawNames Range -> (Query RawNames NodeNumber, Set Open, Set Close, Map NodeNumber RangeNumber) Source #

spliceMarkers :: Monoid a => (Open -> a) -> (Close -> a) -> (Text -> a) -> Set Open -> Set Close -> Text -> a Source #