Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
Instances
ProductProfunctor EqPP Source # | |
Profunctor EqPP Source # | |
Defined in Opaleye.Internal.Operators | |
Default EqPP (Field a) (Field a) Source # | |
Default EqPP a b => Default EqPP (MaybeFields a) (MaybeFields b) Source # | |
Defined in Opaleye.Internal.MaybeFields def :: EqPP (MaybeFields a) (MaybeFields b) # |
Instances
ProductProfunctor IfPP Source # | |
Profunctor IfPP Source # | |
Defined in Opaleye.Internal.Operators | |
Default IfPP a b => Default IfPP (MaybeFields a) (MaybeFields b) Source # | |
Defined in Opaleye.Internal.MaybeFields def :: IfPP (MaybeFields a) (MaybeFields b) # | |
Default IfPP (Field_ n a) (Field_ n a) Source # | |
newtype RelExprPP a b Source #
Instances
ProductProfunctor RelExprPP Source # | |
Profunctor RelExprPP Source # | |
Defined in Opaleye.Internal.Operators 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 # | |