Opaleye.Internal.Sql

Synopsis

• data Select
  • = SelectFrom From
  • | Table SqlTable
  • | SelectJoin Join
  • | SelectValues Values
  • | SelectBinary Binary
• data SelectAttrs
  • = Star
  • | SelectAttrs (NonEmpty (SqlExpr, Maybe SqlColumn))
• data From = From {
  • attrs :: SelectAttrs
  • tables :: [Select]
  • criteria :: [SqlExpr]
  • groupBy :: Maybe (NonEmpty SqlExpr)
  • orderBy :: [(SqlExpr, SqlOrder)]
  • limit :: Maybe Int
  • offset :: Maybe Int
  }
• data Join = Join {
  • jJoinType :: JoinType
  • jTables :: (Select, Select)
  • jCond :: SqlExpr
  }
• data Values = Values {
  • vAttrs :: SelectAttrs
  • vValues :: [[SqlExpr]]
  }
• data Binary = Binary {
  • bOp :: BinOp
  • bSelect1 :: Select
  • bSelect2 :: Select
  }
• data JoinType = LeftJoin
• data BinOp
  • = Except
  • | Union
  • | UnionAll
• data Returning a = Returning a (NonEmpty SqlExpr)
• sqlQueryGenerator :: PrimQueryFold Select
• sql :: ([PrimExpr], PrimQuery, Tag) -> Select
• unit :: Select
• baseTable :: TableIdentifier -> [(Symbol, PrimExpr)] -> Select
• product :: NonEmpty Select -> [PrimExpr] -> Select
• aggregate :: [(Symbol, (Maybe AggrOp, PrimExpr))] -> Select -> Select
• aggrExpr :: Maybe AggrOp -> PrimExpr -> PrimExpr
• order :: [OrderExpr] -> Select -> Select
• limit_ :: LimitOp -> Select -> Select
• join :: JoinType -> PrimExpr -> Select -> Select -> Select
• values :: [Symbol] -> [[PrimExpr]] -> Select
• binary :: BinOp -> [(Symbol, (PrimExpr, PrimExpr))] -> (Select, Select) -> Select
• joinType :: JoinType -> JoinType
• binOp :: BinOp -> BinOp
• newSelect :: From
• sqlExpr :: PrimExpr -> SqlExpr
• sqlBinding :: (Symbol, PrimExpr) -> (SqlExpr, Maybe SqlColumn)
• ensureColumns :: [(SqlExpr, Maybe a)] -> NonEmpty (SqlExpr, Maybe a)
• ensureColumnsGen :: (SqlExpr -> a) -> [a] -> NonEmpty a

Documentation