Database.Sql.Position

Documentation

data Position

Constructors

Position

Fields

• positionLine :: Int64
• positionColumn :: Int64
• positionOffset :: Int64

Instances

Eq Position

Methods

(==) :: Position -> Position -> Bool

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

Data Position

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Position -> c Position

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Position

toConstr :: Position -> Constr

dataTypeOf :: Position -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Position)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Position)

gmapT :: (forall b. Data b => b -> b) -> Position -> Position

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r

gmapQ :: (forall d. Data d => d -> u) -> Position -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Position -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Position -> m Position

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position

Ord Position

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

(<=) :: Position -> Position -> Bool

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

Show Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Generic Position

Associated Types

type Rep Position :: * -> *

Methods

from :: Position -> Rep Position x

to :: Rep Position x -> Position

ToJSON Position

Methods

toJSON :: Position -> Value

toEncoding :: Position -> Encoding

toJSONList :: [Position] -> Value

toEncodingList :: [Position] -> Encoding

FromJSON Position

Methods

parseJSON :: Value -> Parser Position

parseJSONList :: Value -> Parser [Position]

type Rep Position

type Rep Position = D1 * (MetaData "Position" "Database.Sql.Position" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "Position" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "positionLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int64)) ((:*:) * (S1 * (MetaSel (Just Symbol "positionColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int64)) (S1 * (MetaSel (Just Symbol "positionOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int64)))))

data Range

Constructors

Range

Fields

• start :: Position
• end :: Position

Instances

Eq Range

Methods

(==) :: Range -> Range -> Bool

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

Data Range

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range -> c Range

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Range

toConstr :: Range -> Constr

dataTypeOf :: Range -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Range)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Range)

gmapT :: (forall b. Data b => b -> b) -> Range -> Range

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r

gmapQ :: (forall d. Data d => d -> u) -> Range -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Range -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range -> m Range

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range

Ord Range

Methods

compare :: Range -> Range -> Ordering

(<) :: Range -> Range -> Bool

(<=) :: Range -> Range -> Bool

(>) :: Range -> Range -> Bool

(>=) :: Range -> Range -> Bool

max :: Range -> Range -> Range

min :: Range -> Range -> Range

Show Range

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

Generic Range

Associated Types

type Rep Range :: * -> *

Methods

from :: Range -> Rep Range x

to :: Rep Range x -> Range

Semigroup Range

Methods

(<>) :: Range -> Range -> Range

sconcat :: NonEmpty Range -> Range

stimes :: Integral b => b -> Range -> Range

ToJSON Range

Methods

toJSON :: Range -> Value

toEncoding :: Range -> Encoding

toJSONList :: [Range] -> Value

toEncodingList :: [Range] -> Encoding

FromJSON Range

Methods

parseJSON :: Value -> Parser Range

parseJSONList :: Value -> Parser [Range]

Evaluation e => Evaluate e (Expr ResolvedNames Range)

Associated Types

type EvalResult e (Expr ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> Expr ResolvedNames Range -> EvalResult e (Expr ResolvedNames Range)

Evaluation e => Evaluate e (Selection ResolvedNames Range)

Associated Types

type EvalResult e (Selection ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> Selection ResolvedNames Range -> EvalResult e (Selection ResolvedNames Range)

Evaluation e => Evaluate e (SelectTimeseries ResolvedNames Range)

Associated Types

type EvalResult e (SelectTimeseries ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> SelectTimeseries ResolvedNames Range -> EvalResult e (SelectTimeseries ResolvedNames Range)

Evaluation e => Evaluate e (SelectHaving ResolvedNames Range)

Associated Types

type EvalResult e (SelectHaving ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> SelectHaving ResolvedNames Range -> EvalResult e (SelectHaving ResolvedNames Range)

Evaluation e => Evaluate e (SelectGroup ResolvedNames Range)

Associated Types

type EvalResult e (SelectGroup ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> SelectGroup ResolvedNames Range -> EvalResult e (SelectGroup ResolvedNames Range)

Evaluation e => Evaluate e (SelectWhere ResolvedNames Range)

Associated Types

type EvalResult e (SelectWhere ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> SelectWhere ResolvedNames Range -> EvalResult e (SelectWhere ResolvedNames Range)

Evaluation e => Evaluate e (SelectColumns ResolvedNames Range)

SelectColumns tells us how to map from the records provided by the FROM to (unfiltered, &c) records provided by our select. Evaluating it gives us that function.

Associated Types

type EvalResult e (SelectColumns ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> SelectColumns ResolvedNames Range -> EvalResult e (SelectColumns ResolvedNames Range)

Evaluation e => Evaluate e (JoinCondition ResolvedNames Range)

Associated Types

type EvalResult e (JoinCondition ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> JoinCondition ResolvedNames Range -> EvalResult e (JoinCondition ResolvedNames Range)

Evaluation e => Evaluate e (Tablish ResolvedNames Range)

Associated Types

type EvalResult e (Tablish ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> Tablish ResolvedNames Range -> EvalResult e (Tablish ResolvedNames Range)

Evaluation e => Evaluate e (SelectFrom ResolvedNames Range)

Associated Types

type EvalResult e (SelectFrom ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> SelectFrom ResolvedNames Range -> EvalResult e (SelectFrom ResolvedNames Range)

Evaluation e => Evaluate e (Select ResolvedNames Range)

Associated Types

type EvalResult e (Select ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> Select ResolvedNames Range -> EvalResult e (Select ResolvedNames Range)

Evaluation e => Evaluate e (Query ResolvedNames Range)

Associated Types

type EvalResult e (Query ResolvedNames Range) :: *

Methods

eval :: Proxy * e -> Query ResolvedNames Range -> EvalResult e (Query ResolvedNames Range)

HasColumnLineage (Statement d ResolvedNames Range)

Methods

getColumnLineage :: Statement d ResolvedNames Range -> (RecordSet ColumnLineage, ColumnLineagePlus)

type Rep Range

type Rep Range = D1 * (MetaData "Range" "Database.Sql.Position" "queryparser-0.1.0.1-L3r1ujeH5Ss7CLthXKM008" False) (C1 * (MetaCons "Range" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "start") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Position)) (S1 * (MetaSel (Just Symbol "end") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Position))))

type EvalResult e (Expr ResolvedNames Range)

type EvalResult e (Expr ResolvedNames Range) = EvalT e ExprContext (EvalMonad e) (EvalValue e)

type EvalResult e (Selection ResolvedNames Range)

type EvalResult e (Selection ResolvedNames Range) = EvalT e ExprContext (EvalMonad e) [EvalValue e]

type EvalResult e (SelectTimeseries ResolvedNames Range)

type EvalResult e (SelectTimeseries ResolvedNames Range) = RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (SelectHaving ResolvedNames Range)

type EvalResult e (SelectHaving ResolvedNames Range) = EvalRow e (RecordSet e) -> EvalT e TableContext (EvalMonad e) (EvalRow e (RecordSet e))

type EvalResult e (SelectGroup ResolvedNames Range)

type EvalResult e (SelectGroup ResolvedNames Range) = SelectColumns ResolvedNames Range -> RecordSet e -> EvalT e TableContext (EvalMonad e) (EvalRow e (RecordSet e))

type EvalResult e (SelectWhere ResolvedNames Range)

type EvalResult e (SelectWhere ResolvedNames Range) = RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (SelectColumns ResolvedNames Range)

type EvalResult e (SelectColumns ResolvedNames Range) = RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (JoinCondition ResolvedNames Range)

type EvalResult e (JoinCondition ResolvedNames Range) = RecordSet e -> RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (Tablish ResolvedNames Range)

type EvalResult e (Tablish ResolvedNames Range) = EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (SelectFrom ResolvedNames Range)

type EvalResult e (SelectFrom ResolvedNames Range) = EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (Select ResolvedNames Range)

type EvalResult e (Select ResolvedNames Range) = EvalT e TableContext (EvalMonad e) (RecordSet e)

type EvalResult e (Query ResolvedNames Range)

type EvalResult e (Query ResolvedNames Range) = EvalT e TableContext (EvalMonad e) (RecordSet e)

(?<>) :: Semigroup a => a -> Maybe a -> a infixr 6

advanceHorizontal :: Int64 -> Position -> Position

advanceVertical :: Int64 -> Position -> Position

advance :: Text -> Position -> Position