Safe Haskell	Safe-Inferred
Language	Haskell2010

Opaleye.Internal.Operators

Synopsis

restrict :: SelectArr (Field SqlBool) ()
(.==) :: forall columns. Default EqPP columns columns => columns -> columns -> Field PGBool
(.||) :: Field SqlBool -> Field SqlBool -> Field SqlBool
(.&&) :: Field PGBool -> Field PGBool -> Field PGBool
not :: Field SqlBool -> Field SqlBool
newtype EqPP a b = EqPP (a -> a -> Field PGBool)
eqPPField :: EqPP (Field a) ignored
eqExplicit :: EqPP columns a -> columns -> columns -> Field PGBool
newtype IfPP a b = IfPP (Field PGBool -> a -> a -> b)
ifExplict :: IfPP columns columns' -> Field PGBool -> columns -> columns -> columns'
ifPPField :: IfPP (Field_ n a) (Field_ n a)
newtype RelExprPP a b = RelExprPP (Tag -> PM [Symbol] b)
runRelExprPP :: RelExprPP a b -> Tag -> (b, [Symbol])
relExprColumn :: RelExprPP (Field_ n a) (Field_ n a)
relationValuedExprExplicit :: RelExprPP columns columns -> (a -> PrimExpr) -> QueryArr a columns
relationValuedExpr :: Default RelExprPP columns columns => (a -> PrimExpr) -> QueryArr a columns

Documentation

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

Boolean and

newtype EqPP a b Source #

Constructors

Instances details

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

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

newtype IfPP a b Source #

Constructors

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

Instances details

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

Constructors

Instances details

ProductProfunctor RelExprPP Source #
Instance details Defined in Opaleye.Internal.Operators Methods purePP :: b -> RelExprPP a b # (**) :: RelExprPP a (b -> c) -> RelExprPP a b -> RelExprPP a c # empty :: RelExprPP () () # (*!) :: RelExprPP a b -> RelExprPP a' b' -> RelExprPP (a, a') (b, b') #
Profunctor RelExprPP Source #
Instance details Defined in Opaleye.Internal.Operators Methods dimap :: (a -> b) -> (c -> d) -> RelExprPP b c -> RelExprPP a d # lmap :: (a -> b) -> RelExprPP b c -> RelExprPP a c # rmap :: (b -> c) -> RelExprPP a b -> RelExprPP a c # (#.) :: forall a b c q. Coercible c b => q b c -> RelExprPP a b -> RelExprPP a c # (.#) :: forall a b c q. Coercible b a => RelExprPP b c -> q a b -> RelExprPP a c #
Default RelExprPP (Field_ n a) (Field_ n a) Source #
Instance details Defined in Opaleye.Internal.Operators Methods def :: RelExprPP (Field_ n a) (Field_ n a) #