Opaleye.Internal.HaskellDB.PrimQuery

Documentation

type TableName = String

type Attribute = String

type Name = String

type Scheme = [Attribute]

type Assoc = [(Attribute, PrimExpr)]

data Symbol

Constructors

Symbol String Tag

Instances

Read Symbol

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS Symbol

readList :: ReadS [Symbol]

readPrec :: ReadPrec Symbol

readListPrec :: ReadPrec [Symbol]

Show Symbol

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

data PrimExpr

Constructors

AttrExpr Symbol

BaseTableAttrExpr Attribute

CompositeExpr PrimExpr Attribute

Composite Type Query

BinExpr BinOp PrimExpr PrimExpr

UnExpr UnOp PrimExpr

AggrExpr (Aggr' PrimExpr)

WndwExpr WndwOp Partition

ConstExpr Literal

CaseExpr [(PrimExpr, PrimExpr)] PrimExpr

ListExpr (NonEmpty PrimExpr)

ParamExpr (Maybe Name) PrimExpr

FunExpr Name [PrimExpr]

CastExpr Name PrimExpr

Cast an expression to a given type.

DefaultInsertExpr

ArrayExpr [PrimExpr]

ARRAY[..]

RangeExpr String BoundExpr BoundExpr

ArrayIndex PrimExpr PrimExpr

Instances

Read PrimExpr

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS PrimExpr

readList :: ReadS [PrimExpr]

readPrec :: ReadPrec PrimExpr

readListPrec :: ReadPrec [PrimExpr]

Show PrimExpr

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> PrimExpr -> ShowS

show :: PrimExpr -> String

showList :: [PrimExpr] -> ShowS

data Literal

Constructors

NullLit

DefaultLit

represents a default value

BoolLit Bool

StringLit String

ByteStringLit ByteString

IntegerLit Integer

DoubleLit Double

NumericLit Scientific

OtherLit String

used for hacking in custom SQL

Instances

Read Literal

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS Literal

readList :: ReadS [Literal]

readPrec :: ReadPrec Literal

readListPrec :: ReadPrec [Literal]

Show Literal

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

data BinOp

Constructors

(:==)

(:<)

(:<=)

(:>)

(:>=)

(:<>)

OpAnd

OpOr

OpLike

OpILike

OpIn

OpOther String

(:||)

(:+)

(:-)

(:*)

(:/)

OpMod

(:~)

(:&)

(:|)

(:^)

(:=)

OpAtTimeZone

(:->)

(:->>)

(:#>)

(:#>>)

(:@>)

(:<@)

(:?)

(:?|)

(:?&)

(:&&)

(:<<)

(:>>)

(:&<)

(:&>)

(:-|-)

Instances

Read BinOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS BinOp

readList :: ReadS [BinOp]

readPrec :: ReadPrec BinOp

readListPrec :: ReadPrec [BinOp]

Show BinOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

data UnOp

Constructors

OpNot

OpIsNull

OpIsNotNull

OpLength

OpAbs

OpNegate

OpLower

OpUpper

UnOpOther String

Instances

Read UnOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS UnOp

readList :: ReadS [UnOp]

readPrec :: ReadPrec UnOp

readListPrec :: ReadPrec [UnOp]

Show UnOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> UnOp -> ShowS

show :: UnOp -> String

showList :: [UnOp] -> ShowS

data AggrOp

Constructors

AggrCount

AggrSum

AggrAvg

AggrMin

AggrMax

AggrStdDev

AggrStdDevP

AggrVar

AggrVarP

AggrBoolOr

AggrBoolAnd

AggrArr

JsonArr

AggrStringAggr

AggrOther String

Instances

Read AggrOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS AggrOp

readList :: ReadS [AggrOp]

readPrec :: ReadPrec AggrOp

readListPrec :: ReadPrec [AggrOp]

Show AggrOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> AggrOp -> ShowS

show :: AggrOp -> String

showList :: [AggrOp] -> ShowS

data AggrDistinct

Constructors

AggrDistinct

AggrAll

Instances

Read AggrDistinct

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS AggrDistinct

readList :: ReadS [AggrDistinct]

readPrec :: ReadPrec AggrDistinct

readListPrec :: ReadPrec [AggrDistinct]

Show AggrDistinct

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> AggrDistinct -> ShowS

show :: AggrDistinct -> String

showList :: [AggrDistinct] -> ShowS

Eq AggrDistinct

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

(==) :: AggrDistinct -> AggrDistinct -> Bool

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

type Aggregate = Aggregate' PrimExpr

data Aggregate' a

Constructors

GroupBy a

Aggregate (Aggr' a)

Instances

Foldable Aggregate'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fold :: Monoid m => Aggregate' m -> m

foldMap :: Monoid m => (a -> m) -> Aggregate' a -> m

foldMap' :: Monoid m => (a -> m) -> Aggregate' a -> m

foldr :: (a -> b -> b) -> b -> Aggregate' a -> b

foldr' :: (a -> b -> b) -> b -> Aggregate' a -> b

foldl :: (b -> a -> b) -> b -> Aggregate' a -> b

foldl' :: (b -> a -> b) -> b -> Aggregate' a -> b

foldr1 :: (a -> a -> a) -> Aggregate' a -> a

foldl1 :: (a -> a -> a) -> Aggregate' a -> a

toList :: Aggregate' a -> [a]

null :: Aggregate' a -> Bool

length :: Aggregate' a -> Int

elem :: Eq a => a -> Aggregate' a -> Bool

maximum :: Ord a => Aggregate' a -> a

minimum :: Ord a => Aggregate' a -> a

sum :: Num a => Aggregate' a -> a

product :: Num a => Aggregate' a -> a

Traversable Aggregate'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

traverse :: Applicative f => (a -> f b) -> Aggregate' a -> f (Aggregate' b)

sequenceA :: Applicative f => Aggregate' (f a) -> f (Aggregate' a)

mapM :: Monad m => (a -> m b) -> Aggregate' a -> m (Aggregate' b)

sequence :: Monad m => Aggregate' (m a) -> m (Aggregate' a)

