Opaleye.Internal.Values

Documentation

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

extractValuesEntry :: PrimExpr -> PM [PrimExpr] PrimExpr

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

newtype Valuesspec columns columns'

Constructors

Valuesspec (PackMap PrimExpr PrimExpr () columns')

Instances

ProductProfunctor Valuesspec

Profunctor Valuesspec

Default Valuesspec (Column PGInt4) (Column PGInt4)

Functor (Valuesspec a)

Applicative (Valuesspec a)

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