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

ProductProfunctor Binaryspec

Profunctor Binaryspec

Default Binaryspec (Column a) (Column a)

Functor (Binaryspec a)

Applicative (Binaryspec a)

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'