Safe Haskell	None
Language	Haskell2010

Database.Beam.AutoMigrate.Types

Synopsis

data Schema = Schema {
- schemaTables :: Tables
- schemaEnumerations :: Enumerations
- schemaSequences :: Sequences
}
type Enumerations = Map EnumerationName Enumeration
newtype EnumerationName = EnumerationName {
- enumName :: Text
}
newtype Enumeration = Enumeration {
- enumValues :: [Text]
}
type Sequences = Map SequenceName Sequence
newtype SequenceName = SequenceName {
- seqName :: Text
}
data Sequence = Sequence {
- seqTable :: TableName
- seqColumn :: ColumnName
}
mkSequenceName :: TableName -> ColumnName -> SequenceName
parseSequenceName :: SequenceName -> Maybe (TableName, ColumnName)
type Tables = Map TableName Table
newtype TableName = TableName {
- tableName :: Text
}
data Table = Table {
- tableConstraints :: Set TableConstraint
- tableColumns :: Columns
}
type Columns = Map ColumnName Column
newtype ColumnName = ColumnName {
- columnName :: Text
}
data Column = Column {
- columnType :: ColumnType
- columnConstraints :: Set ColumnConstraint
}
data ColumnType
- = SqlStdType DataType
- | PgSpecificType PgDataType
- | DbEnumeration EnumerationName Enumeration
- | SqlArrayType ColumnType Word
data PgDataType
- = PgJson
- | PgJsonB
- | PgRangeInt4
- | PgRangeInt8
- | PgRangeNum
- | PgRangeTs
- | PgRangeTsTz
- | PgRangeDate
- | PgUuid
- | PgEnumeration EnumerationName
- | PgOid
- | PgLTree
- | PgVector (Maybe Natural)
newtype ExtensionTypeName = ExtensionTypeName {
- extensionTypeName :: Text
}
newtype PgEnum a = PgEnum a
newtype DbEnum a = DbEnum a
type ConstraintName = Text
data TableConstraint
- = PrimaryKey ConstraintName (Set ColumnName)
- | ForeignKey ConstraintName TableName (Set (ColumnName, ColumnName)) ReferenceAction ReferenceAction
- | Unique ConstraintName (Set ColumnName)
data ColumnConstraint
- = NotNull
- | Default Text
data ReferenceAction
- = NoAction
- | Restrict
- | Cascade
- | SetNull
- | SetDefault
data EditAction
- = EditAction_Manual ManualEditAction
- | EditAction_Automatic AutomaticEditAction
data ManualEditAction = ColumnRenamed TableName ColumnName ColumnName
data AutomaticEditAction
- = TableAdded TableName Table
- | TableRemoved TableName
- | TableConstraintAdded TableName TableConstraint
- | TableConstraintRemoved TableName TableConstraint
- | ColumnAdded TableName ColumnName Column
- | ColumnRemoved TableName ColumnName
- | ColumnTypeChanged TableName ColumnName ColumnType ColumnType
- | ColumnConstraintAdded TableName ColumnName ColumnConstraint
- | ColumnConstraintRemoved TableName ColumnName ColumnConstraint
- | EnumTypeAdded EnumerationName Enumeration
- | EnumTypeRemoved EnumerationName
- | EnumTypeValueAdded EnumerationName Text InsertionOrder Text
- | SequenceAdded SequenceName Sequence
- | SequenceRemoved SequenceName
data EditSafety
- = Safe
- | PotentiallySlow
- | Unsafe
defaultEditSafety :: AutomaticEditAction -> EditSafety
data EditCondition = EditCondition {
- _editCondition_query :: BeamSqlBackendSyntax Postgres
- _editCondition_check :: Pg EditSafety
}
prettyEditConditionQuery :: EditCondition -> ByteString
data Edit = Edit {
- _editAction :: EditAction
- _editCondition :: Either EditCondition EditSafety
}
editAction :: Lens' Edit EditAction
editCondition :: Lens' Edit (Either EditCondition EditSafety)
editSafetyIs :: EditSafety -> Edit -> Bool
mkEditWith :: (AutomaticEditAction -> EditSafety) -> AutomaticEditAction -> Edit
defMkEdit :: AutomaticEditAction -> Edit
data InsertionOrder
- = Before
- | After
data DiffError
- = AutomaticDiffNotPossible
- | ValuesRemovedFromEnum EnumerationName [Text]
noSchema :: Schema
noTableConstraints :: Set TableConstraint
noColumnConstraints :: Set ColumnConstraint

