Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- 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' = NonEmptyRowspec (fields -> NonEmpty PrimExpr) (State Tag (NonEmpty Symbol, fields'))
- nonEmptyRowspecField :: NonEmptyRowspec (Field_ n a) (Field_ n a)
- rowspecField :: Rowspec (Field_ n a) (Field_ n a)
- data Rowspec fields fields'
- = NonEmptyRows (NonEmptyRowspec fields fields')
- | EmptyRows fields'
- data Valuesspec fields fields' = ValuesspecSafe (Nullspec fields fields') (Rowspec fields fields')
- valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a)
- valuesspecFieldType :: String -> Valuesspec (Field_ n a) (Field_ n a)
- newtype Nullspec fields fields' = Nullspec fields'
- 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
- newtype ValuesspecUnsafe columns columns' = Valuesspec (PackMap () PrimExpr () columns')
Documentation
nonEmptyRows :: NonEmptyRowspec fields fields' -> NonEmpty fields -> Select fields' Source #
emptySelectExplicit :: Nullspec columns a -> Select a Source #
data NonEmptyRowspec fields fields' Source #
Instances
Profunctor NonEmptyRowspec Source # | |
Defined in Opaleye.Internal.Values 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) Source # | |
Defined in Opaleye.Internal.Values fmap :: (a0 -> b) -> NonEmptyRowspec a a0 -> NonEmptyRowspec a b # (<$) :: a0 -> NonEmptyRowspec a b -> NonEmptyRowspec a a0 # |
nonEmptyRowspecField :: NonEmptyRowspec (Field_ n a) (Field_ n a) Source #
data Rowspec fields fields' Source #
NonEmptyRows (NonEmptyRowspec fields fields') | |
EmptyRows fields' |
Instances
ProductProfunctor Rowspec Source # | |
Profunctor Rowspec Source # | |
Defined in Opaleye.Internal.Values 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) Source # | |
Defined in Opaleye.Internal.Values | |
Functor (Rowspec a) Source # | |
data Valuesspec fields fields' Source #
ValuesspecSafe (Nullspec fields fields') (Rowspec fields fields') |
Instances
valuesspecField :: IsSqlType a => Valuesspec (Field_ n a) (Field_ n a) Source #
valuesspecFieldType :: String -> Valuesspec (Field_ n a) (Field_ n a) Source #
newtype Nullspec fields fields' Source #
Nullspec fields' |
Instances
ProductProfunctor Nullspec Source # | |
Profunctor Nullspec Source # | |
Defined in Opaleye.Internal.Values 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) Source # | |
Defined in Opaleye.Internal.Values | |
Applicative (Nullspec a) Source # | |
Defined in Opaleye.Internal.Values | |
Functor (Nullspec a) Source # | |
nullspecList :: Nullspec a [b] Source #
nullFields :: Nullspec a fields -> fields Source #
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' Source #
Valuesspec (PackMap () PrimExpr () columns') |