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

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

ProductProfunctor EqPP

Methods

empty :: EqPP () ()

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

Default EqPP (Column a) (Column a)

Methods

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

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

data RelExprMaker a b

Constructors

RelExprMaker

Fields

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

Instances

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

ProductProfunctor RelExprMaker

Methods

empty :: RelExprMaker () ()

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

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