Copyright	(c) digitally induced GmbH 2020
Safe Haskell	Safe-Inferred

IHP.IDE.SchemaDesigner.Types

Description

Documentation

data Statement Source #

Constructors

StatementCreateTable	CREATE TABLE name ( columns );
Fields unsafeGetCreateTable :: CreateTable
CreateEnumType	CREATE TYPE name AS ENUM ( values );
Fields name :: Text values :: [Text]
DropEnumType	DROP TYPE name;
Fields name :: Text
CreateExtension	CREATE EXTENSION IF NOT EXISTS "name";
Fields name :: Text ifNotExists :: Bool
AddConstraint	ALTER TABLE tableName ADD CONSTRAINT constraint;
Fields tableName :: Text constraint :: Constraint deferrable :: Maybe Bool deferrableType :: Maybe DeferrableType
DropConstraint	ALTER TABLE tableName DROP CONSTRAINT constraintName;
Fields tableName, constraintName :: Text
AddColumn	ALTER TABLE tableName ADD COLUMN column;
Fields tableName :: Text column :: Column
DropColumn	ALTER TABLE tableName DROP COLUMN columnName;
Fields tableName :: Text columnName :: Text
DropTable	DROP TABLE tableName;
Fields tableName :: Text
UnknownStatement
Fields raw :: Text
Comment
Fields content :: Text
CreateIndex	CREATE INDEX indexName ON tableName (columnName); CREATE INDEX indexName ON tableName (LOWER(columnName)); \| CREATE UNIQUE INDEX name ON table (column [, ...]);
Fields indexName :: Text unique :: Bool tableName :: Text columns :: [IndexColumn] whereClause :: Maybe Expression indexType :: Maybe IndexType
DropIndex	DROP INDEX indexName;
Fields indexName :: Text
CreateFunction	CREATE OR REPLACE FUNCTION functionName(param1 TEXT, param2 INT) RETURNS TRIGGER AS $$functionBody$$ language plpgsql;
Fields functionName :: Text functionArguments :: [(Text, PostgresType)] functionBody :: Text orReplace :: Bool returns :: PostgresType language :: Text
EnableRowLevelSecurity	ALTER TABLE tableName ENABLE ROW LEVEL SECURITY;
Fields tableName :: Text
CreatePolicy
Fields name :: Text tableName :: Text action :: Maybe PolicyAction using :: Maybe Expression check :: Maybe Expression
Set
Fields name :: Text value :: Expression
SelectStatement
Fields query :: Text
CreateSequence
Fields name :: Text
RenameColumn
Fields tableName :: Text from :: Text to :: Text
AddValueToEnumType
Fields enumName :: Text newValue :: Text ifNotExists :: Bool
DropNotNull
Fields tableName :: Text columnName :: Text
SetNotNull
Fields tableName :: Text columnName :: Text
RenameTable	ALTER TABLE from RENAME TO to;
Fields from :: Text to :: Text
DropPolicy	DROP POLICY policyName ON tableName;
Fields tableName :: Text policyName :: Text
SetDefaultValue
Fields tableName :: Text columnName :: Text value :: Expression
DropDefaultValue
Fields tableName :: Text columnName :: Text
CreateTrigger	CREATE TRIGGER ..;
Fields name :: !Text eventWhen :: !TriggerEventWhen event :: !TriggerEvent tableName :: !Text for :: !TriggerFor whenCondition :: Maybe Expression functionName :: !Text arguments :: ![Expression]
DropTrigger	DROP TRIGGER .. ON ..;
Fields name :: !Text tableName :: !Text
Begin	BEGIN;
Commit	COMMIT;
DropFunction
Fields functionName :: !Text

Instances

Instances details

Show Statement Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String showList :: [Statement] -> ShowS #
Eq Statement Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #

data DeferrableType Source #

Constructors

InitiallyImmediate
InitiallyDeferred

Instances

Instances details

Show DeferrableType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> DeferrableType -> ShowS # show :: DeferrableType -> String showList :: [DeferrableType] -> ShowS #
Eq DeferrableType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: DeferrableType -> DeferrableType -> Bool # (/=) :: DeferrableType -> DeferrableType -> Bool #

data CreateTable Source #

Constructors

CreateTable
Fields name :: Text columns :: [Column] primaryKeyConstraint :: PrimaryKeyConstraint constraints :: [Constraint] unlogged :: !Bool

Instances

Instances details

Show CreateTable Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> CreateTable -> ShowS # show :: CreateTable -> String showList :: [CreateTable] -> ShowS #
Eq CreateTable Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: CreateTable -> CreateTable -> Bool # (/=) :: CreateTable -> CreateTable -> Bool #

data Column Source #

Constructors

