Database.Sql.Util.Eval

Documentation

data RecordSet e

Constructors

RecordSet

Fields

• recordSetLabels :: [RColumnRef ()]
• recordSetItems :: EvalRow e [EvalValue e]

Instances

Eq (RecordSet Concrete)

Methods

(==) :: RecordSet Concrete -> RecordSet Concrete -> Bool

(/=) :: RecordSet Concrete -> RecordSet Concrete -> Bool

Show (RecordSet Concrete)

Methods

showsPrec :: Int -> RecordSet Concrete -> ShowS

show :: RecordSet Concrete -> String

showList :: [RecordSet Concrete] -> ShowS

data EvalContext e

Constructors

EvalContext

Fields

• evalAliasMap :: Map TableAliasId (RecordSet e)
• evalFromTable :: RTableName Range -> Maybe (RecordSet e)
• evalRow :: Map (RColumnRef ()) (EvalValue e)

Instances

Monad m => MonadReader (EvalContext e) (EvalT e t m)

Methods

ask :: EvalT e t m (EvalContext e)

local :: (EvalContext e -> EvalContext e) -> EvalT e t m a -> EvalT e t m a

reader :: (EvalContext e -> a) -> EvalT e t m a

data ContextType

Constructors

ExprContext

TableContext

exprToTable :: Evaluation e => EvalT e ExprContext (EvalMonad e) a -> Map (RColumnRef ()) (EvalValue e) -> EvalT e TableContext (EvalMonad e) a

tableToExpr :: Evaluation e => EvalT e TableContext (EvalMonad e) a -> EvalT e ExprContext (EvalMonad e) a

newtype EvalT e (t :: ContextType) m a

Constructors

EvalT (ReaderT (EvalContext e) (ExceptT String m) a)

Instances

MonadWriter w m => MonadWriter w (EvalT e t m)

Methods

writer :: (a, w) -> EvalT e t m a

tell :: w -> EvalT e t m ()

listen :: EvalT e t m a -> EvalT e t m (a, w)

pass :: EvalT e t m (a, w -> w) -> EvalT e t m a

MonadState s m => MonadState s (EvalT e t m)

Methods

get :: EvalT e t m s

put :: s -> EvalT e t m ()

state :: (s -> (a, s)) -> EvalT e t m a

Monad m => MonadError String (EvalT e t m)

Methods

throwError :: String -> EvalT e t m a

catchError :: EvalT e t m a -> (String -> EvalT e t m a) -> EvalT e t m a

Monad m => MonadReader (EvalContext e) (EvalT e t m)

Methods

ask :: EvalT e t m (EvalContext e)

local :: (EvalContext e -> EvalContext e) -> EvalT e t m a -> EvalT e t m a

reader :: (EvalContext e -> a) -> EvalT e t m a

Monad m => Monad (EvalT e t m)

Methods

(>>=) :: EvalT e t m a -> (a -> EvalT e t m b) -> EvalT e t m b

(>>) :: EvalT e t m a -> EvalT e t m b -> EvalT e t m b

return :: a -> EvalT e t m a

fail :: String -> EvalT e t m a

Functor m => Functor (EvalT e t m)

Methods

fmap :: (a -> b) -> EvalT e t m a -> EvalT e t m b

(<$) :: a -> EvalT e t m b -> EvalT e t m a

Monad m => Applicative (EvalT e t m)

Methods

pure :: a -> EvalT e t m a

(<*>) :: EvalT e t m (a -> b) -> EvalT e t m a -> EvalT e t m b

liftA2 :: (a -> b -> c) -> EvalT e t m a -> EvalT e t m b -> EvalT e t m c

(*>) :: EvalT e t m a -> EvalT e t m b -> EvalT e t m b

(<*) :: EvalT e t m a -> EvalT e t m b -> EvalT e t m a

type Eval e t = EvalT e t Identity

runEval :: Evaluation e => Eval e t a -> (RTableName Range -> Maybe (RecordSet e)) -> Either String a

runEvalT :: Evaluation e => EvalT e t m a -> (RTableName Range -> Maybe (RecordSet e)) -> m (Either String a)

class Evaluate e q where

Minimal complete definition

eval

Associated Types

type EvalResult e q :: *

Methods

eval :: Proxy e -> q -> EvalResult e q

