Database.Sql.Util.Eval.Concrete

Documentation

data Concrete

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))

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

type EvalValue Concrete

type EvalValue Concrete = SqlValue

type EvalRow Concrete

type EvalRow Concrete = []

type EvalMonad Concrete

type EvalMonad Concrete = Identity

data SqlValue

Constructors

SqlInt Integer

SqlStr ByteString

SqlBool Bool

SqlStruct (Map (StructFieldName ()) SqlValue)

SqlNull

Instances

Eq SqlValue

Methods

(==) :: SqlValue -> SqlValue -> Bool

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

Ord SqlValue

Methods

compare :: SqlValue -> SqlValue -> Ordering

(<) :: SqlValue -> SqlValue -> Bool

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

(>) :: SqlValue -> SqlValue -> Bool

(>=) :: SqlValue -> SqlValue -> Bool

max :: SqlValue -> SqlValue -> SqlValue

min :: SqlValue -> SqlValue -> SqlValue

Show SqlValue

Methods

showsPrec :: Int -> SqlValue -> ShowS

show :: SqlValue -> String

showList :: [SqlValue] -> ShowS

truthy :: SqlValue -> Bool

truthy tells us whether our Haskell code should consider a SqlValue "true", mostly for the purpose of filtering. It should not be used to construct a SqlValue, as it does not handle NULL correctly for that purpose.

extendWithNulls :: [a] -> [SqlValue] -> [SqlValue]