opaleye-0.7.3.0: An SQL-generating DSL targeting PostgreSQL
Safe HaskellNone
LanguageHaskell2010

Opaleye.Internal.Binary

Documentation

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

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 #

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