Opaleye.Internal.Values

Documentation

nonEmptyValues :: Rowspec columns columns' -> NonEmpty columns -> Select columns'

nonEmptyRows :: NonEmptyRowspec fields fields' -> NonEmpty fields -> Select fields'

emptySelectExplicit :: Nullspec columns a -> Select a

data NonEmptyRowspec fields fields'

Constructors

NonEmptyRowspec (fields -> NonEmpty PrimExpr) (State Tag (NonEmpty Symbol, fields'))

Instances

Profunctor NonEmptyRowspec

Defined in Opaleye.Internal.Values

Methods

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

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

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

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

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

Functor (NonEmptyRowspec a)

Defined in Opaleye.Internal.Values

Methods

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

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

nonEmptyRowspecField :: NonEmptyRowspec (Field_ n a) (Field_ n a)

rowspecField :: Rowspec (Field_ n a) (Field_ n a)

data Rowspec fields fields'

Constructors

NonEmptyRows (NonEmptyRowspec fields fields')

EmptyRows fields'

Instances

ProductProfunctor Rowspec

Defined in Opaleye.Internal.Values

Methods

purePP :: b -> Rowspec a b

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

empty :: Rowspec () ()

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

Profunctor Rowspec

Defined in Opaleye.Internal.Values

Methods

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

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

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

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

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

Applicative (Rowspec a)

Defined in Opaleye.Internal.Values

Methods

pure :: a0 -> Rowspec a a0

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

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

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

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

Functor (Rowspec a)

Defined in Opaleye.Internal.Values

Methods

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

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

data Valuesspec fields fields'

Constructors

ValuesspecSafe (Nullspec fields fields') (Rowspec fields fields')

Instances

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

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

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)

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

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

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

valuesspecFieldType :: String -> Valuesspec (Field_ n a) (Field_ n a)

newtype Nullspec fields fields'

Constructors

Nullspec fields'

Instances

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

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

IsSqlType b => Default Nullspec a (Field_ n b)

Defined in Opaleye.Internal.Values

Methods

def :: Nullspec a (Field_ n b)

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

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

nullspecField :: forall a n sqlType. IsSqlType sqlType => Nullspec a (Field_ n sqlType)

nullspecFieldType :: String -> Nullspec a (Field_ n sqlType)

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.

newtype ValuesspecUnsafe columns columns'

Constructors

Valuesspec (PackMap () PrimExpr () columns')

Instances

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

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

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

Defined in Opaleye.Internal.Values

Methods

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

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

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