Column
Fields name :: Text columnType :: PostgresType defaultValue :: Maybe Expression notNull :: Bool isUnique :: Bool generator :: Maybe ColumnGenerator

Instances

Instances details

Show Column Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> Column -> ShowS # show :: Column -> String showList :: [Column] -> ShowS #
Eq Column Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: Column -> Column -> Bool # (/=) :: Column -> Column -> Bool #

data OnDelete Source #

Constructors

NoAction
Restrict
SetNull
SetDefault
Cascade

Instances

Instances details

Show OnDelete Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> OnDelete -> ShowS # show :: OnDelete -> String showList :: [OnDelete] -> ShowS #
Eq OnDelete Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: OnDelete -> OnDelete -> Bool # (/=) :: OnDelete -> OnDelete -> Bool #

data ColumnGenerator Source #

Constructors

ColumnGenerator
Fields generate :: !Expression stored :: !Bool

Instances

Instances details

Show ColumnGenerator Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> ColumnGenerator -> ShowS # show :: ColumnGenerator -> String showList :: [ColumnGenerator] -> ShowS #
Eq ColumnGenerator Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: ColumnGenerator -> ColumnGenerator -> Bool # (/=) :: ColumnGenerator -> ColumnGenerator -> Bool #

newtype PrimaryKeyConstraint Source #

Constructors

PrimaryKeyConstraint
Fields primaryKeyColumnNames :: [Text]

Instances

Instances details

Show PrimaryKeyConstraint Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> PrimaryKeyConstraint -> ShowS # show :: PrimaryKeyConstraint -> String showList :: [PrimaryKeyConstraint] -> ShowS #
Eq PrimaryKeyConstraint Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: PrimaryKeyConstraint -> PrimaryKeyConstraint -> Bool # (/=) :: PrimaryKeyConstraint -> PrimaryKeyConstraint -> Bool #

data Constraint Source #

Constructors

ForeignKeyConstraint	FOREIGN KEY (columnName) REFERENCES referenceTable (referenceColumn) ON DELETE onDelete;
Fields name :: !(Maybe Text) columnName :: !Text referenceTable :: !Text referenceColumn :: !(Maybe Text) onDelete :: !(Maybe OnDelete)
UniqueConstraint
Fields name :: !(Maybe Text) columnNames :: ![Text]
CheckConstraint
Fields name :: !(Maybe Text) checkExpression :: !Expression
ExcludeConstraint
Fields name :: !(Maybe Text) excludeElements :: ![ExcludeConstraintElement] predicate :: !(Maybe Expression) indexType :: !(Maybe IndexType)
AlterTableAddPrimaryKey
Fields name :: !(Maybe Text) primaryKeyConstraint :: !PrimaryKeyConstraint

Instances

Instances details

Show Constraint Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String showList :: [Constraint] -> ShowS #
Eq Constraint Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #

data ExcludeConstraintElement Source #

Constructors

ExcludeConstraintElement
Fields element :: !Text operator :: !Text

Instances

Instances details

Show ExcludeConstraintElement Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> ExcludeConstraintElement -> ShowS # show :: ExcludeConstraintElement -> String showList :: [ExcludeConstraintElement] -> ShowS #
Eq ExcludeConstraintElement Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: ExcludeConstraintElement -> ExcludeConstraintElement -> Bool # (/=) :: ExcludeConstraintElement -> ExcludeConstraintElement -> Bool #

data Expression Source #

Constructors

TextExpression Text	Sql string like `hello`
VarExpression Text	Simple variable like `users`
CallExpression Text [Expression]	Simple call, like `COALESCE(name, 'unknown name')`
NotEqExpression Expression Expression	Not equal operator, a <> b
EqExpression Expression Expression	Equal operator, a = b
AndExpression Expression Expression	a AND b
IsExpression Expression Expression	a IS b
InExpression Expression Expression	a IN b
NotExpression Expression	NOT a
ExistsExpression Expression	EXISTS a
OrExpression Expression Expression	a OR b
LessThanExpression Expression Expression	a < b
LessThanOrEqualToExpression Expression Expression	a <= b
GreaterThanExpression Expression Expression	a > b
GreaterThanOrEqualToExpression Expression Expression	a >= b
DoubleExpression Double	Double literal value, e.g. 0.1337
IntExpression Int	Integer literal value, e.g. 1337
TypeCastExpression Expression PostgresType	value::type
SelectExpression Select
DotExpression Expression Text
ConcatenationExpression Expression Expression	a \|\| b

Instances

Instances details

Show Expression Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String showList :: [Expression] -> ShowS #
Eq Expression Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
ParamReader Expression Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Controller.Helper Methods readParameter :: ByteString -> Either ByteString Expression Source # readParameterJSON :: Value -> Either ByteString Expression Source #

data Select Source #

