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

ProductProfunctor Valuesspec

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

Profunctor Valuesspec

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)

Methods

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

Functor (Valuesspec a)

Methods

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

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

Applicative (Valuesspec a)

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'