Safe Haskell	None
Language	Haskell2010

Hasura.Backends.Postgres.SQL.Types

Description

Postgres SQL Types

Combinators and helpers for dealing with Postgres types such as strings, numerals, geography and geometry, etc.

Synopsis

newtype Identifier = Identifier {
- getIdenTxt :: Text
}
class IsIdentifier a where
- toIdentifier :: a -> Identifier
pgFmtIdentifier :: Text -> Text
pgFmtLit :: Text -> Text
trimNullChars :: Text -> Text
newtype TableName = TableName {
- getTableTxt :: Text
}
data TableType
- = TTBaseTable
- | TTView
- | TTForeignTable
- | TTLocalTemporary
isView :: TableType -> Bool
newtype ConstraintName = ConstraintName {
- getConstraintTxt :: Text
}
newtype FunctionName = FunctionName {
- getFunctionTxt :: Text
}
newtype SchemaName = SchemaName {
- getSchemaTxt :: Text
}
publicSchema :: SchemaName
hdbCatalogSchema :: SchemaName
data QualifiedObject a = QualifiedObject {
- qSchema :: SchemaName
- qName :: a
}
qualifiedObjectToText :: ToTxt a => QualifiedObject a -> Text
snakeCaseQualifiedObject :: ToTxt a => QualifiedObject a -> Text
getIdentifierQualifiedObject :: ToTxt a => QualifiedObject a -> Either QErr GQLNameIdentifier
namingConventionSupport :: SupportedNamingCase
qualifiedObjectToName :: (ToTxt a, MonadError QErr m) => QualifiedObject a -> m Name
type QualifiedTable = QualifiedObject TableName
type QualifiedFunction = QualifiedObject FunctionName
newtype PGDescription = PGDescription {
- getPGDescription :: Text
}
newtype PGCol = PGCol {
- getPGColTxt :: Text
}
unsafePGCol :: Text -> PGCol
showPGCols :: (Foldable t, Functor t) => t PGCol -> Text
data PGScalarType
- = PGSmallInt
- | PGInteger
- | PGBigInt
- | PGSerial
- | PGBigSerial
- | PGFloat
- | PGDouble
- | PGNumeric
- | PGMoney
- | PGBoolean
- | PGChar
- | PGVarchar
- | PGText
- | PGCitext
- | PGDate
- | PGTimeStamp
- | PGTimeStampTZ
- | PGTimeTZ
- | PGJSON
- | PGJSONB
- | PGGeometry
- | PGGeography
- | PGRaster
- | PGUUID
- | PGLtree
- | PGLquery
- | PGLtxtquery
- | PGArray PGScalarType
- | PGUnknown Text
- | PGCompositeScalar Text
- | PGEnumScalar Text
pgScalarTypeToText :: PGScalarType -> Text
textToPGScalarType :: Text -> PGScalarType
pgScalarTranslations :: [(Text, PGScalarType)]
isNumType :: PGScalarType -> Bool
stringTypes :: [PGScalarType]
isStringType :: PGScalarType -> Bool
jsonTypes :: [PGScalarType]
isJSONType :: PGScalarType -> Bool
isComparableType :: PGScalarType -> Bool
isBigNum :: PGScalarType -> Bool
geoTypes :: [PGScalarType]
isGeoType :: PGScalarType -> Bool
data PGTypeKind
- = PGKindBase
- | PGKindComposite
- | PGKindDomain
- | PGKindEnum
- | PGKindRange
- | PGKindPseudo
- | PGKindUnknown Text
data QualifiedPGType = QualifiedPGType {
- _qptSchema :: SchemaName
- _qptName :: PGScalarType
- _qptType :: PGTypeKind
}
isBaseType :: QualifiedPGType -> Bool
typeToTable :: QualifiedPGType -> QualifiedTable
mkFunctionArgScalarType :: QualifiedPGType -> PGScalarType
data PGRawFunctionInfo = PGRawFunctionInfo {
- rfiOid :: OID
- rfiHasVariadic :: Bool
- rfiFunctionType :: FunctionVolatility
- rfiReturnTypeSchema :: SchemaName
- rfiReturnTypeName :: PGScalarType
- rfiReturnTypeType :: PGTypeKind
- rfiReturnsSet :: Bool
- rfiInputArgTypes :: [QualifiedPGType]
- rfiInputArgNames :: [FunctionArgName]
- rfiDefaultArgs :: Int
- rfiReturnsTable :: Bool
- rfiDescription :: Maybe PGDescription
}
mkScalarTypeName :: MonadError QErr m => PGScalarType -> m Name
pgTypeOid :: PGScalarType -> Oid