Constructors

Select
Fields columns :: [Expression] from :: Expression alias :: Maybe Text whereClause :: Expression

Instances

Instances details

Show Select Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> Select -> ShowS # show :: Select -> String showList :: [Select] -> ShowS #
Eq Select Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: Select -> Select -> Bool # (/=) :: Select -> Select -> Bool #

data PostgresType Source #

Constructors

PUUID
PText
PInt
PSmallInt
PBigInt
PBoolean
PTimestampWithTimezone
PTimestamp
PReal
PDouble
PPoint
PPolygon
PDate
PBinary
PTime
PInterval
Fields fields :: Maybe Text
PNumeric
Fields precision :: Maybe Int scale :: Maybe Int
PVaryingN (Maybe Int)
PCharacterN Int
PSingleChar
PSerial
PBigserial
PJSONB
PInet
PTSVector
PArray PostgresType
PTrigger
PCustomType Text

Instances

Instances details

Show PostgresType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> PostgresType -> ShowS # show :: PostgresType -> String showList :: [PostgresType] -> ShowS #
Eq PostgresType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: PostgresType -> PostgresType -> Bool # (/=) :: PostgresType -> PostgresType -> Bool #
ParamReader PostgresType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Controller.Helper Methods readParameter :: ByteString -> Either ByteString PostgresType Source # readParameterJSON :: Value -> Either ByteString PostgresType Source #

data TriggerEventWhen Source #

Constructors

Before
After
InsteadOf

Instances

Instances details

Show TriggerEventWhen Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> TriggerEventWhen -> ShowS # show :: TriggerEventWhen -> String showList :: [TriggerEventWhen] -> ShowS #
Eq TriggerEventWhen Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: TriggerEventWhen -> TriggerEventWhen -> Bool # (/=) :: TriggerEventWhen -> TriggerEventWhen -> Bool #

data TriggerEvent Source #

Constructors

TriggerOnInsert
TriggerOnUpdate
TriggerOnDelete
TriggerOnTruncate

Instances

Instances details

Show TriggerEvent Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> TriggerEvent -> ShowS # show :: TriggerEvent -> String showList :: [TriggerEvent] -> ShowS #
Eq TriggerEvent Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: TriggerEvent -> TriggerEvent -> Bool # (/=) :: TriggerEvent -> TriggerEvent -> Bool #

data TriggerFor Source #

Constructors

ForEachRow
ForEachStatement

Instances

Instances details

Show TriggerFor Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> TriggerFor -> ShowS # show :: TriggerFor -> String showList :: [TriggerFor] -> ShowS #
Eq TriggerFor Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: TriggerFor -> TriggerFor -> Bool # (/=) :: TriggerFor -> TriggerFor -> Bool #

data PolicyAction Source #

Constructors

PolicyForAll
PolicyForSelect
PolicyForInsert
PolicyForUpdate
PolicyForDelete

Instances

Instances details

Show PolicyAction Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> PolicyAction -> ShowS # show :: PolicyAction -> String showList :: [PolicyAction] -> ShowS #
Eq PolicyAction Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: PolicyAction -> PolicyAction -> Bool # (/=) :: PolicyAction -> PolicyAction -> Bool #

data IndexType Source #

Constructors

Btree
Gin
Gist

Instances

Instances details

Show IndexType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> IndexType -> ShowS # show :: IndexType -> String showList :: [IndexType] -> ShowS #
Eq IndexType Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: IndexType -> IndexType -> Bool # (/=) :: IndexType -> IndexType -> Bool #

data IndexColumn Source #

Constructors

IndexColumn
Fields column :: Expression columnOrder :: [IndexColumnOrder]

Instances

Instances details

Show IndexColumn Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> IndexColumn -> ShowS # show :: IndexColumn -> String showList :: [IndexColumn] -> ShowS #
Eq IndexColumn Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: IndexColumn -> IndexColumn -> Bool # (/=) :: IndexColumn -> IndexColumn -> Bool #
ParamReader [IndexColumn] Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Controller.Helper Methods readParameter :: ByteString -> Either ByteString [IndexColumn] Source # readParameterJSON :: Value -> Either ByteString [IndexColumn] Source #

data IndexColumnOrder Source #

Constructors

Asc
Desc
NullsFirst
NullsLast

Instances

Instances details

Show IndexColumnOrder Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods showsPrec :: Int -> IndexColumnOrder -> ShowS # show :: IndexColumnOrder -> String showList :: [IndexColumnOrder] -> ShowS #
Eq IndexColumnOrder Source #
Instance details Defined in IHP.IDE.SchemaDesigner.Types Methods (==) :: IndexColumnOrder -> IndexColumnOrder -> Bool # (/=) :: IndexColumnOrder -> IndexColumnOrder -> Bool #