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 () columns')

Instances

Profunctor Valuesspec

Defined in Opaleye.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

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

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

ProductProfunctor Valuesspec

Defined in Opaleye.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 a) (Column a)

Defined in Opaleye.Internal.Values

Methods

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

Functor (Valuesspec a)

Defined in Opaleye.Internal.Values

Methods

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

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

Applicative (Valuesspec a)

Defined in Opaleye.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' -> (() -> f PrimExpr) -> f columns'