Safe Haskell	None
Language	Haskell2010

Opaleye.SQLite.Internal.Values

Documentation

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

extractValuesEntry :: PrimExpr -> PM [PrimExpr] PrimExpr Source #

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

newtype Valuesspec columns columns' Source #

Constructors

Valuesspec (PackMap PrimExpr PrimExpr () columns')

Instances

Instances details

Profunctor Valuesspec Source #
Instance details Defined in Opaleye.SQLite.Internal.Values 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 # (#.) :: forall a b c q. Coercible c b => q b c -> Valuesspec a b -> Valuesspec a c # (.#) :: forall a b c q. Coercible b a => Valuesspec b c -> q a b -> Valuesspec a c #
ProductProfunctor Valuesspec Source #
Instance details Defined in Opaleye.SQLite.Internal.Values Methods purePP :: b -> Valuesspec a b # (**) :: Valuesspec a (b -> c) -> Valuesspec a b -> Valuesspec a c # empty :: Valuesspec () () # (*!) :: Valuesspec a b -> Valuesspec a' b' -> Valuesspec (a, a') (b, b') #
Default Valuesspec (Column PGInt4) (Column PGInt4) Source #
Instance details Defined in Opaleye.SQLite.Internal.Values Methods def :: Valuesspec (Column PGInt4) (Column PGInt4) #
Functor (Valuesspec a) Source #
Instance details Defined in Opaleye.SQLite.Internal.Values Methods fmap :: (a0 -> b) -> Valuesspec a a0 -> Valuesspec a b # (<$) :: a0 -> Valuesspec a b -> Valuesspec a a0 #
Applicative (Valuesspec a) Source #
Instance details Defined in Opaleye.SQLite.Internal.Values Methods pure :: a0 -> Valuesspec a a0 # (<>) :: Valuesspec a (a0 -> b) -> Valuesspec a a0 -> Valuesspec a b # liftA2 :: (a0 -> b -> c) -> Valuesspec a a0 -> Valuesspec a b -> Valuesspec a c # (>) :: Valuesspec a a0 -> Valuesspec a b -> Valuesspec a b # (<*) :: Valuesspec a a0 -> Valuesspec a b -> Valuesspec a a0 #

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