pg-schema

Safe Haskell	None
Language	GHC2021

PgSchema.Schema.Info

Description

Internal module: ordinary (term-level) ADTs matching the shape of rows returned when querying PostgreSQL system catalogs during schema introspection.

This is not part of the application-facing pg-schema API; these types are used in the generation pipeline and in internal plumbing. Application code should not import this module: field layout may change together with the generator.

The module appears in the package export list for technical reasons (tests, shared dependencies, hidden modules). Do not rely on it as a library compatibility boundary.

Synopsis

data PgClass = PgClass {
- class__namespace :: "nspname" := Text
- relname :: Text
- relkind :: PgChar
- attribute__class :: [PgAttribute]
- constraint__class :: [PgConstraint]
}
data PgClassShort = PgClassShort {
- class__namespace :: "nspname" := Text
- relname :: Text
}
data PgAttribute = PgAttribute {
- attname :: Text
- attribute__type :: PgType
- attnum :: Int16
- attnotnull :: Bool
- atthasdef :: Bool
}
data PgConstraint = PgConstraint {
- constraint__namespace :: "nspname" := Text
- conname :: Text
- contype :: PgChar
- conkey :: PgArr Int16
}
data PgType = PgType {
- oid :: PgOid
- type__namespace :: "nspname" := Text
- typname :: Text
- typcategory :: PgChar
- typelem :: PgOid
- enum__type :: [PgEnum]
}
data PgEnum = PgEnum {
- enumlabel :: Text
- enumsortorder :: Double
}
data PgRelation = PgRelation {
- constraint__namespace :: "nspname" := Text
- conname :: Text
- constraint__class :: PgClassShort
- constraint__fclass :: PgClassShort
- conkey :: PgArr Int16
- confkey :: PgArr Int16
}

Documentation

data PgClass Source #

Tables and views info

Constructors

PgClass
Fields class__namespace :: "nspname" := Text relname :: Text relkind :: PgChar attribute__class :: [PgAttribute] constraint__class :: [PgConstraint]

Instances

Instances details

Generic PgClass Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgClass

Instance details

Defined in PgSchema.Schema.Info