Instances

Evaluation e => Evaluate e (Constant a)

Associated Types

type EvalResult e (Constant a) :: *

Methods

eval :: Proxy * e -> Constant a -> EvalResult e (Constant a)

Evaluation e => Evaluate e (Offset a)

Associated Types

type EvalResult e (Offset a) :: *

Methods

eval :: Proxy * e -> Offset a -> EvalResult e (Offset a)

Evaluation e => Evaluate e (Limit a)

Associated Types

type EvalResult e (Limit a) :: *

Methods

eval :: Proxy * e -> Limit a -> EvalResult e (Limit a)

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)

introduceAlias :: Evaluation e => Proxy e -> TableAlias () -> RecordSet e -> EvalT e TableContext (EvalMonad e) a -> EvalT e TableContext (EvalMonad e) a

makeRecordSet :: (Evaluation e, Foldable (EvalRow e)) => Proxy e -> [RColumnRef ()] -> EvalRow e [EvalValue e] -> RecordSet e

emptyRecordSet :: Evaluation e => Proxy e -> RecordSet e

class (Monad (EvalRow e), Monad (EvalMonad e), Traversable (EvalRow e)) => Evaluation e where

Minimal complete definition

addItems, removeItems, unionItems, intersectItems, distinctItems, offsetItems, limitItems, filterBy, inList, inSubquery, existsSubquery, atTimeZone, handleConstant, handleCases, handleFunction, handleGroups, handleLike, handleOrder, handleSubquery, handleJoin, handleStructField, handleTypeCast, binop, unop

Associated Types

type EvalValue e :: *

type EvalRow e :: * -> *

type EvalMonad e :: * -> *

Methods

addItems :: Proxy e -> EvalRow e [EvalValue e] -> EvalRow e [EvalValue e] -> EvalT e TableContext (EvalMonad e) (EvalRow e [EvalValue e])

removeItems :: Proxy e -> EvalRow e [EvalValue e] -> EvalRow e [EvalValue e] -> EvalT e TableContext (EvalMonad e) (EvalRow e [EvalValue e])

unionItems :: Proxy e -> EvalRow e [EvalValue e] -> EvalRow e [EvalValue e] -> EvalT e TableContext (EvalMonad e) (EvalRow e [EvalValue e])

intersectItems :: Proxy e -> EvalRow e [EvalValue e] -> EvalRow e [EvalValue e] -> EvalT e TableContext (EvalMonad e) (EvalRow e [EvalValue e])

distinctItems :: Proxy e -> EvalRow e [EvalValue e] -> EvalRow e [EvalValue e]

offsetItems :: Proxy e -> Int -> RecordSet e -> RecordSet e

limitItems :: Proxy e -> Int -> RecordSet e -> RecordSet e

filterBy :: Expr ResolvedNames Range -> RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

inList :: EvalValue e -> [EvalValue e] -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

inSubquery :: EvalValue e -> EvalRow e [EvalValue e] -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

existsSubquery :: EvalRow e [EvalValue e] -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

atTimeZone :: EvalValue e -> EvalValue e -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleConstant :: Proxy e -> Constant a -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleCases :: Proxy e -> [(Expr ResolvedNames Range, Expr ResolvedNames Range)] -> Maybe (Expr ResolvedNames Range) -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleFunction :: Proxy e -> FunctionName Range -> Distinct -> [Expr ResolvedNames Range] -> [(ParamName Range, Expr ResolvedNames Range)] -> Maybe (Filter ResolvedNames Range) -> Maybe (OverSubExpr ResolvedNames Range) -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleGroups :: [RColumnRef ()] -> EvalRow e ([EvalValue e], EvalRow e [EvalValue e]) -> EvalRow e (RecordSet e)

handleLike :: Proxy e -> Operator a -> Maybe (Escape ResolvedNames Range) -> Pattern ResolvedNames Range -> Expr ResolvedNames Range -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleOrder :: Proxy e -> [Order ResolvedNames Range] -> RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

handleSubquery :: EvalRow e [EvalValue e] -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleJoin :: Proxy e -> JoinType a -> JoinCondition ResolvedNames Range -> RecordSet e -> RecordSet e -> EvalT e TableContext (EvalMonad e) (RecordSet e)

