opaleye-0.5.2.2: An SQL-generating DSL targeting PostgreSQL

Safe HaskellNone
LanguageHaskell2010

Opaleye.Internal.Values

Documentation

valuesU :: Unpackspec columns columns' -> Valuesspec columns columns' -> [columns] -> ((), Tag) -> (columns', PrimQuery, Tag) Source #

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

newtype Valuesspec columns columns' Source #

Constructors

Valuesspec (PackMap () PrimExpr () columns') 

Instances

ProductProfunctor Valuesspec Source # 

Methods

empty :: Valuesspec () () #

(***!) :: Valuesspec a b -> Valuesspec a' b' -> Valuesspec (a, a') (b, b') #

Profunctor Valuesspec Source # 

Methods

dimap :: (a -> b) -> (c -> d) -> Valuesspec b c -> Valuesspec a d #

lmap :: (a -> b) -> Valuesspec b c -> Valuesspec a c #

rmap :: (b -> c) -> Valuesspec a b -> Valuesspec a c #

(#.) :: Coercible * c b => (b -> c) -> Valuesspec a b -> Valuesspec a c #

(.#) :: Coercible * b a => Valuesspec b c -> (a -> b) -> Valuesspec a c #

Default Valuesspec (Column a) (Column a) Source # 

Methods

def :: Valuesspec (Column a) (Column a) #

Functor (Valuesspec a) Source # 

Methods

fmap :: (a -> b) -> Valuesspec a a -> Valuesspec a b #

(<$) :: a -> Valuesspec a b -> Valuesspec a a #

Applicative (Valuesspec a) Source # 

Methods

pure :: a -> Valuesspec a a #

(<*>) :: Valuesspec a (a -> b) -> Valuesspec a a -> Valuesspec a b #

(*>) :: Valuesspec a a -> Valuesspec a b -> Valuesspec a b #

(<*) :: Valuesspec a a -> Valuesspec a b -> Valuesspec a a #

runValuesspec :: Applicative f => Valuesspec columns columns' -> (() -> f PrimExpr) -> f columns' Source #