type Rep PgClass = D1 ('MetaData "PgClass" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgClass" 'PrefixI 'True) ((S1 ('MetaSel ('Just "class__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "relname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "relkind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgChar) :*: (S1 ('MetaSel ('Just "attribute__class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PgAttribute]) :*: S1 ('MetaSel ('Just "constraint__class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PgConstraint])))))

Methods

from :: PgClass -> Rep PgClass x #

to :: Rep PgClass x -> PgClass #

Show PgClass Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgClass -> ShowS #

show :: PgClass -> String #

showList :: [PgClass] -> ShowS #

Eq PgClass Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgClass -> PgClass -> Bool #

(/=) :: PgClass -> PgClass -> Bool #

type Rep PgClass Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgClass = D1 ('MetaData "PgClass" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgClass" 'PrefixI 'True) ((S1 ('MetaSel ('Just "class__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "relname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "relkind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgChar) :*: (S1 ('MetaSel ('Just "attribute__class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PgAttribute]) :*: S1 ('MetaSel ('Just "constraint__class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PgConstraint])))))

data PgClassShort Source #

Constructors

PgClassShort
Fields class__namespace :: "nspname" := Text relname :: Text

Instances

Instances details

Generic PgClassShort Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgClassShort

Instance details

Defined in PgSchema.Schema.Info

type Rep PgClassShort = D1 ('MetaData "PgClassShort" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgClassShort" 'PrefixI 'True) (S1 ('MetaSel ('Just "class__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "relname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: PgClassShort -> Rep PgClassShort x #

to :: Rep PgClassShort x -> PgClassShort #

Show PgClassShort Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgClassShort -> ShowS #

show :: PgClassShort -> String #

showList :: [PgClassShort] -> ShowS #

Eq PgClassShort Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgClassShort -> PgClassShort -> Bool #

(/=) :: PgClassShort -> PgClassShort -> Bool #

type Rep PgClassShort Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgClassShort = D1 ('MetaData "PgClassShort" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgClassShort" 'PrefixI 'True) (S1 ('MetaSel ('Just "class__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "relname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data PgAttribute Source #

Constructors

PgAttribute
Fields attname :: Text attribute__type :: PgType attnum :: Int16 attnotnull :: Bool atthasdef :: Bool

Instances

Instances details

Generic PgAttribute Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgAttribute

Instance details

Defined in PgSchema.Schema.Info

type Rep PgAttribute = D1 ('MetaData "PgAttribute" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgAttribute" 'PrefixI 'True) ((S1 ('MetaSel ('Just "attname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "attribute__type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgType)) :*: (S1 ('MetaSel ('Just "attnum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int16) :*: (S1 ('MetaSel ('Just "attnotnull") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "atthasdef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

Methods

from :: PgAttribute -> Rep PgAttribute x #

to :: Rep PgAttribute x -> PgAttribute #

Show PgAttribute Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgAttribute -> ShowS #

show :: PgAttribute -> String #

showList :: [PgAttribute] -> ShowS #

Eq PgAttribute Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgAttribute -> PgAttribute -> Bool #

(/=) :: PgAttribute -> PgAttribute -> Bool #

type Rep PgAttribute Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgAttribute = D1 ('MetaData "PgAttribute" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgAttribute" 'PrefixI 'True) ((S1 ('MetaSel ('Just "attname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "attribute__type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgType)) :*: (S1 ('MetaSel ('Just "attnum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int16) :*: (S1 ('MetaSel ('Just "attnotnull") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "atthasdef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

data PgConstraint Source #

Constructors

PgConstraint
Fields constraint__namespace :: "nspname" := Text conname :: Text contype :: PgChar conkey :: PgArr Int16

Instances

Instances details

Generic PgConstraint Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgConstraint

Instance details

Defined in PgSchema.Schema.Info

type Rep PgConstraint = D1 ('MetaData "PgConstraint" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgConstraint" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constraint__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "conname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "contype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgChar) :*: S1 ('MetaSel ('Just "conkey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgArr Int16)))))

Methods

from :: PgConstraint -> Rep PgConstraint x #

to :: Rep PgConstraint x -> PgConstraint #

Show PgConstraint Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgConstraint -> ShowS #

show :: PgConstraint -> String #

showList :: [PgConstraint] -> ShowS #

Eq PgConstraint Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgConstraint -> PgConstraint -> Bool #

(/=) :: PgConstraint -> PgConstraint -> Bool #

type Rep PgConstraint Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgConstraint = D1 ('MetaData "PgConstraint" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgConstraint" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constraint__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "conname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "contype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgChar) :*: S1 ('MetaSel ('Just "conkey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgArr Int16)))))

data PgType Source #

Types info

Constructors

PgType
Fields oid :: PgOid type__namespace :: "nspname" := Text typname :: Text typcategory :: PgChar typelem :: PgOid enum__type :: [PgEnum]

Instances

Instances details

Generic PgType Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgType

Instance details

Defined in PgSchema.Schema.Info

type Rep PgType = D1 ('MetaData "PgType" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgType" 'PrefixI 'True) ((S1 ('MetaSel ('Just "oid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgOid) :*: (S1 ('MetaSel ('Just "type__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "typname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "typcategory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgChar) :*: (S1 ('MetaSel ('Just "typelem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgOid) :*: S1 ('MetaSel ('Just "enum__type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PgEnum])))))

Methods

from :: PgType -> Rep PgType x #

to :: Rep PgType x -> PgType #

Show PgType Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgType -> ShowS #

show :: PgType -> String #

showList :: [PgType] -> ShowS #

Eq PgType Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgType -> PgType -> Bool #

(/=) :: PgType -> PgType -> Bool #

type Rep PgType Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgType = D1 ('MetaData "PgType" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgType" 'PrefixI 'True) ((S1 ('MetaSel ('Just "oid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgOid) :*: (S1 ('MetaSel ('Just "type__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: S1 ('MetaSel ('Just "typname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "typcategory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgChar) :*: (S1 ('MetaSel ('Just "typelem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgOid) :*: S1 ('MetaSel ('Just "enum__type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PgEnum])))))

data PgEnum Source #

Constructors

PgEnum
Fields enumlabel :: Text enumsortorder :: Double

Instances

Instances details

Generic PgEnum Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgEnum

Instance details

Defined in PgSchema.Schema.Info

type Rep PgEnum = D1 ('MetaData "PgEnum" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgEnum" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumlabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "enumsortorder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

Methods

from :: PgEnum -> Rep PgEnum x #

to :: Rep PgEnum x -> PgEnum #

Show PgEnum Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgEnum -> ShowS #

show :: PgEnum -> String #

showList :: [PgEnum] -> ShowS #

Eq PgEnum Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgEnum -> PgEnum -> Bool #

(/=) :: PgEnum -> PgEnum -> Bool #

type Rep PgEnum Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgEnum = D1 ('MetaData "PgEnum" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgEnum" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumlabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "enumsortorder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

data PgRelation Source #

Foreign key info

Constructors

PgRelation
Fields constraint__namespace :: "nspname" := Text conname :: Text constraint__class :: PgClassShort constraint__fclass :: PgClassShort conkey :: PgArr Int16 confkey :: PgArr Int16

Instances

Instances details

Generic PgRelation Source #

Instance details

Defined in PgSchema.Schema.Info

Associated Types

type Rep PgRelation

Instance details

Defined in PgSchema.Schema.Info

type Rep PgRelation = D1 ('MetaData "PgRelation" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constraint__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: (S1 ('MetaSel ('Just "conname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "constraint__class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgClassShort))) :*: (S1 ('MetaSel ('Just "constraint__fclass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgClassShort) :*: (S1 ('MetaSel ('Just "conkey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgArr Int16)) :*: S1 ('MetaSel ('Just "confkey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgArr Int16))))))

Methods

from :: PgRelation -> Rep PgRelation x #

to :: Rep PgRelation x -> PgRelation #

Show PgRelation Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

showsPrec :: Int -> PgRelation -> ShowS #

show :: PgRelation -> String #

showList :: [PgRelation] -> ShowS #

Eq PgRelation Source #

Instance details

Defined in PgSchema.Schema.Info

Methods

(==) :: PgRelation -> PgRelation -> Bool #

(/=) :: PgRelation -> PgRelation -> Bool #

type Rep PgRelation Source #

Instance details

Defined in PgSchema.Schema.Info

type Rep PgRelation = D1 ('MetaData "PgRelation" "PgSchema.Schema.Info" "pg-schema-0.5.0.0-inplace" 'False) (C1 ('MetaCons "PgRelation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constraint__namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("nspname" := Text)) :*: (S1 ('MetaSel ('Just "conname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "constraint__class") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgClassShort))) :*: (S1 ('MetaSel ('Just "constraint__fclass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgClassShort) :*: (S1 ('MetaSel ('Just "conkey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgArr Int16)) :*: S1 ('MetaSel ('Just "confkey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PgArr Int16))))))