handleStructField :: Expr ResolvedNames Range -> StructFieldName a -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

handleTypeCast :: CastFailureAction -> Expr ResolvedNames Range -> DataType a -> EvalT e ExprContext (EvalMonad e) (EvalValue e)

binop :: Proxy e -> Text -> Maybe (EvalValue e -> EvalValue e -> EvalT e ExprContext (EvalMonad e) (EvalValue e))

unop :: Proxy e -> Text -> Maybe (EvalValue e -> EvalT e ExprContext (EvalMonad e) (EvalValue e))

Instances

Evaluation Concrete

Associated Types

type EvalValue Concrete :: *

type EvalRow Concrete :: * -> *

type EvalMonad Concrete :: * -> *

Methods

addItems :: Proxy * Concrete -> EvalRow Concrete [EvalValue Concrete] -> EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete TableContext (EvalMonad Concrete) (EvalRow Concrete [EvalValue Concrete])

removeItems :: Proxy * Concrete -> EvalRow Concrete [EvalValue Concrete] -> EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete TableContext (EvalMonad Concrete) (EvalRow Concrete [EvalValue Concrete])

unionItems :: Proxy * Concrete -> EvalRow Concrete [EvalValue Concrete] -> EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete TableContext (EvalMonad Concrete) (EvalRow Concrete [EvalValue Concrete])

intersectItems :: Proxy * Concrete -> EvalRow Concrete [EvalValue Concrete] -> EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete TableContext (EvalMonad Concrete) (EvalRow Concrete [EvalValue Concrete])

distinctItems :: Proxy * Concrete -> EvalRow Concrete [EvalValue Concrete] -> EvalRow Concrete [EvalValue Concrete]

offsetItems :: Proxy * Concrete -> Int -> RecordSet Concrete -> RecordSet Concrete

limitItems :: Proxy * Concrete -> Int -> RecordSet Concrete -> RecordSet Concrete

filterBy :: Expr ResolvedNames Range -> RecordSet Concrete -> EvalT Concrete TableContext (EvalMonad Concrete) (RecordSet Concrete)

inList :: EvalValue Concrete -> [EvalValue Concrete] -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

inSubquery :: EvalValue Concrete -> EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

existsSubquery :: EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

atTimeZone :: EvalValue Concrete -> EvalValue Concrete -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleConstant :: Proxy * Concrete -> Constant a -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleCases :: Proxy * Concrete -> [(Expr ResolvedNames Range, Expr ResolvedNames Range)] -> Maybe (Expr ResolvedNames Range) -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleFunction :: Proxy * Concrete -> FunctionName Range -> Distinct -> [Expr ResolvedNames Range] -> [(ParamName Range, Expr ResolvedNames Range)] -> Maybe (Filter ResolvedNames Range) -> Maybe (OverSubExpr ResolvedNames Range) -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleGroups :: [RColumnRef ()] -> EvalRow Concrete ([EvalValue Concrete], EvalRow Concrete [EvalValue Concrete]) -> EvalRow Concrete (RecordSet Concrete)

handleLike :: Proxy * Concrete -> Operator a -> Maybe (Escape ResolvedNames Range) -> Pattern ResolvedNames Range -> Expr ResolvedNames Range -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleOrder :: Proxy * Concrete -> [Order ResolvedNames Range] -> RecordSet Concrete -> EvalT Concrete TableContext (EvalMonad Concrete) (RecordSet Concrete)

handleSubquery :: EvalRow Concrete [EvalValue Concrete] -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleJoin :: Proxy * Concrete -> JoinType a -> JoinCondition ResolvedNames Range -> RecordSet Concrete -> RecordSet Concrete -> EvalT Concrete TableContext (EvalMonad Concrete) (RecordSet Concrete)

handleStructField :: Expr ResolvedNames Range -> StructFieldName a -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

handleTypeCast :: CastFailureAction -> Expr ResolvedNames Range -> DataType a -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete)

binop :: Proxy * Concrete -> Text -> Maybe (EvalValue Concrete -> EvalValue Concrete -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete))

unop :: Proxy * Concrete -> Text -> Maybe (EvalValue Concrete -> EvalT Concrete ExprContext (EvalMonad Concrete) (EvalValue Concrete))

Evaluation ColumnLineage