Documentation

newtype Identifier Source #

Constructors

Identifier
Fields getIdenTxt :: Text

Instances

Instances details

Eq Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Data Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identifier -> c Identifier # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier # toConstr :: Identifier -> Constr # dataTypeOf :: Identifier -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identifier) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier) # gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r # gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #
Show Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Semigroup Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (<>) :: Identifier -> Identifier -> Identifier # sconcat :: NonEmpty Identifier -> Identifier # stimes :: Integral b => b -> Identifier -> Identifier #
NFData Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: Identifier -> () #
Hashable Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> Identifier -> Int hash :: Identifier -> Int
FromJSON Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser Identifier parseJSONList :: Value -> Parser [Identifier]
ToJSON Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: Identifier -> Value toEncoding :: Identifier -> Encoding toJSONList :: [Identifier] -> Value toEncodingList :: [Identifier] -> Encoding
Cacheable Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> Identifier -> Identifier -> Bool Source #
ToSQL Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: Identifier -> Builder Source #
IsIdentifier Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: Identifier -> Identifier Source #

class IsIdentifier a where Source #

Methods

toIdentifier :: a -> Identifier Source #

Instances

Instances details

IsIdentifier FieldName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: FieldName -> Identifier Source #
IsIdentifier RelName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: RelName -> Identifier Source #
IsIdentifier PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: PGCol -> Identifier Source #
IsIdentifier SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: SchemaName -> Identifier Source #
IsIdentifier FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: FunctionName -> Identifier Source #
IsIdentifier ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: ConstraintName -> Identifier Source #
IsIdentifier TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: TableName -> Identifier Source #
IsIdentifier Identifier Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: Identifier -> Identifier Source #
IsIdentifier TableAlias Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.DML Methods toIdentifier :: TableAlias -> Identifier Source #
IsIdentifier ColumnAlias Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.DML Methods toIdentifier :: ColumnAlias -> Identifier Source #
IsIdentifier FIIdentifier Source #
Instance details Defined in Hasura.RQL.IR.Select Methods toIdentifier :: FIIdentifier -> Identifier Source #

pgFmtIdentifier :: Text -> Text Source #

pgFmtLit :: Text -> Text Source #

trimNullChars :: Text -> Text Source #

newtype TableName Source #

Constructors

TableName
Fields getTableTxt :: Text

Instances

Instances details

