Opaleye.Internal.Operators

Documentation

(.==) :: forall columns. Default EqPP columns columns => columns -> columns -> Column PGBool infix 4

(.&&) :: Column PGBool -> Column PGBool -> Column PGBool infixr 3

Boolean and

data EqPP a b

Constructors

EqPP (a -> a -> Column PGBool)

Instances

ProductProfunctor EqPP

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

Profunctor EqPP

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

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

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

Default EqPP (Column a) (Column a)

Methods

def :: EqPP (Column a) (Column a)

eqExplicit :: EqPP columns a -> columns -> columns -> Column PGBool

newtype IfPP a b

Constructors

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

Instances

ProductProfunctor IfPP

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

Profunctor IfPP

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

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

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

Default IfPP (Column a) (Column a)

Methods

def :: IfPP (Column a) (Column a)

ifExplict :: IfPP columns columns' -> Column PGBool -> columns -> columns -> columns'

data RelExprMaker a b

Constructors

RelExprMaker

Fields

• relExprVCM :: ViewColumnMaker a c
• relExprCM :: ColumnMaker c b

Instances

ProductProfunctor RelExprMaker

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

Profunctor RelExprMaker

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

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

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

Default RelExprMaker String (Column a)

Methods

def :: RelExprMaker String (Column a)

relExprColumn :: RelExprMaker String (Column a)

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

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

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