Associated Types

type EvalValue ColumnLineage :: *

type EvalRow ColumnLineage :: * -> *

type EvalMonad ColumnLineage :: * -> *

Methods

addItems :: Proxy * ColumnLineage -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (EvalRow ColumnLineage [EvalValue ColumnLineage])

removeItems :: Proxy * ColumnLineage -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (EvalRow ColumnLineage [EvalValue ColumnLineage])

unionItems :: Proxy * ColumnLineage -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (EvalRow ColumnLineage [EvalValue ColumnLineage])

intersectItems :: Proxy * ColumnLineage -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (EvalRow ColumnLineage [EvalValue ColumnLineage])

distinctItems :: Proxy * ColumnLineage -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalRow ColumnLineage [EvalValue ColumnLineage]

offsetItems :: Proxy * ColumnLineage -> Int -> RecordSet ColumnLineage -> RecordSet ColumnLineage

limitItems :: Proxy * ColumnLineage -> Int -> RecordSet ColumnLineage -> RecordSet ColumnLineage

filterBy :: Expr ResolvedNames Range -> RecordSet ColumnLineage -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (RecordSet ColumnLineage)

inList :: EvalValue ColumnLineage -> [EvalValue ColumnLineage] -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

inSubquery :: EvalValue ColumnLineage -> EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

existsSubquery :: EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

atTimeZone :: EvalValue ColumnLineage -> EvalValue ColumnLineage -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleConstant :: Proxy * ColumnLineage -> Constant a -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleCases :: Proxy * ColumnLineage -> [(Expr ResolvedNames Range, Expr ResolvedNames Range)] -> Maybe (Expr ResolvedNames Range) -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleFunction :: Proxy * ColumnLineage -> FunctionName Range -> Distinct -> [Expr ResolvedNames Range] -> [(ParamName Range, Expr ResolvedNames Range)] -> Maybe (Filter ResolvedNames Range) -> Maybe (OverSubExpr ResolvedNames Range) -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleGroups :: [RColumnRef ()] -> EvalRow ColumnLineage ([EvalValue ColumnLineage], EvalRow ColumnLineage [EvalValue ColumnLineage]) -> EvalRow ColumnLineage (RecordSet ColumnLineage)

handleLike :: Proxy * ColumnLineage -> Operator a -> Maybe (Escape ResolvedNames Range) -> Pattern ResolvedNames Range -> Expr ResolvedNames Range -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleOrder :: Proxy * ColumnLineage -> [Order ResolvedNames Range] -> RecordSet ColumnLineage -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (RecordSet ColumnLineage)

handleSubquery :: EvalRow ColumnLineage [EvalValue ColumnLineage] -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleJoin :: Proxy * ColumnLineage -> JoinType a -> JoinCondition ResolvedNames Range -> RecordSet ColumnLineage -> RecordSet ColumnLineage -> EvalT ColumnLineage TableContext (EvalMonad ColumnLineage) (RecordSet ColumnLineage)

handleStructField :: Expr ResolvedNames Range -> StructFieldName a -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

handleTypeCast :: CastFailureAction -> Expr ResolvedNames Range -> DataType a -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage)

binop :: Proxy * ColumnLineage -> Text -> Maybe (EvalValue ColumnLineage -> EvalValue ColumnLineage -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage))

unop :: Proxy * ColumnLineage -> Text -> Maybe (EvalValue ColumnLineage -> EvalT ColumnLineage ExprContext (EvalMonad ColumnLineage) (EvalValue ColumnLineage))

appendRecordSets :: Evaluation e => Proxy e -> NonEmpty (RecordSet e) -> EvalT e TableContext (EvalMonad e) (RecordSet e)

makeRowMap :: [RColumnRef ()] -> [a] -> Map (RColumnRef ()) a

data Direction a

Constructors

Ascending a

Descending a

Instances

Eq a => Eq (Direction a)

Methods

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

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

Ord a => Ord (Direction a)

Methods

compare :: Direction a -> Direction a -> Ordering

(<) :: Direction a -> Direction a -> Bool

(<=) :: Direction a -> Direction a -> Bool

(>) :: Direction a -> Direction a -> Bool

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

max :: Direction a -> Direction a -> Direction a

min :: Direction a -> Direction a -> Direction a