Documentation

data Schema Source #

Constructors

Schema
Fields schemaTables :: Tables schemaEnumerations :: Enumerations schemaSequences :: Sequences

Instances

Instances details

Eq Schema Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: Schema -> Schema -> Bool # (/=) :: Schema -> Schema -> Bool #
Show Schema Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
Generic Schema Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep Schema :: Type -> Type # Methods from :: Schema -> Rep Schema x # to :: Rep Schema x -> Schema #
Arbitrary Schema Source #
Instance details Defined in Database.Beam.AutoMigrate.Schema.Gen Methods arbitrary :: Gen Schema # shrink :: Schema -> [Schema] #
NFData Schema Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: Schema -> () #
Diffable Schema Source #	Computes the diff between two `Schema`s, either failing with a `DiffError` or returning the list of `Edit`s necessary to turn the first into the second.
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Schema -> Schema -> Diff Source #
type Rep Schema Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep Schema = D1 ('MetaData "Schema" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "Schema" 'PrefixI 'True) (S1 ('MetaSel ('Just "schemaTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tables) :: (S1 ('MetaSel ('Just "schemaEnumerations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Enumerations) :: S1 ('MetaSel ('Just "schemaSequences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sequences))))

type Enumerations = Map EnumerationName Enumeration Source #

newtype EnumerationName Source #

Constructors

EnumerationName
Fields enumName :: Text

Instances

Instances details

Eq EnumerationName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: EnumerationName -> EnumerationName -> Bool # (/=) :: EnumerationName -> EnumerationName -> Bool #
Ord EnumerationName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: EnumerationName -> EnumerationName -> Ordering # (<) :: EnumerationName -> EnumerationName -> Bool # (<=) :: EnumerationName -> EnumerationName -> Bool # (>) :: EnumerationName -> EnumerationName -> Bool # (>=) :: EnumerationName -> EnumerationName -> Bool # max :: EnumerationName -> EnumerationName -> EnumerationName # min :: EnumerationName -> EnumerationName -> EnumerationName #
Show EnumerationName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> EnumerationName -> ShowS # show :: EnumerationName -> String # showList :: [EnumerationName] -> ShowS #
Generic EnumerationName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep EnumerationName :: Type -> Type # Methods from :: EnumerationName -> Rep EnumerationName x # to :: Rep EnumerationName x -> EnumerationName #
NFData EnumerationName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: EnumerationName -> () #
Diffable Enumerations Source #
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Enumerations -> Enumerations -> Diff Source #
type Rep EnumerationName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep EnumerationName = D1 ('MetaData "EnumerationName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "EnumerationName" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Enumeration Source #

Constructors

Enumeration
Fields enumValues :: [Text]

Instances

Instances details

Eq Enumeration Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: Enumeration -> Enumeration -> Bool # (/=) :: Enumeration -> Enumeration -> Bool #
Ord Enumeration Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: Enumeration -> Enumeration -> Ordering # (<) :: Enumeration -> Enumeration -> Bool # (<=) :: Enumeration -> Enumeration -> Bool # (>) :: Enumeration -> Enumeration -> Bool # (>=) :: Enumeration -> Enumeration -> Bool # max :: Enumeration -> Enumeration -> Enumeration # min :: Enumeration -> Enumeration -> Enumeration #
Show Enumeration Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> Enumeration -> ShowS # show :: Enumeration -> String # showList :: [Enumeration] -> ShowS #
Generic Enumeration Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep Enumeration :: Type -> Type # Methods from :: Enumeration -> Rep Enumeration x # to :: Rep Enumeration x -> Enumeration #
NFData Enumeration Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: Enumeration -> () #
Diffable Enumerations Source #
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Enumerations -> Enumerations -> Diff Source #
type Rep Enumeration Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep Enumeration = D1 ('MetaData "Enumeration" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "Enumeration" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

type Sequences = Map SequenceName Sequence Source #

newtype SequenceName Source #

Constructors

SequenceName
Fields seqName :: Text

Instances

Instances details

Eq SequenceName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: SequenceName -> SequenceName -> Bool # (/=) :: SequenceName -> SequenceName -> Bool #
Ord SequenceName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: SequenceName -> SequenceName -> Ordering # (<) :: SequenceName -> SequenceName -> Bool # (<=) :: SequenceName -> SequenceName -> Bool # (>) :: SequenceName -> SequenceName -> Bool # (>=) :: SequenceName -> SequenceName -> Bool # max :: SequenceName -> SequenceName -> SequenceName # min :: SequenceName -> SequenceName -> SequenceName #
Show SequenceName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> SequenceName -> ShowS # show :: SequenceName -> String # showList :: [SequenceName] -> ShowS #
Generic SequenceName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep SequenceName :: Type -> Type # Methods from :: SequenceName -> Rep SequenceName x # to :: Rep SequenceName x -> SequenceName #
NFData SequenceName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: SequenceName -> () #
Diffable Sequences Source #
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Sequences -> Sequences -> Diff Source #
type Rep SequenceName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep SequenceName = D1 ('MetaData "SequenceName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "SequenceName" 'PrefixI 'True) (S1 ('MetaSel ('Just "seqName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Sequence Source #

Constructors

Sequence
Fields seqTable :: TableName seqColumn :: ColumnName

Instances

Instances details

Eq Sequence Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: Sequence -> Sequence -> Bool # (/=) :: Sequence -> Sequence -> Bool #
Ord Sequence Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: Sequence -> Sequence -> Ordering # (<) :: Sequence -> Sequence -> Bool # (<=) :: Sequence -> Sequence -> Bool # (>) :: Sequence -> Sequence -> Bool # (>=) :: Sequence -> Sequence -> Bool # max :: Sequence -> Sequence -> Sequence # min :: Sequence -> Sequence -> Sequence #
Show Sequence Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> Sequence -> ShowS # show :: Sequence -> String # showList :: [Sequence] -> ShowS #
Generic Sequence Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep Sequence :: Type -> Type # Methods from :: Sequence -> Rep Sequence x # to :: Rep Sequence x -> Sequence #
NFData Sequence Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: Sequence -> () #
Diffable Sequences Source #
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Sequences -> Sequences -> Diff Source #
type Rep Sequence Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep Sequence = D1 ('MetaData "Sequence" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "Sequence" 'PrefixI 'True) (S1 ('MetaSel ('Just "seqTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableName) :*: S1 ('MetaSel ('Just "seqColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnName)))

mkSequenceName :: TableName -> ColumnName -> SequenceName Source #

parseSequenceName :: SequenceName -> Maybe (TableName, ColumnName) Source #

type Tables = Map TableName Table Source #

newtype TableName Source #

Constructors

TableName
Fields tableName :: Text

Instances

Instances details

Eq TableName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: TableName -> TableName -> Bool # (/=) :: TableName -> TableName -> Bool #
Ord TableName Source #
Instance details Defined in Database.Beam.AutoMigrate.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 Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> TableName -> ShowS # show :: TableName -> String # showList :: [TableName] -> ShowS #
IsString TableName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods fromString :: String -> TableName #
Generic TableName Source #
Instance details Defined in Database.Beam.AutoMigrate.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 Database.Beam.AutoMigrate.Types Methods rnf :: TableName -> () #
FromField TableName Source #
Instance details Defined in Database.Beam.AutoMigrate.Postgres Methods fromField :: FieldParser TableName #
Diffable Tables Source #
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Tables -> Tables -> Diff Source #
type Rep TableName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep TableName = D1 ('MetaData "TableName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "TableName" 'PrefixI 'True) (S1 ('MetaSel ('Just "tableName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Table Source #

Constructors

Table
Fields tableConstraints :: Set TableConstraint tableColumns :: Columns

Instances

Instances details

Eq Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: Table -> Table -> Bool # (/=) :: Table -> Table -> Bool #
Show Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> Table -> ShowS # show :: Table -> String # showList :: [Table] -> ShowS #
Generic Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep Table :: Type -> Type # Methods from :: Table -> Rep Table x # to :: Rep Table x -> Table #
Semigroup Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (<>) :: Table -> Table -> Table # sconcat :: NonEmpty Table -> Table # stimes :: Integral b => b -> Table -> Table #
Monoid Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods mempty :: Table # mappend :: Table -> Table -> Table # mconcat :: [Table] -> Table #
NFData Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: Table -> () #
Diffable Tables Source #
Instance details Defined in Database.Beam.AutoMigrate.Diff Methods diff :: Tables -> Tables -> Diff Source #
type Rep Table Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep Table = D1 ('MetaData "Table" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "Table" 'PrefixI 'True) (S1 ('MetaSel ('Just "tableConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TableConstraint)) :*: S1 ('MetaSel ('Just "tableColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Columns)))

type Columns = Map ColumnName Column Source #

newtype ColumnName Source #

Constructors

ColumnName
Fields columnName :: Text

Instances

Instances details

Eq ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: ColumnName -> ColumnName -> Bool # (/=) :: ColumnName -> ColumnName -> Bool #
Ord ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: ColumnName -> ColumnName -> Ordering # (<) :: ColumnName -> ColumnName -> Bool # (<=) :: ColumnName -> ColumnName -> Bool # (>) :: ColumnName -> ColumnName -> Bool # (>=) :: ColumnName -> ColumnName -> Bool # max :: ColumnName -> ColumnName -> ColumnName # min :: ColumnName -> ColumnName -> ColumnName #
Show ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> ColumnName -> ShowS # show :: ColumnName -> String # showList :: [ColumnName] -> ShowS #
IsString ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods fromString :: String -> ColumnName #
Generic ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep ColumnName :: Type -> Type # Methods from :: ColumnName -> Rep ColumnName x # to :: Rep ColumnName x -> ColumnName #
NFData ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: ColumnName -> () #
FromField ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Postgres Methods fromField :: FieldParser ColumnName #
type Rep ColumnName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep ColumnName = D1 ('MetaData "ColumnName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "ColumnName" 'PrefixI 'True) (S1 ('MetaSel ('Just "columnName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Column Source #

Constructors

Column
Fields columnType :: ColumnType columnConstraints :: Set ColumnConstraint

Instances

Instances details

Eq Column Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: Column -> Column -> Bool # (/=) :: Column -> Column -> Bool #
Show Column Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> Column -> ShowS # show :: Column -> String # showList :: [Column] -> ShowS #
Generic Column Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep Column :: Type -> Type # Methods from :: Column -> Rep Column x # to :: Rep Column x -> Column #
NFData Column Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: Column -> () #
type Rep Column Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep Column = D1 ('MetaData "Column" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "Column" 'PrefixI 'True) (S1 ('MetaSel ('Just "columnType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnType) :*: S1 ('MetaSel ('Just "columnConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ColumnConstraint))))

data ColumnType Source #

Basic types for columns. We piggyback on 'beam-core' SQL types for now. Albeit they are a bit more specialised (i.e, SQL specific), we are less subject from their and our representation to diverge.

Constructors

SqlStdType DataType	Standard SQL types.
PgSpecificType PgDataType	Postgres specific types.
DbEnumeration EnumerationName Enumeration	An enumeration implemented with text-based encoding.
SqlArrayType ColumnType Word	Array type.

Instances

Instances details

Eq ColumnType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: ColumnType -> ColumnType -> Bool # (/=) :: ColumnType -> ColumnType -> Bool #
Show ColumnType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> ColumnType -> ShowS # show :: ColumnType -> String # showList :: [ColumnType] -> ShowS #
Generic ColumnType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep ColumnType :: Type -> Type # Methods from :: ColumnType -> Rep ColumnType x # to :: Rep ColumnType x -> ColumnType #
type Rep ColumnType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep ColumnType = D1 ('MetaData "ColumnType" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) ((C1 ('MetaCons "SqlStdType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataType)) :+: C1 ('MetaCons "PgSpecificType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgDataType))) :+: (C1 ('MetaCons "DbEnumeration" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EnumerationName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Enumeration)) :+: C1 ('MetaCons "SqlArrayType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word))))

data PgDataType Source #

Constructors

PgJson
PgJsonB
PgRangeInt4
PgRangeInt8
PgRangeNum
PgRangeTs
PgRangeTsTz
PgRangeDate
PgUuid
PgEnumeration EnumerationName
PgOid
PgLTree
PgVector (Maybe Natural)

Instances

Instances details

Eq PgDataType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: PgDataType -> PgDataType -> Bool # (/=) :: PgDataType -> PgDataType -> Bool #
Show PgDataType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> PgDataType -> ShowS # show :: PgDataType -> String # showList :: [PgDataType] -> ShowS #
Generic PgDataType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep PgDataType :: Type -> Type # Methods from :: PgDataType -> Rep PgDataType x # to :: Rep PgDataType x -> PgDataType #
type Rep PgDataType Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep PgDataType = D1 ('MetaData "PgDataType" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (((C1 ('MetaCons "PgJson" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PgJsonB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PgRangeInt4" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PgRangeInt8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PgRangeNum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PgRangeTs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PgRangeTsTz" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PgRangeDate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PgUuid" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PgEnumeration" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EnumerationName)) :+: C1 ('MetaCons "PgOid" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PgLTree" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PgVector" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural)))))))

newtype ExtensionTypeName Source #

Constructors

ExtensionTypeName
Fields extensionTypeName :: Text

Instances

Instances details

Eq ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: ExtensionTypeName -> ExtensionTypeName -> Bool # (/=) :: ExtensionTypeName -> ExtensionTypeName -> Bool #
Ord ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: ExtensionTypeName -> ExtensionTypeName -> Ordering # (<) :: ExtensionTypeName -> ExtensionTypeName -> Bool # (<=) :: ExtensionTypeName -> ExtensionTypeName -> Bool # (>) :: ExtensionTypeName -> ExtensionTypeName -> Bool # (>=) :: ExtensionTypeName -> ExtensionTypeName -> Bool # max :: ExtensionTypeName -> ExtensionTypeName -> ExtensionTypeName # min :: ExtensionTypeName -> ExtensionTypeName -> ExtensionTypeName #
Show ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> ExtensionTypeName -> ShowS # show :: ExtensionTypeName -> String # showList :: [ExtensionTypeName] -> ShowS #
IsString ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods fromString :: String -> ExtensionTypeName #
Generic ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep ExtensionTypeName :: Type -> Type # Methods from :: ExtensionTypeName -> Rep ExtensionTypeName x # to :: Rep ExtensionTypeName x -> ExtensionTypeName #
NFData ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: ExtensionTypeName -> () #
type Rep ExtensionTypeName Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep ExtensionTypeName = D1 ('MetaData "ExtensionTypeName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "ExtensionTypeName" 'PrefixI 'True) (S1 ('MetaSel ('Just "extensionTypeName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype PgEnum a Source #

Constructors

PgEnum a

Instances

Instances details

Bounded a => Bounded (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods minBound :: PgEnum a # maxBound :: PgEnum a #
Enum a => Enum (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods succ :: PgEnum a -> PgEnum a # pred :: PgEnum a -> PgEnum a # toEnum :: Int -> PgEnum a # fromEnum :: PgEnum a -> Int # enumFrom :: PgEnum a -> [PgEnum a] # enumFromThen :: PgEnum a -> PgEnum a -> [PgEnum a] # enumFromTo :: PgEnum a -> PgEnum a -> [PgEnum a] # enumFromThenTo :: PgEnum a -> PgEnum a -> PgEnum a -> [PgEnum a] #
Eq a => Eq (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: PgEnum a -> PgEnum a -> Bool # (/=) :: PgEnum a -> PgEnum a -> Bool #
Show a => Show (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> PgEnum a -> ShowS # show :: PgEnum a -> String # showList :: [PgEnum a] -> ShowS #
Generic (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep (PgEnum a) :: Type -> Type # Methods from :: PgEnum a -> Rep (PgEnum a) x # to :: Rep (PgEnum a) x -> PgEnum a #
(Show a, Typeable a, Enum a, Bounded a) => HasColumnType (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Compat Methods defaultColumnType :: Proxy (PgEnum a) -> ColumnType Source # defaultTypeCast :: Proxy (PgEnum a) -> Maybe Text Source # defaultEnums :: Proxy (PgEnum a) -> Enumerations Source #
type Rep (PgEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep (PgEnum a) = D1 ('MetaData "PgEnum" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "PgEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype DbEnum a Source #

Constructors

DbEnum a

Instances

Instances details

Bounded a => Bounded (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods minBound :: DbEnum a # maxBound :: DbEnum a #
Enum a => Enum (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods succ :: DbEnum a -> DbEnum a # pred :: DbEnum a -> DbEnum a # toEnum :: Int -> DbEnum a # fromEnum :: DbEnum a -> Int # enumFrom :: DbEnum a -> [DbEnum a] # enumFromThen :: DbEnum a -> DbEnum a -> [DbEnum a] # enumFromTo :: DbEnum a -> DbEnum a -> [DbEnum a] # enumFromThenTo :: DbEnum a -> DbEnum a -> DbEnum a -> [DbEnum a] #
Eq a => Eq (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: DbEnum a -> DbEnum a -> Bool # (/=) :: DbEnum a -> DbEnum a -> Bool #
Show a => Show (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> DbEnum a -> ShowS # show :: DbEnum a -> String # showList :: [DbEnum a] -> ShowS #
Generic (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep (DbEnum a) :: Type -> Type # Methods from :: DbEnum a -> Rep (DbEnum a) x # to :: Rep (DbEnum a) x -> DbEnum a #
(Show a, Typeable a, Enum a, Bounded a) => HasColumnType (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Compat Methods defaultColumnType :: Proxy (DbEnum a) -> ColumnType Source # defaultTypeCast :: Proxy (DbEnum a) -> Maybe Text Source # defaultEnums :: Proxy (DbEnum a) -> Enumerations Source #
type Rep (DbEnum a) Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep (DbEnum a) = D1 ('MetaData "DbEnum" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'True) (C1 ('MetaCons "DbEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type ConstraintName = Text Source #

data TableConstraint Source #

Constructors

PrimaryKey ConstraintName (Set ColumnName)	This set of `Column`s identifies the Table's `PrimaryKey`.
ForeignKey ConstraintName TableName (Set (ColumnName, ColumnName)) ReferenceAction ReferenceAction	This set of `Column`s identifies a Table's `ForeignKey`. This is usually found in the `tableConstraints` of the table where the foreign key is actually defined (in terms of `REFERENCES`). The set stores a (fk_column, pk_column) correspondence.
Unique ConstraintName (Set ColumnName)

Instances

Instances details

Eq TableConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: TableConstraint -> TableConstraint -> Bool # (/=) :: TableConstraint -> TableConstraint -> Bool #
Ord TableConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: TableConstraint -> TableConstraint -> Ordering # (<) :: TableConstraint -> TableConstraint -> Bool # (<=) :: TableConstraint -> TableConstraint -> Bool # (>) :: TableConstraint -> TableConstraint -> Bool # (>=) :: TableConstraint -> TableConstraint -> Bool # max :: TableConstraint -> TableConstraint -> TableConstraint # min :: TableConstraint -> TableConstraint -> TableConstraint #
Show TableConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> TableConstraint -> ShowS # show :: TableConstraint -> String # showList :: [TableConstraint] -> ShowS #
Generic TableConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep TableConstraint :: Type -> Type # Methods from :: TableConstraint -> Rep TableConstraint x # to :: Rep TableConstraint x -> TableConstraint #
NFData TableConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: TableConstraint -> () #
type Rep TableConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep TableConstraint = D1 ('MetaData "TableConstraint" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "PrimaryKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstraintName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ColumnName))) :+: (C1 ('MetaCons "ForeignKey" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstraintName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableName)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (ColumnName, ColumnName))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReferenceAction) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReferenceAction)))) :+: C1 ('MetaCons "Unique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstraintName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ColumnName)))))

data ColumnConstraint Source #

Constructors

NotNull
Default Text

Instances

Instances details

Eq ColumnConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: ColumnConstraint -> ColumnConstraint -> Bool # (/=) :: ColumnConstraint -> ColumnConstraint -> Bool #
Ord ColumnConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: ColumnConstraint -> ColumnConstraint -> Ordering # (<) :: ColumnConstraint -> ColumnConstraint -> Bool # (<=) :: ColumnConstraint -> ColumnConstraint -> Bool # (>) :: ColumnConstraint -> ColumnConstraint -> Bool # (>=) :: ColumnConstraint -> ColumnConstraint -> Bool # max :: ColumnConstraint -> ColumnConstraint -> ColumnConstraint # min :: ColumnConstraint -> ColumnConstraint -> ColumnConstraint #
Show ColumnConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> ColumnConstraint -> ShowS # show :: ColumnConstraint -> String # showList :: [ColumnConstraint] -> ShowS #
Generic ColumnConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep ColumnConstraint :: Type -> Type # Methods from :: ColumnConstraint -> Rep ColumnConstraint x # to :: Rep ColumnConstraint x -> ColumnConstraint #
NFData ColumnConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: ColumnConstraint -> () #
type Rep ColumnConstraint Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep ColumnConstraint = D1 ('MetaData "ColumnConstraint" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "NotNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Default" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ReferenceAction Source #

Constructors

NoAction
Restrict
Cascade
SetNull
SetDefault

Instances

Instances details

Eq ReferenceAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: ReferenceAction -> ReferenceAction -> Bool # (/=) :: ReferenceAction -> ReferenceAction -> Bool #
Ord ReferenceAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: ReferenceAction -> ReferenceAction -> Ordering # (<) :: ReferenceAction -> ReferenceAction -> Bool # (<=) :: ReferenceAction -> ReferenceAction -> Bool # (>) :: ReferenceAction -> ReferenceAction -> Bool # (>=) :: ReferenceAction -> ReferenceAction -> Bool # max :: ReferenceAction -> ReferenceAction -> ReferenceAction # min :: ReferenceAction -> ReferenceAction -> ReferenceAction #
Show ReferenceAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> ReferenceAction -> ShowS # show :: ReferenceAction -> String # showList :: [ReferenceAction] -> ShowS #
Generic ReferenceAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep ReferenceAction :: Type -> Type # Methods from :: ReferenceAction -> Rep ReferenceAction x # to :: Rep ReferenceAction x -> ReferenceAction #
NFData ReferenceAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: ReferenceAction -> () #
type Rep ReferenceAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep ReferenceAction = D1 ('MetaData "ReferenceAction" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) ((C1 ('MetaCons "NoAction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Restrict" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Cascade" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SetNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SetDefault" 'PrefixI 'False) (U1 :: Type -> Type))))

data EditAction Source #

A possible list of edits on a Schema.

Constructors

EditAction_Manual ManualEditAction
EditAction_Automatic AutomaticEditAction

Instances

Instances details

Eq EditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: EditAction -> EditAction -> Bool # (/=) :: EditAction -> EditAction -> Bool #
Show EditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> EditAction -> ShowS # show :: EditAction -> String # showList :: [EditAction] -> ShowS #
NFData EditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: EditAction -> () #

data ManualEditAction Source #

Constructors

ColumnRenamed TableName ColumnName ColumnName

Instances

Instances details

Eq ManualEditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: ManualEditAction -> ManualEditAction -> Bool # (/=) :: ManualEditAction -> ManualEditAction -> Bool #
Show ManualEditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> ManualEditAction -> ShowS # show :: ManualEditAction -> String # showList :: [ManualEditAction] -> ShowS #
NFData ManualEditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: ManualEditAction -> () #

data AutomaticEditAction Source #

Instances

Instances details

Eq AutomaticEditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: AutomaticEditAction -> AutomaticEditAction -> Bool # (/=) :: AutomaticEditAction -> AutomaticEditAction -> Bool #
Show AutomaticEditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> AutomaticEditAction -> ShowS # show :: AutomaticEditAction -> String # showList :: [AutomaticEditAction] -> ShowS #
NFData AutomaticEditAction Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: AutomaticEditAction -> () #

data EditSafety Source #

Safety rating for a given edit.

Safety is defined as some EditAction that might cause data loss.

Constructors

Safe
PotentiallySlow
Unsafe

Instances

Instances details

Eq EditSafety Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: EditSafety -> EditSafety -> Bool # (/=) :: EditSafety -> EditSafety -> Bool #
Ord EditSafety Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods compare :: EditSafety -> EditSafety -> Ordering # (<) :: EditSafety -> EditSafety -> Bool # (<=) :: EditSafety -> EditSafety -> Bool # (>) :: EditSafety -> EditSafety -> Bool # (>=) :: EditSafety -> EditSafety -> Bool # max :: EditSafety -> EditSafety -> EditSafety # min :: EditSafety -> EditSafety -> EditSafety #
Show EditSafety Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> EditSafety -> ShowS # show :: EditSafety -> String # showList :: [EditSafety] -> ShowS #

defaultEditSafety :: AutomaticEditAction -> EditSafety Source #

data EditCondition Source #

Constructors

EditCondition
Fields _editCondition_query :: BeamSqlBackendSyntax Postgres _editCondition_check :: Pg EditSafety

Instances

Instances details

Eq EditCondition Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: EditCondition -> EditCondition -> Bool # (/=) :: EditCondition -> EditCondition -> Bool #
Show EditCondition Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> EditCondition -> ShowS # show :: EditCondition -> String # showList :: [EditCondition] -> ShowS #

prettyEditConditionQuery :: EditCondition -> ByteString Source #

data Edit Source #

Constructors

Edit
Fields _editAction :: EditAction _editCondition :: Either EditCondition EditSafety

Instances

Instances details

Eq Edit Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: Edit -> Edit -> Bool # (/=) :: Edit -> Edit -> Bool #
Show Edit Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> Edit -> ShowS # show :: Edit -> String # showList :: [Edit] -> ShowS #

editAction :: Lens' Edit EditAction Source #

editCondition :: Lens' Edit (Either EditCondition EditSafety) Source #

editSafetyIs :: EditSafety -> Edit -> Bool Source #

mkEditWith :: (AutomaticEditAction -> EditSafety) -> AutomaticEditAction -> Edit Source #

defMkEdit :: AutomaticEditAction -> Edit Source #

data InsertionOrder Source #

Constructors

Before
After

Instances

Instances details

Eq InsertionOrder Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: InsertionOrder -> InsertionOrder -> Bool # (/=) :: InsertionOrder -> InsertionOrder -> Bool #
Show InsertionOrder Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> InsertionOrder -> ShowS # show :: InsertionOrder -> String # showList :: [InsertionOrder] -> ShowS #
Generic InsertionOrder Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep InsertionOrder :: Type -> Type # Methods from :: InsertionOrder -> Rep InsertionOrder x # to :: Rep InsertionOrder x -> InsertionOrder #
NFData InsertionOrder Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: InsertionOrder -> () #
type Rep InsertionOrder Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep InsertionOrder = D1 ('MetaData "InsertionOrder" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "Before" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "After" 'PrefixI 'False) (U1 :: Type -> Type))

data DiffError Source #

A possible enumerations of the reasons why a diff operation might not work.

Constructors

AutomaticDiffNotPossible	The diff couldn't be completed. TODO(adn) We need extra information we can later on reify into the raw SQL queries users can try to run themselves.
ValuesRemovedFromEnum EnumerationName [Text]	Postgres doesn't support removing values from an enum.

Instances

Instances details

Eq DiffError Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods (==) :: DiffError -> DiffError -> Bool # (/=) :: DiffError -> DiffError -> Bool #
Show DiffError Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods showsPrec :: Int -> DiffError -> ShowS # show :: DiffError -> String # showList :: [DiffError] -> ShowS #
Generic DiffError Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Associated Types type Rep DiffError :: Type -> Type # Methods from :: DiffError -> Rep DiffError x # to :: Rep DiffError x -> DiffError #
Exception DiffError Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods toException :: DiffError -> SomeException # fromException :: SomeException -> Maybe DiffError # displayException :: DiffError -> String #
NFData DiffError Source #
Instance details Defined in Database.Beam.AutoMigrate.Types Methods rnf :: DiffError -> () #
type Rep DiffError Source #
Instance details Defined in Database.Beam.AutoMigrate.Types type Rep DiffError = D1 ('MetaData "DiffError" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.6.0-inplace" 'False) (C1 ('MetaCons "AutomaticDiffNotPossible" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ValuesRemovedFromEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EnumerationName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

noSchema :: Schema Source #

noTableConstraints :: Set TableConstraint Source #

noColumnConstraints :: Set ColumnConstraint Source #

TableAdded TableName Table
TableRemoved TableName
TableConstraintAdded TableName TableConstraint
TableConstraintRemoved TableName TableConstraint
ColumnAdded TableName ColumnName Column
ColumnRemoved TableName ColumnName
ColumnTypeChanged TableName ColumnName ColumnType ColumnType
ColumnConstraintAdded TableName ColumnName ColumnConstraint
ColumnConstraintRemoved TableName ColumnName ColumnConstraint
EnumTypeAdded EnumerationName Enumeration
EnumTypeRemoved EnumerationName
EnumTypeValueAdded EnumerationName Text InsertionOrder Text
SequenceAdded SequenceName Sequence
SequenceRemoved SequenceName