Eq TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: TableName -> TableName -> Bool # (/=) :: TableName -> TableName -> Bool #
Data TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableName -> c TableName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableName # toConstr :: TableName -> Constr # dataTypeOf :: TableName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableName) # gmapT :: (forall b. Data b => b -> b) -> TableName -> TableName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableName -> r # gmapQ :: (forall d. Data d => d -> u) -> TableName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableName -> m TableName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableName -> m TableName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableName -> m TableName #
Ord TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods compare :: TableName -> TableName -> Ordering # (<) :: TableName -> TableName -> Bool # (<=) :: TableName -> TableName -> Bool # (>) :: TableName -> TableName -> Bool # (>=) :: TableName -> TableName -> Bool # max :: TableName -> TableName -> TableName # min :: TableName -> TableName -> TableName #
Show TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> TableName -> ShowS # show :: TableName -> String # showList :: [TableName] -> ShowS #
IsString TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromString :: String -> TableName #
Generic TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep TableName :: Type -> Type # Methods from :: TableName -> Rep TableName x # to :: Rep TableName x -> TableName #
NFData TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: TableName -> () #
Hashable TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> TableName -> Int hash :: TableName -> Int
FromJSON TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser TableName parseJSONList :: Value -> Parser [TableName]
ToJSON TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: TableName -> Value toEncoding :: TableName -> Encoding toJSONList :: [TableName] -> Value toEncodingList :: [TableName] -> Encoding
ToTxt TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toTxt :: TableName -> Text Source #
FromCol TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromCol :: Maybe ByteString -> Either Text TableName
ToPrepArg TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toPrepVal :: TableName -> PrepArg
Cacheable TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> TableName -> TableName -> Bool Source #
ToSQL TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: TableName -> Builder Source #
IsIdentifier TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: TableName -> Identifier Source #
type Rep TableName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep TableName = D1 ('MetaData "TableName" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "TableName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTableTxt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data TableType Source #

Constructors

TTBaseTable
TTView
TTForeignTable
TTLocalTemporary

isView :: TableType -> Bool Source #

newtype ConstraintName Source #

Constructors

ConstraintName
Fields getConstraintTxt :: Text

Instances

Instances details

Eq ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: ConstraintName -> ConstraintName -> Bool # (/=) :: ConstraintName -> ConstraintName -> Bool #
Show ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> ConstraintName -> ShowS # show :: ConstraintName -> String # showList :: [ConstraintName] -> ShowS #
NFData ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: ConstraintName -> () #
ToErrorValue ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toErrorValue :: ConstraintName -> ErrorMessage Source #
Hashable ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> ConstraintName -> Int hash :: ConstraintName -> Int
FromJSON ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser ConstraintName parseJSONList :: Value -> Parser [ConstraintName]
ToJSON ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: ConstraintName -> Value toEncoding :: ConstraintName -> Encoding toJSONList :: [ConstraintName] -> Value toEncodingList :: [ConstraintName] -> Encoding
ToTxt ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toTxt :: ConstraintName -> Text Source #
FromCol ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromCol :: Maybe ByteString -> Either Text ConstraintName
ToPrepArg ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toPrepVal :: ConstraintName -> PrepArg
Cacheable ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> ConstraintName -> ConstraintName -> Bool Source #
ToSQL ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: ConstraintName -> Builder Source #
IsIdentifier ConstraintName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: ConstraintName -> Identifier Source #

newtype FunctionName Source #

Constructors

FunctionName
Fields getFunctionTxt :: Text

Instances

Instances details

Eq FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: FunctionName -> FunctionName -> Bool # (/=) :: FunctionName -> FunctionName -> Bool #
Data FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionName -> c FunctionName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionName # toConstr :: FunctionName -> Constr # dataTypeOf :: FunctionName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionName) # gmapT :: (forall b. Data b => b -> b) -> FunctionName -> FunctionName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionName -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionName -> m FunctionName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionName -> m FunctionName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionName -> m FunctionName #
Ord FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods compare :: FunctionName -> FunctionName -> Ordering # (<) :: FunctionName -> FunctionName -> Bool # (<=) :: FunctionName -> FunctionName -> Bool # (>) :: FunctionName -> FunctionName -> Bool # (>=) :: FunctionName -> FunctionName -> Bool # max :: FunctionName -> FunctionName -> FunctionName # min :: FunctionName -> FunctionName -> FunctionName #
Show FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> FunctionName -> ShowS # show :: FunctionName -> String # showList :: [FunctionName] -> ShowS #
Generic FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep FunctionName :: Type -> Type # Methods from :: FunctionName -> Rep FunctionName x # to :: Rep FunctionName x -> FunctionName #
NFData FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: FunctionName -> () #
ToErrorValue FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toErrorValue :: FunctionName -> ErrorMessage Source #
Hashable FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> FunctionName -> Int hash :: FunctionName -> Int
FromJSON FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser FunctionName parseJSONList :: Value -> Parser [FunctionName]
ToJSON FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: FunctionName -> Value toEncoding :: FunctionName -> Encoding toJSONList :: [FunctionName] -> Value toEncodingList :: [FunctionName] -> Encoding
ToTxt FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toTxt :: FunctionName -> Text Source #
FromCol FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromCol :: Maybe ByteString -> Either Text FunctionName
ToPrepArg FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toPrepVal :: FunctionName -> PrepArg
Cacheable FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> FunctionName -> FunctionName -> Bool Source #
ToSQL FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: FunctionName -> Builder Source #
IsIdentifier FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: FunctionName -> Identifier Source #
type Rep FunctionName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep FunctionName = D1 ('MetaData "FunctionName" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "FunctionName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFunctionTxt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype SchemaName Source #

Constructors

SchemaName
Fields getSchemaTxt :: Text

Instances

Instances details

Eq SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: SchemaName -> SchemaName -> Bool # (/=) :: SchemaName -> SchemaName -> Bool #
Data SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SchemaName -> c SchemaName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SchemaName # toConstr :: SchemaName -> Constr # dataTypeOf :: SchemaName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SchemaName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SchemaName) # gmapT :: (forall b. Data b => b -> b) -> SchemaName -> SchemaName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SchemaName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SchemaName -> r # gmapQ :: (forall d. Data d => d -> u) -> SchemaName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SchemaName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SchemaName -> m SchemaName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SchemaName -> m SchemaName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SchemaName -> m SchemaName #
Ord SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods compare :: SchemaName -> SchemaName -> Ordering # (<) :: SchemaName -> SchemaName -> Bool # (<=) :: SchemaName -> SchemaName -> Bool # (>) :: SchemaName -> SchemaName -> Bool # (>=) :: SchemaName -> SchemaName -> Bool # max :: SchemaName -> SchemaName -> SchemaName # min :: SchemaName -> SchemaName -> SchemaName #
Show SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> SchemaName -> ShowS # show :: SchemaName -> String # showList :: [SchemaName] -> ShowS #
IsString SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromString :: String -> SchemaName #
Generic SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep SchemaName :: Type -> Type # Methods from :: SchemaName -> Rep SchemaName x # to :: Rep SchemaName x -> SchemaName #
NFData SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: SchemaName -> () #
Hashable SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> SchemaName -> Int hash :: SchemaName -> Int
FromJSON SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser SchemaName parseJSONList :: Value -> Parser [SchemaName]
ToJSON SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: SchemaName -> Value toEncoding :: SchemaName -> Encoding toJSONList :: [SchemaName] -> Value toEncodingList :: [SchemaName] -> Encoding
FromCol SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromCol :: Maybe ByteString -> Either Text SchemaName
ToPrepArg SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toPrepVal :: SchemaName -> PrepArg
Cacheable SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> SchemaName -> SchemaName -> Bool Source #
ToSQL SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: SchemaName -> Builder Source #
IsIdentifier SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: SchemaName -> Identifier Source #
type Rep SchemaName Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep SchemaName = D1 ('MetaData "SchemaName" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "SchemaName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSchemaTxt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

publicSchema :: SchemaName Source #

hdbCatalogSchema :: SchemaName Source #

data QualifiedObject a Source #

Constructors

QualifiedObject
Fields qSchema :: SchemaName qName :: a

Instances

Instances details

Functor QualifiedObject Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fmap :: (a -> b) -> QualifiedObject a -> QualifiedObject b # (<$) :: a -> QualifiedObject b -> QualifiedObject a #
Eq a => Eq (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: QualifiedObject a -> QualifiedObject a -> Bool # (/=) :: QualifiedObject a -> QualifiedObject a -> Bool #
Data a => Data (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QualifiedObject a -> c (QualifiedObject a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (QualifiedObject a) # toConstr :: QualifiedObject a -> Constr # dataTypeOf :: QualifiedObject a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (QualifiedObject a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (QualifiedObject a)) # gmapT :: (forall b. Data b => b -> b) -> QualifiedObject a -> QualifiedObject a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QualifiedObject a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QualifiedObject a -> r # gmapQ :: (forall d. Data d => d -> u) -> QualifiedObject a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QualifiedObject a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QualifiedObject a -> m (QualifiedObject a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QualifiedObject a -> m (QualifiedObject a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QualifiedObject a -> m (QualifiedObject a) #
Ord a => Ord (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods compare :: QualifiedObject a -> QualifiedObject a -> Ordering # (<) :: QualifiedObject a -> QualifiedObject a -> Bool # (<=) :: QualifiedObject a -> QualifiedObject a -> Bool # (>) :: QualifiedObject a -> QualifiedObject a -> Bool # (>=) :: QualifiedObject a -> QualifiedObject a -> Bool # max :: QualifiedObject a -> QualifiedObject a -> QualifiedObject a # min :: QualifiedObject a -> QualifiedObject a -> QualifiedObject a #
Show a => Show (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> QualifiedObject a -> ShowS # show :: QualifiedObject a -> String # showList :: [QualifiedObject a] -> ShowS #
Generic (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep (QualifiedObject a) :: Type -> Type # Methods from :: QualifiedObject a -> Rep (QualifiedObject a) x # to :: Rep (QualifiedObject a) x -> QualifiedObject a #
NFData a => NFData (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: QualifiedObject a -> () #
ToTxt a => ToErrorValue (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toErrorValue :: QualifiedObject a -> ErrorMessage Source #
Hashable a => Hashable (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> QualifiedObject a -> Int hash :: QualifiedObject a -> Int
FromJSON a => FromJSON (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser (QualifiedObject a) parseJSONList :: Value -> Parser [QualifiedObject a]
(ToJSON a, ToTxt a) => ToJSONKey (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSONKey :: ToJSONKeyFunction (QualifiedObject a) toJSONKeyList :: ToJSONKeyFunction [QualifiedObject a]
ToJSON a => ToJSON (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: QualifiedObject a -> Value toEncoding :: QualifiedObject a -> Encoding toJSONList :: [QualifiedObject a] -> Value toEncodingList :: [QualifiedObject a] -> Encoding
ToTxt a => ToTxt (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toTxt :: QualifiedObject a -> Text Source #
Cacheable a => Cacheable (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> QualifiedObject a -> QualifiedObject a -> Bool Source #
ToSQL a => ToSQL (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: QualifiedObject a -> Builder Source #
type Rep (QualifiedObject a) Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep (QualifiedObject a) = D1 ('MetaData "QualifiedObject" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "QualifiedObject" 'PrefixI 'True) (S1 ('MetaSel ('Just "qSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaName) :*: S1 ('MetaSel ('Just "qName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)))

qualifiedObjectToText :: ToTxt a => QualifiedObject a -> Text Source #

snakeCaseQualifiedObject :: ToTxt a => QualifiedObject a -> Text Source #

getIdentifierQualifiedObject :: ToTxt a => QualifiedObject a -> Either QErr GQLNameIdentifier Source #

namingConventionSupport :: SupportedNamingCase Source #

qualifiedObjectToName :: (ToTxt a, MonadError QErr m) => QualifiedObject a -> m Name Source #

type QualifiedTable = QualifiedObject TableName Source #

Represents a database table qualified with the schema name.

type QualifiedFunction = QualifiedObject FunctionName Source #

newtype PGDescription Source #

Constructors

PGDescription
Fields getPGDescription :: Text

Instances

Instances details

Eq PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: PGDescription -> PGDescription -> Bool # (/=) :: PGDescription -> PGDescription -> Bool #
Show PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> PGDescription -> ShowS # show :: PGDescription -> String # showList :: [PGDescription] -> ShowS #
NFData PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: PGDescription -> () #
Hashable PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> PGDescription -> Int hash :: PGDescription -> Int
FromJSON PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser PGDescription parseJSONList :: Value -> Parser [PGDescription]
ToJSON PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: PGDescription -> Value toEncoding :: PGDescription -> Encoding toJSONList :: [PGDescription] -> Value toEncodingList :: [PGDescription] -> Encoding
FromCol PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromCol :: Maybe ByteString -> Either Text PGDescription
Cacheable PGDescription Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> PGDescription -> PGDescription -> Bool Source #

newtype PGCol Source #

Constructors

PGCol
Fields getPGColTxt :: Text

Instances

Instances details

Eq PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: PGCol -> PGCol -> Bool # (/=) :: PGCol -> PGCol -> Bool #
Data PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PGCol -> c PGCol # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PGCol # toConstr :: PGCol -> Constr # dataTypeOf :: PGCol -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PGCol) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PGCol) # gmapT :: (forall b. Data b => b -> b) -> PGCol -> PGCol # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PGCol -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PGCol -> r # gmapQ :: (forall d. Data d => d -> u) -> PGCol -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PGCol -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PGCol -> m PGCol # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PGCol -> m PGCol # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PGCol -> m PGCol #
Ord PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods compare :: PGCol -> PGCol -> Ordering # (<) :: PGCol -> PGCol -> Bool # (<=) :: PGCol -> PGCol -> Bool # (>) :: PGCol -> PGCol -> Bool # (>=) :: PGCol -> PGCol -> Bool # max :: PGCol -> PGCol -> PGCol # min :: PGCol -> PGCol -> PGCol #
Show PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> PGCol -> ShowS # show :: PGCol -> String # showList :: [PGCol] -> ShowS #
IsString PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromString :: String -> PGCol #
Generic PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep PGCol :: Type -> Type # Methods from :: PGCol -> Rep PGCol x # to :: Rep PGCol x -> PGCol #
NFData PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: PGCol -> () #
ToErrorValue PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toErrorValue :: PGCol -> ErrorMessage Source #
Hashable PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> PGCol -> Int hash :: PGCol -> Int
FromJSONKey PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromJSONKey :: FromJSONKeyFunction PGCol fromJSONKeyList :: FromJSONKeyFunction [PGCol]
FromJSON PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser PGCol parseJSONList :: Value -> Parser [PGCol]
ToJSONKey PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSONKey :: ToJSONKeyFunction PGCol toJSONKeyList :: ToJSONKeyFunction [PGCol]
ToJSON PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: PGCol -> Value toEncoding :: PGCol -> Encoding toJSONList :: [PGCol] -> Value toEncodingList :: [PGCol] -> Encoding
ToTxt PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toTxt :: PGCol -> Text Source #
FromCol PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods fromCol :: Maybe ByteString -> Either Text PGCol
ToPrepArg PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toPrepVal :: PGCol -> PrepArg
Cacheable PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> PGCol -> PGCol -> Bool Source #
ToSQL PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: PGCol -> Builder Source #
IsIdentifier PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toIdentifier :: PGCol -> Identifier Source #
type Rep PGCol Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep PGCol = D1 ('MetaData "PGCol" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "PGCol" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPGColTxt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

unsafePGCol :: Text -> PGCol Source #

showPGCols :: (Foldable t, Functor t) => t PGCol -> Text Source #

data PGScalarType Source #

Instances

Instances details

Eq PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: PGScalarType -> PGScalarType -> Bool # (/=) :: PGScalarType -> PGScalarType -> Bool #
Data PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PGScalarType -> c PGScalarType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PGScalarType # toConstr :: PGScalarType -> Constr # dataTypeOf :: PGScalarType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PGScalarType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PGScalarType) # gmapT :: (forall b. Data b => b -> b) -> PGScalarType -> PGScalarType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PGScalarType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PGScalarType -> r # gmapQ :: (forall d. Data d => d -> u) -> PGScalarType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PGScalarType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PGScalarType -> m PGScalarType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PGScalarType -> m PGScalarType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PGScalarType -> m PGScalarType #
Ord PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods compare :: PGScalarType -> PGScalarType -> Ordering # (<) :: PGScalarType -> PGScalarType -> Bool # (<=) :: PGScalarType -> PGScalarType -> Bool # (>) :: PGScalarType -> PGScalarType -> Bool # (>=) :: PGScalarType -> PGScalarType -> Bool # max :: PGScalarType -> PGScalarType -> PGScalarType # min :: PGScalarType -> PGScalarType -> PGScalarType #
Show PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> PGScalarType -> ShowS # show :: PGScalarType -> String # showList :: [PGScalarType] -> ShowS #
Generic PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep PGScalarType :: Type -> Type # Methods from :: PGScalarType -> Rep PGScalarType x # to :: Rep PGScalarType x -> PGScalarType #
NFData PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: PGScalarType -> () #
ToErrorValue PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toErrorValue :: PGScalarType -> ErrorMessage Source #
Hashable PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> PGScalarType -> Int hash :: PGScalarType -> Int
FromJSON PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser PGScalarType parseJSONList :: Value -> Parser [PGScalarType]
ToJSONKey PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSONKey :: ToJSONKeyFunction PGScalarType toJSONKeyList :: ToJSONKeyFunction [PGScalarType]
ToJSON PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: PGScalarType -> Value toEncoding :: PGScalarType -> Encoding toJSONList :: [PGScalarType] -> Value toEncodingList :: [PGScalarType] -> Encoding
ToTxt PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toTxt :: PGScalarType -> Text Source #
Cacheable PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> PGScalarType -> PGScalarType -> Bool Source #
ToSQL PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toSQL :: PGScalarType -> Builder Source #
type Rep PGScalarType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep PGScalarType = D1 ('MetaData "PGScalarType" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'False) ((((C1 ('MetaCons "PGSmallInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PGInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGBigInt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PGSerial" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGBigSerial" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGDouble" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "PGNumeric" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGMoney" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGBoolean" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGChar" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PGVarchar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGText" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGCitext" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGDate" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "PGTimeStamp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGTimeStampTZ" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGTimeTZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGJSON" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PGJSONB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGGeometry" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGGeography" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGRaster" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "PGUUID" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGLtree" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGLquery" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGLtxtquery" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PGArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PGScalarType)) :+: C1 ('MetaCons "PGUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "PGCompositeScalar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "PGEnumScalar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))))))

pgScalarTypeToText :: PGScalarType -> Text Source #

textToPGScalarType :: Text -> PGScalarType Source #

pgScalarTranslations :: [(Text, PGScalarType)] Source #

isNumType :: PGScalarType -> Bool Source #

stringTypes :: [PGScalarType] Source #

isStringType :: PGScalarType -> Bool Source #

jsonTypes :: [PGScalarType] Source #

isJSONType :: PGScalarType -> Bool Source #

isComparableType :: PGScalarType -> Bool Source #

isBigNum :: PGScalarType -> Bool Source #

geoTypes :: [PGScalarType] Source #

isGeoType :: PGScalarType -> Bool Source #

data PGTypeKind Source #

Constructors

PGKindBase
PGKindComposite
PGKindDomain
PGKindEnum
PGKindRange
PGKindPseudo
PGKindUnknown Text

Instances

Instances details

Eq PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: PGTypeKind -> PGTypeKind -> Bool # (/=) :: PGTypeKind -> PGTypeKind -> Bool #
Show PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> PGTypeKind -> ShowS # show :: PGTypeKind -> String # showList :: [PGTypeKind] -> ShowS #
Generic PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep PGTypeKind :: Type -> Type # Methods from :: PGTypeKind -> Rep PGTypeKind x # to :: Rep PGTypeKind x -> PGTypeKind #
NFData PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: PGTypeKind -> () #
Hashable PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> PGTypeKind -> Int hash :: PGTypeKind -> Int
FromJSON PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser PGTypeKind parseJSONList :: Value -> Parser [PGTypeKind]
ToJSON PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: PGTypeKind -> Value toEncoding :: PGTypeKind -> Encoding toJSONList :: [PGTypeKind] -> Value toEncodingList :: [PGTypeKind] -> Encoding
Cacheable PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> PGTypeKind -> PGTypeKind -> Bool Source #
type Rep PGTypeKind Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep PGTypeKind = D1 ('MetaData "PGTypeKind" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "PGKindBase" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PGKindComposite" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGKindDomain" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PGKindEnum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGKindRange" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGKindPseudo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PGKindUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))))

data QualifiedPGType Source #

Constructors

QualifiedPGType
Fields _qptSchema :: SchemaName _qptName :: PGScalarType _qptType :: PGTypeKind

Instances

Instances details

Eq QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: QualifiedPGType -> QualifiedPGType -> Bool # (/=) :: QualifiedPGType -> QualifiedPGType -> Bool #
Show QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> QualifiedPGType -> ShowS # show :: QualifiedPGType -> String # showList :: [QualifiedPGType] -> ShowS #
Generic QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep QualifiedPGType :: Type -> Type # Methods from :: QualifiedPGType -> Rep QualifiedPGType x # to :: Rep QualifiedPGType x -> QualifiedPGType #
NFData QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: QualifiedPGType -> () #
Hashable QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods hashWithSalt :: Int -> QualifiedPGType -> Int hash :: QualifiedPGType -> Int
FromJSON QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser QualifiedPGType parseJSONList :: Value -> Parser [QualifiedPGType]
ToJSON QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: QualifiedPGType -> Value toEncoding :: QualifiedPGType -> Encoding toJSONList :: [QualifiedPGType] -> Value toEncodingList :: [QualifiedPGType] -> Encoding
Cacheable QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> QualifiedPGType -> QualifiedPGType -> Bool Source #
type Rep QualifiedPGType Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep QualifiedPGType = D1 ('MetaData "QualifiedPGType" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "QualifiedPGType" 'PrefixI 'True) (S1 ('MetaSel ('Just "_qptSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaName) :: (S1 ('MetaSel ('Just "_qptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PGScalarType) :: S1 ('MetaSel ('Just "_qptType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PGTypeKind))))

isBaseType :: QualifiedPGType -> Bool Source #

typeToTable :: QualifiedPGType -> QualifiedTable Source #

mkFunctionArgScalarType :: QualifiedPGType -> PGScalarType Source #

data PGRawFunctionInfo Source #

Metadata describing SQL functions at the DB level, i.e. below the GraphQL layer.

Constructors

PGRawFunctionInfo
Fields rfiOid :: OID rfiHasVariadic :: Bool rfiFunctionType :: FunctionVolatility rfiReturnTypeSchema :: SchemaName rfiReturnTypeName :: PGScalarType rfiReturnTypeType :: PGTypeKind rfiReturnsSet :: Bool rfiInputArgTypes :: [QualifiedPGType] rfiInputArgNames :: [FunctionArgName] rfiDefaultArgs :: Int rfiReturnsTable :: Bool rfiDescription :: Maybe PGDescription

Instances

Instances details

Eq PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods (==) :: PGRawFunctionInfo -> PGRawFunctionInfo -> Bool # (/=) :: PGRawFunctionInfo -> PGRawFunctionInfo -> Bool #
Show PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods showsPrec :: Int -> PGRawFunctionInfo -> ShowS # show :: PGRawFunctionInfo -> String # showList :: [PGRawFunctionInfo] -> ShowS #
Generic PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Associated Types type Rep PGRawFunctionInfo :: Type -> Type # Methods from :: PGRawFunctionInfo -> Rep PGRawFunctionInfo x # to :: Rep PGRawFunctionInfo x -> PGRawFunctionInfo #
NFData PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods rnf :: PGRawFunctionInfo -> () #
FromJSON PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods parseJSON :: Value -> Parser PGRawFunctionInfo parseJSONList :: Value -> Parser [PGRawFunctionInfo]
ToJSON PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods toJSON :: PGRawFunctionInfo -> Value toEncoding :: PGRawFunctionInfo -> Encoding toJSONList :: [PGRawFunctionInfo] -> Value toEncodingList :: [PGRawFunctionInfo] -> Encoding
Cacheable PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types Methods unchanged :: Accesses -> PGRawFunctionInfo -> PGRawFunctionInfo -> Bool Source #
type Rep PGRawFunctionInfo Source #
Instance details Defined in Hasura.Backends.Postgres.SQL.Types type Rep PGRawFunctionInfo = D1 ('MetaData "PGRawFunctionInfo" "Hasura.Backends.Postgres.SQL.Types" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "PGRawFunctionInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "rfiOid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OID) :: (S1 ('MetaSel ('Just "rfiHasVariadic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "rfiFunctionType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunctionVolatility))) :: (S1 ('MetaSel ('Just "rfiReturnTypeSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SchemaName) :: (S1 ('MetaSel ('Just "rfiReturnTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PGScalarType) :: S1 ('MetaSel ('Just "rfiReturnTypeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PGTypeKind)))) :: ((S1 ('MetaSel ('Just "rfiReturnsSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: (S1 ('MetaSel ('Just "rfiInputArgTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [QualifiedPGType]) :: S1 ('MetaSel ('Just "rfiInputArgNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [FunctionArgName]))) :: (S1 ('MetaSel ('Just "rfiDefaultArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "rfiReturnsTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "rfiDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PGDescription)))))))

mkScalarTypeName :: MonadError QErr m => PGScalarType -> m Name Source #

pgTypeOid :: PGScalarType -> Oid Source #

PGSmallInt
PGInteger
PGBigInt
PGSerial
PGBigSerial
PGFloat
PGDouble
PGNumeric
PGMoney
PGBoolean
PGChar
PGVarchar
PGText
PGCitext
PGDate
PGTimeStamp
PGTimeStampTZ
PGTimeTZ
PGJSON
PGJSONB
PGGeometry
PGGeography
PGRaster
PGUUID
PGLtree
PGLquery
PGLtxtquery
PGArray PGScalarType
PGUnknown Text
PGCompositeScalar Text
PGEnumScalar Text