Functor Aggregate'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fmap :: (a -> b) -> Aggregate' a -> Aggregate' b

(<$) :: a -> Aggregate' b -> Aggregate' a

Read a => Read (Aggregate' a)

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS (Aggregate' a)

readList :: ReadS [Aggregate' a]

readPrec :: ReadPrec (Aggregate' a)

readListPrec :: ReadPrec [Aggregate' a]

Show a => Show (Aggregate' a)

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> Aggregate' a -> ShowS

show :: Aggregate' a -> String

showList :: [Aggregate' a] -> ShowS

data Aggr' a

Constructors

Aggr

Fields

• aggrOp :: !AggrOp
• aggrExprs :: ![a]
• aggrOrder :: ![OrderExpr' a]
• aggrDistinct :: !AggrDistinct
• aggrGroup :: ![OrderExpr' a]
• aggrFilter :: !(Maybe PrimExpr)

Instances

Foldable Aggr'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fold :: Monoid m => Aggr' m -> m

foldMap :: Monoid m => (a -> m) -> Aggr' a -> m

foldMap' :: Monoid m => (a -> m) -> Aggr' a -> m

foldr :: (a -> b -> b) -> b -> Aggr' a -> b

foldr' :: (a -> b -> b) -> b -> Aggr' a -> b

foldl :: (b -> a -> b) -> b -> Aggr' a -> b

foldl' :: (b -> a -> b) -> b -> Aggr' a -> b

foldr1 :: (a -> a -> a) -> Aggr' a -> a

foldl1 :: (a -> a -> a) -> Aggr' a -> a

toList :: Aggr' a -> [a]

null :: Aggr' a -> Bool

length :: Aggr' a -> Int

elem :: Eq a => a -> Aggr' a -> Bool

maximum :: Ord a => Aggr' a -> a

minimum :: Ord a => Aggr' a -> a

sum :: Num a => Aggr' a -> a

product :: Num a => Aggr' a -> a

Traversable Aggr'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

traverse :: Applicative f => (a -> f b) -> Aggr' a -> f (Aggr' b)

sequenceA :: Applicative f => Aggr' (f a) -> f (Aggr' a)

mapM :: Monad m => (a -> m b) -> Aggr' a -> m (Aggr' b)

sequence :: Monad m => Aggr' (m a) -> m (Aggr' a)

Functor Aggr'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fmap :: (a -> b) -> Aggr' a -> Aggr' b

(<$) :: a -> Aggr' b -> Aggr' a

Read a => Read (Aggr' a)

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS (Aggr' a)

readList :: ReadS [Aggr' a]

readPrec :: ReadPrec (Aggr' a)

readListPrec :: ReadPrec [Aggr' a]

Show a => Show (Aggr' a)

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> Aggr' a -> ShowS

show :: Aggr' a -> String

showList :: [Aggr' a] -> ShowS

type OrderExpr = OrderExpr' PrimExpr

data OrderExpr' a

Constructors

OrderExpr OrderOp a

Instances

Foldable OrderExpr'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fold :: Monoid m => OrderExpr' m -> m

foldMap :: Monoid m => (a -> m) -> OrderExpr' a -> m

foldMap' :: Monoid m => (a -> m) -> OrderExpr' a -> m

foldr :: (a -> b -> b) -> b -> OrderExpr' a -> b

foldr' :: (a -> b -> b) -> b -> OrderExpr' a -> b

foldl :: (b -> a -> b) -> b -> OrderExpr' a -> b

foldl' :: (b -> a -> b) -> b -> OrderExpr' a -> b

foldr1 :: (a -> a -> a) -> OrderExpr' a -> a

foldl1 :: (a -> a -> a) -> OrderExpr' a -> a

toList :: OrderExpr' a -> [a]

null :: OrderExpr' a -> Bool

length :: OrderExpr' a -> Int

elem :: Eq a => a -> OrderExpr' a -> Bool

maximum :: Ord a => OrderExpr' a -> a

minimum :: Ord a => OrderExpr' a -> a

sum :: Num a => OrderExpr' a -> a

product :: Num a => OrderExpr' a -> a

Traversable OrderExpr'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

traverse :: Applicative f => (a -> f b) -> OrderExpr' a -> f (OrderExpr' b)

sequenceA :: Applicative f => OrderExpr' (f a) -> f (OrderExpr' a)

mapM :: Monad m => (a -> m b) -> OrderExpr' a -> m (OrderExpr' b)

sequence :: Monad m => OrderExpr' (m a) -> m (OrderExpr' a)

Functor OrderExpr'

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fmap :: (a -> b) -> OrderExpr' a -> OrderExpr' b

(<$) :: a -> OrderExpr' b -> OrderExpr' a

Read a => Read (OrderExpr' a)

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS (OrderExpr' a)

readList :: ReadS [OrderExpr' a]

readPrec :: ReadPrec (OrderExpr' a)

readListPrec :: ReadPrec [OrderExpr' a]

Show a => Show (OrderExpr' a)

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> OrderExpr' a -> ShowS

show :: OrderExpr' a -> String

showList :: [OrderExpr' a] -> ShowS

data OrderNulls

Constructors

NullsFirst

NullsLast

Instances

Read OrderNulls

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS OrderNulls

readList :: ReadS [OrderNulls]

readPrec :: ReadPrec OrderNulls

readListPrec :: ReadPrec [OrderNulls]

Show OrderNulls

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> OrderNulls -> ShowS

show :: OrderNulls -> String

showList :: [OrderNulls] -> ShowS

data OrderDirection

Constructors

OpAsc

OpDesc

Instances

Read OrderDirection

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS OrderDirection

readList :: ReadS [OrderDirection]

readPrec :: ReadPrec OrderDirection

readListPrec :: ReadPrec [OrderDirection]

Show OrderDirection

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> OrderDirection -> ShowS

show :: OrderDirection -> String

showList :: [OrderDirection] -> ShowS

data OrderOp

Constructors

OrderOp

Fields

• orderDirection :: OrderDirection
• orderNulls :: OrderNulls

Instances

Read OrderOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS OrderOp

readList :: ReadS [OrderOp]

readPrec :: ReadPrec OrderOp

readListPrec :: ReadPrec [OrderOp]

Show OrderOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> OrderOp -> ShowS

show :: OrderOp -> String

showList :: [OrderOp] -> ShowS

data BoundExpr

Constructors

Inclusive PrimExpr

Exclusive PrimExpr

PosInfinity

NegInfinity

Instances

Read BoundExpr

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS BoundExpr

readList :: ReadS [BoundExpr]

readPrec :: ReadPrec BoundExpr

readListPrec :: ReadPrec [BoundExpr]

Show BoundExpr

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> BoundExpr -> ShowS

show :: BoundExpr -> String

showList :: [BoundExpr] -> ShowS

data WndwOp

Constructors

WndwRowNumber

WndwRank

WndwDenseRank

WndwPercentRank

WndwCumeDist

WndwNtile PrimExpr

WndwLag PrimExpr PrimExpr PrimExpr

WndwLead PrimExpr PrimExpr PrimExpr

WndwFirstValue PrimExpr

WndwLastValue PrimExpr

WndwNthValue PrimExpr PrimExpr

WndwAggregate AggrOp [PrimExpr]

Instances

Read WndwOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS WndwOp

readList :: ReadS [WndwOp]

readPrec :: ReadPrec WndwOp

readListPrec :: ReadPrec [WndwOp]

Show WndwOp

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> WndwOp -> ShowS

show :: WndwOp -> String

showList :: [WndwOp] -> ShowS

data Partition

Constructors

Partition

Fields

• partitionBy :: [PrimExpr]
• orderBy :: [OrderExpr]

Instances

Read Partition

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

readsPrec :: Int -> ReadS Partition

readList :: ReadS [Partition]

readPrec :: ReadPrec Partition

readListPrec :: ReadPrec [Partition]

Show Partition

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> Partition -> ShowS

show :: Partition -> String

showList :: [Partition] -> ShowS