opaleye-0.9.2.0: An SQL-generating DSL targeting PostgreSQL
Safe HaskellNone
LanguageHaskell2010

Opaleye.Internal.Operators

Synopsis

Documentation

(.==) :: forall columns. Default EqPP columns columns => columns -> columns -> Field PGBool infix 4 Source #

(.&&) :: Field PGBool -> Field PGBool -> Field PGBool infixr 3 Source #

Boolean and

newtype EqPP a b Source #

Constructors

EqPP (a -> a -> Field PGBool) 

Instances

Instances details
Profunctor EqPP Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

dimap :: (a -> b) -> (c -> d) -> EqPP b c -> EqPP a d #

lmap :: (a -> b) -> EqPP b c -> EqPP a c #

rmap :: (b -> c) -> EqPP a b -> EqPP a c #

(#.) :: forall a b c q. Coercible c b => q b c -> EqPP a b -> EqPP a c #

(.#) :: forall a b c q. Coercible b a => EqPP b c -> q a b -> EqPP a c #

ProductProfunctor EqPP Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

purePP :: b -> EqPP a b #

(****) :: EqPP a (b -> c) -> EqPP a b -> EqPP a c #

empty :: EqPP () () #

(***!) :: EqPP a b -> EqPP a' b' -> EqPP (a, a') (b, b') #

Default EqPP (Field a) (Field a) Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

def :: EqPP (Field a) (Field a) #

Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b) Source # 
Instance details

Defined in Opaleye.Internal.MaybeFields

Methods

def :: EqPP (MaybeFields a) (MaybeFields b) #

eqPPField :: EqPP (Field a) ignored Source #

eqExplicit :: EqPP columns a -> columns -> columns -> Field PGBool Source #

newtype IfPP a b Source #

Constructors

IfPP (Field PGBool -> a -> a -> b) 

Instances

Instances details
Profunctor IfPP Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

dimap :: (a -> b) -> (c -> d) -> IfPP b c -> IfPP a d #

lmap :: (a -> b) -> IfPP b c -> IfPP a c #

rmap :: (b -> c) -> IfPP a b -> IfPP a c #

(#.) :: forall a b c q. Coercible c b => q b c -> IfPP a b -> IfPP a c #

(.#) :: forall a b c q. Coercible b a => IfPP b c -> q a b -> IfPP a c #

ProductProfunctor IfPP Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

purePP :: b -> IfPP a b #

(****) :: IfPP a (b -> c) -> IfPP a b -> IfPP a c #

empty :: IfPP () () #

(***!) :: IfPP a b -> IfPP a' b' -> IfPP (a, a') (b, b') #

Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b) Source # 
Instance details

Defined in Opaleye.Internal.MaybeFields

Methods

def :: IfPP (MaybeFields a) (MaybeFields b) #

Default IfPP (Field_ n a) (Field_ n a) Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

def :: IfPP (Field_ n a) (Field_ n a) #

ifExplict :: IfPP columns columns' -> Field PGBool -> columns -> columns -> columns' Source #

data RelExprMaker a b Source #

Constructors

forall c. RelExprMaker 

Instances

Instances details
Profunctor RelExprMaker Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

dimap :: (a -> b) -> (c -> d) -> RelExprMaker b c -> RelExprMaker a d #

lmap :: (a -> b) -> RelExprMaker b c -> RelExprMaker a c #

rmap :: (b -> c) -> RelExprMaker a b -> RelExprMaker a c #

(#.) :: forall a b c q. Coercible c b => q b c -> RelExprMaker a b -> RelExprMaker a c #

(.#) :: forall a b c q. Coercible b a => RelExprMaker b c -> q a b -> RelExprMaker a c #

ProductProfunctor RelExprMaker Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

purePP :: b -> RelExprMaker a b #

(****) :: RelExprMaker a (b -> c) -> RelExprMaker a b -> RelExprMaker a c #

empty :: RelExprMaker () () #

(***!) :: RelExprMaker a b -> RelExprMaker a' b' -> RelExprMaker (a, a') (b, b') #

Default RelExprMaker String (Field_ n a) Source # 
Instance details

Defined in Opaleye.Internal.Operators

Methods

def :: RelExprMaker String (Field_ n a) #

runRelExprMaker :: RelExprMaker strings columns -> Tag -> strings -> (columns, [(Symbol, PrimExpr)]) Source #

relationValuedExprExplicit :: RelExprMaker strings columns -> strings -> (a -> PrimExpr) -> QueryArr a columns Source #

relationValuedExpr :: Default RelExprMaker strings columns => strings -> (a -> PrimExpr) -> QueryArr a columns Source #