Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.Binary

Documentation

extractBinaryFields :: Tag -> (PrimExpr, PrimExpr) -> PM [(Symbol, (PrimExpr, PrimExpr))] PrimExpr Source #

newtype Binaryspec columns columns' Source #

Constructors

Binaryspec (PackMap (PrimExpr, PrimExpr) PrimExpr (columns, columns) columns')

Instances

Instances details

Profunctor Binaryspec Source #
Instance details Defined in Opaleye.Internal.Binary Methods dimap :: (a -> b) -> (c -> d) -> Binaryspec b c -> Binaryspec a d # lmap :: (a -> b) -> Binaryspec b c -> Binaryspec a c # rmap :: (b -> c) -> Binaryspec a b -> Binaryspec a c # (#.) :: forall a b c q. Coercible c b => q b c -> Binaryspec a b -> Binaryspec a c # (.#) :: forall a b c q. Coercible b a => Binaryspec b c -> q a b -> Binaryspec a c #
ProductProfunctor Binaryspec Source #
Instance details Defined in Opaleye.Internal.Binary Methods purePP :: b -> Binaryspec a b # (**) :: Binaryspec a (b -> c) -> Binaryspec a b -> Binaryspec a c # empty :: Binaryspec () () # (*!) :: Binaryspec a b -> Binaryspec a' b' -> Binaryspec (a, a') (b, b') #
Default Binaryspec (Column a) (Column a) Source #
Instance details Defined in Opaleye.Internal.Binary Methods def :: Binaryspec (Column a) (Column a) #
Default (WithNulls Binaryspec) a b => Default Binaryspec (MaybeFields a) (MaybeFields b) Source #
Instance details Defined in Opaleye.Internal.MaybeFields Methods def :: Binaryspec (MaybeFields a) (MaybeFields b) #
Functor (Binaryspec a) Source #
Instance details Defined in Opaleye.Internal.Binary Methods fmap :: (a0 -> b) -> Binaryspec a a0 -> Binaryspec a b # (<$) :: a0 -> Binaryspec a b -> Binaryspec a a0 #
Applicative (Binaryspec a) Source #
Instance details Defined in Opaleye.Internal.Binary Methods pure :: a0 -> Binaryspec a a0 # (<>) :: Binaryspec a (a0 -> b) -> Binaryspec a a0 -> Binaryspec a b # liftA2 :: (a0 -> b -> c) -> Binaryspec a a0 -> Binaryspec a b -> Binaryspec a c # (>) :: Binaryspec a a0 -> Binaryspec a b -> Binaryspec a b # (<*) :: Binaryspec a a0 -> Binaryspec a b -> Binaryspec a a0 #

runBinaryspec :: Applicative f => Binaryspec columns columns' -> ((PrimExpr, PrimExpr) -> f PrimExpr) -> (columns, columns) -> f columns' Source #

binaryspecColumn :: Binaryspec (Column a) (Column a) Source #

sameTypeBinOpHelper :: BinOp -> Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #