Opaleye.Internal.Values

Documentation

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

extractValuesEntry :: PrimExpr -> PM [PrimExpr] PrimExpr

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

newtype ValuesspecUnsafe columns columns'

Constructors

Valuesspec (PackMap () PrimExpr () columns')

Instances

Profunctor ValuesspecUnsafe

Defined in Opaleye.Internal.Values

Methods

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

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

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

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

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

ProductProfunctor ValuesspecUnsafe

Defined in Opaleye.Internal.Values

Methods

purePP :: b -> ValuesspecUnsafe a b

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

empty :: ValuesspecUnsafe () ()

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

Default ValuesspecUnsafe (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Values

Methods

def :: ValuesspecUnsafe (Field_ n a) (Field_ n a)

Functor (ValuesspecUnsafe a)

Defined in Opaleye.Internal.Values

Methods

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

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

Applicative (ValuesspecUnsafe a)

Defined in Opaleye.Internal.Values

Methods

pure :: a0 -> ValuesspecUnsafe a a0

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

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

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

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

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

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

data Valuesspec fields fields'

Constructors

ValuesspecSafe (PackMap PrimExpr PrimExpr () fields') (Unpackspec fields fields')

Deprecated: Use Valuesspec instead. Will be removed in version 0.10.

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

(#.) :: 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

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 a b => Default Valuesspec (MaybeFields a) (MaybeFields b)

Defined in Opaleye.Internal.MaybeFields

Methods

def :: Valuesspec (MaybeFields a) (MaybeFields b)

IsSqlType a => Default Valuesspec (Field_ n a) (Field_ n a)

Defined in Opaleye.Internal.Values

Methods

def :: Valuesspec (Field_ n a) (Field_ n 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

type ValuesspecSafe = Valuesspec

Deprecated: Use Valuesspec instead. Will be removed in version 0.10.

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

valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a)

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

newtype Nullspec fields fields'

Constructors

Nullspec (Valuesspec Void 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

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

(.#) :: forall a b c q. 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 (Field_ n b)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Field_ n 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 (Field_ n 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.