project-m36-1.1.1: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.SQL.CreateTable

Synopsis

Documentation

data CreateTable Source #

Instances

Instances details
Generic CreateTable Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Associated Types

type Rep CreateTable :: Type -> Type Source #

Show CreateTable Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

NFData CreateTable Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Methods

rnf :: CreateTable -> () Source #

Eq CreateTable Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Serialise CreateTable Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

type Rep CreateTable Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

type Rep CreateTable = D1 ('MetaData "CreateTable" "ProjectM36.SQL.CreateTable" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "CreateTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableName) :*: S1 ('MetaSel ('Just "targetColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnqualifiedColumnName, ColumnType, PerColumnConstraints)])))

data ColumnType Source #

Instances

Instances details
Generic ColumnType Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Associated Types

type Rep ColumnType :: Type -> Type Source #

Show ColumnType Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

NFData ColumnType Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Methods

rnf :: ColumnType -> () Source #

Eq ColumnType Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Serialise ColumnType Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

type Rep ColumnType Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

type Rep ColumnType = D1 ('MetaData "ColumnType" "ProjectM36.SQL.CreateTable" "project-m36-1.1.1-inplace" 'False) ((C1 ('MetaCons "IntegerColumnType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TextColumnType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BoolColumnType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DoubleColumnType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DateTimeColumnType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DateColumnType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ByteaColumnType" 'PrefixI 'False) (U1 :: Type -> Type))))

data PerColumnConstraints Source #

Used to represent constraints which are defined next to a column name and type.

Instances

Instances details
Generic PerColumnConstraints Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Associated Types

type Rep PerColumnConstraints :: Type -> Type Source #

Show PerColumnConstraints Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

NFData PerColumnConstraints Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Eq PerColumnConstraints Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

Serialise PerColumnConstraints Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

type Rep PerColumnConstraints Source # 
Instance details

Defined in ProjectM36.SQL.CreateTable

type Rep PerColumnConstraints = D1 ('MetaData "PerColumnConstraints" "ProjectM36.SQL.CreateTable" "project-m36-1.1.1-inplace" 'False) (C1 ('MetaCons "PerColumnConstraints" 'PrefixI 'True) (S1 ('MetaSel ('Just "notNullConstraint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "uniquenessConstraint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "references") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (TableName, UnqualifiedColumnName))))))