Opaleye.Internal.Operators

Documentation

restrict :: SelectArr (Field SqlBool) ()

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

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

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

Boolean and

not :: Field SqlBool -> Field SqlBool

newtype EqPP a b

Constructors

EqPP (a -> a -> Field 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

(#.) :: 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

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)

Defined in Opaleye.Internal.Operators

Methods

def :: EqPP (Field a) (Field 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 (Field a) ignored

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

newtype IfPP a b

Constructors

IfPP (Field 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

(#.) :: 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

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)

Defined in Opaleye.Internal.MaybeFields

Methods

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

Default IfPP (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Operators

Methods

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

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

ifPPField :: IfPP (Field_ n a) (Field_ n a)

data RelExprMaker a b

Constructors

forall c. 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

(#.) :: 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

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)

Defined in Opaleye.Internal.Operators

Methods

def :: RelExprMaker String (Field_ n a)

relExprColumn :: RelExprMaker String (Field_ n 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