Opaleye.Internal.Operators

Documentation

restrict :: SelectArr (Field SqlBool) ()

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

(.||) :: Field SqlBool -> Field SqlBool -> Field SqlBool infixr 2

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

Boolean and

not :: Field SqlBool -> Field SqlBool

newtype EqPP a b

Constructors

EqPP (a -> a -> Column PGBool)

Instances

Profunctor EqPP

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

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

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

ProductProfunctor EqPP

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 (Column a) (Column a)

Defined in Opaleye.Internal.Operators

Methods

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

Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

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

eqPPField :: EqPP (Column a) ignored

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

newtype IfPP a b

Constructors

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

Instances

Profunctor IfPP

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

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

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

ProductProfunctor IfPP

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 (Column a) (Column a)

Defined in Opaleye.Internal.Operators

Methods

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

Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

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

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

ifPPField :: IfPP (Column a) (Column a)

data RelExprMaker a b

Constructors

RelExprMaker

Fields

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

Instances

Profunctor RelExprMaker

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

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

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

ProductProfunctor RelExprMaker

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 (Column a)

Defined in Opaleye.Internal.Operators

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