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'

valuesUSafe :: ValuesspecSafe columns columns' -> [columns] -> ((), Tag) -> (columns', PrimQuery, Tag)

data ValuesspecSafe columns columns'

Constructors

ValuesspecSafe (PackMap PrimExpr PrimExpr () columns') (Unpackspec columns columns')

Instances

Profunctor ValuesspecSafe

Defined in Opaleye.Internal.Values

Methods

dimap :: (a -> b) -> (c -> d) -> ValuesspecSafe b c -> ValuesspecSafe a d

lmap :: (a -> b) -> ValuesspecSafe b c -> ValuesspecSafe a c

rmap :: (b -> c) -> ValuesspecSafe a b -> ValuesspecSafe a c

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

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

ProductProfunctor ValuesspecSafe

Defined in Opaleye.Internal.Values

Methods

purePP :: b -> ValuesspecSafe a b

(****) :: ValuesspecSafe a (b -> c) -> ValuesspecSafe a b -> ValuesspecSafe a c

empty :: ValuesspecSafe () ()

(***!) :: ValuesspecSafe a b -> ValuesspecSafe a' b' -> ValuesspecSafe (a, a') (b, b')

IsSqlType a => Default ValuesspecSafe (Column a) (Column a)

Defined in Opaleye.Internal.Values

Methods

def :: ValuesspecSafe (Column a) (Column a)

Default ValuesspecSafe a b => Default ValuesspecSafe (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: ValuesspecSafe (MaybeFields a) (MaybeFields b)

Functor (ValuesspecSafe a)

Defined in Opaleye.Internal.Values

Methods

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

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

Applicative (ValuesspecSafe a)

Defined in Opaleye.Internal.Values

Methods

pure :: a0 -> ValuesspecSafe a a0

(<*>) :: ValuesspecSafe a (a0 -> b) -> ValuesspecSafe a a0 -> ValuesspecSafe a b

liftA2 :: (a0 -> b -> c) -> ValuesspecSafe a a0 -> ValuesspecSafe a b -> ValuesspecSafe a c

(*>) :: ValuesspecSafe a a0 -> ValuesspecSafe a b -> ValuesspecSafe a b

(<*) :: ValuesspecSafe a a0 -> ValuesspecSafe a b -> ValuesspecSafe a a0

runValuesspecSafe :: Applicative f => ValuesspecSafe columns columns' -> (PrimExpr -> f PrimExpr) -> f columns'

valuesspecField :: IsSqlType a => ValuesspecSafe (Column a) (Column a)

nullPE :: IsSqlType a => proxy a -> PrimExpr

newtype Nullspec fields fields'

Constructors

Nullspec (ValuesspecSafe fields fields')

Instances

Profunctor Nullspec

Defined in Opaleye.Internal.Values

Methods

dimap :: (a -> b) -> (c -> d) -> Nullspec b c -> Nullspec a d

lmap :: (a -> b) -> Nullspec b c -> Nullspec a c

rmap :: (b -> c) -> Nullspec a b -> Nullspec a c

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

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

ProductProfunctor Nullspec

Defined in Opaleye.Internal.Values

Methods

purePP :: b -> Nullspec a b

(****) :: Nullspec a (b -> c) -> Nullspec a b -> Nullspec a c

empty :: Nullspec () ()

(***!) :: Nullspec a b -> Nullspec a' b' -> Nullspec (a, a') (b, b')

IsSqlType b => Default Nullspec a (Column b)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Column b)

Functor (Nullspec a)

Defined in Opaleye.Internal.Values

Methods

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

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

Applicative (Nullspec a)

Defined in Opaleye.Internal.Values

Methods

pure :: a0 -> Nullspec a a0

(<*>) :: Nullspec a (a0 -> b) -> Nullspec a a0 -> Nullspec a b

liftA2 :: (a0 -> b -> c) -> Nullspec a a0 -> Nullspec a b -> Nullspec a c

(*>) :: Nullspec a a0 -> Nullspec a b -> Nullspec a b

(<*) :: Nullspec a a0 -> Nullspec a b -> Nullspec a a0

nullspecField :: IsSqlType b => Nullspec a (Column b)

nullspecList :: Nullspec a [b]

nullspecEitherLeft :: Nullspec a b -> Nullspec a (Either b b')

nullspecEitherRight :: Nullspec a b' -> Nullspec a (Either b b')

nullFields :: Nullspec a fields -> fields

All fields NULL, even though technically the type may forbid that! Used to create such fields when we know we will never look at them expecting to find something non-NULL.