Opaleye.Internal.Binary

Documentation

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

newtype Binaryspec columns columns'

Constructors

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

Instances

Profunctor Binaryspec

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

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

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

ProductProfunctor Binaryspec

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)

Defined in Opaleye.Internal.Binary

Methods

def :: Binaryspec (Column a) (Column a)

Functor (Binaryspec a)

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)

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'

binaryspecColumn :: Binaryspec (Column a) (Column a)

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