Database.Beam.AutoMigrate.Types

Documentation

data Schema

Constructors

Schema

Fields

• schemaTables :: Tables
• schemaEnumerations :: Enumerations
• schemaSequences :: Sequences

Instances

Eq Schema

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: Schema -> Schema -> Bool

(/=) :: Schema -> Schema -> Bool

Show Schema

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

Generic Schema

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

Defined in Database.Beam.AutoMigrate.Schema.Gen

Methods

arbitrary :: Gen Schema

shrink :: Schema -> [Schema]

NFData Schema

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: Schema -> ()

Diffable Schema

Computes the diff between two Schemas, either failing with a DiffError or returning the list of Edits necessary to turn the first into the second.

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Schema -> Schema -> Diff

type Rep Schema

Defined in Database.Beam.AutoMigrate.Types

type Rep Schema = D1 (MetaData "Schema" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

newtype EnumerationName

Constructors

EnumerationName

Fields

• enumName :: Text

Instances

Eq EnumerationName

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: EnumerationName -> EnumerationName -> Bool

(/=) :: EnumerationName -> EnumerationName -> Bool

Ord EnumerationName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> EnumerationName -> ShowS

show :: EnumerationName -> String

showList :: [EnumerationName] -> ShowS

Generic EnumerationName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: EnumerationName -> ()

Diffable Enumerations

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Enumerations -> Enumerations -> Diff

type Rep EnumerationName

Defined in Database.Beam.AutoMigrate.Types

type Rep EnumerationName = D1 (MetaData "EnumerationName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "EnumerationName" PrefixI True) (S1 (MetaSel (Just "enumName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

newtype Enumeration

Constructors

Enumeration

Fields

• enumValues :: [Text]

Instances

Eq Enumeration

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: Enumeration -> Enumeration -> Bool

(/=) :: Enumeration -> Enumeration -> Bool

Ord Enumeration

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> Enumeration -> ShowS

show :: Enumeration -> String

showList :: [Enumeration] -> ShowS

Generic Enumeration

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: Enumeration -> ()

Diffable Enumerations

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Enumerations -> Enumerations -> Diff

type Rep Enumeration

Defined in Database.Beam.AutoMigrate.Types

type Rep Enumeration = D1 (MetaData "Enumeration" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "Enumeration" PrefixI True) (S1 (MetaSel (Just "enumValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])))

type Sequences = Map SequenceName Sequence

newtype SequenceName

Constructors

SequenceName

Fields

• seqName :: Text

Instances

Eq SequenceName

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: SequenceName -> SequenceName -> Bool

(/=) :: SequenceName -> SequenceName -> Bool

Ord SequenceName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> SequenceName -> ShowS

show :: SequenceName -> String

showList :: [SequenceName] -> ShowS

Generic SequenceName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: SequenceName -> ()

Diffable Sequences

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Sequences -> Sequences -> Diff

type Rep SequenceName

Defined in Database.Beam.AutoMigrate.Types

type Rep SequenceName = D1 (MetaData "SequenceName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "SequenceName" PrefixI True) (S1 (MetaSel (Just "seqName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data Sequence

Constructors

Sequence

Fields

• seqTable :: TableName
• seqColumn :: ColumnName

Instances

Eq Sequence

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: Sequence -> Sequence -> Bool

(/=) :: Sequence -> Sequence -> Bool

Ord Sequence

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> Sequence -> ShowS

show :: Sequence -> String

showList :: [Sequence] -> ShowS

Generic Sequence

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: Sequence -> ()

Diffable Sequences

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Sequences -> Sequences -> Diff

type Rep Sequence

Defined in Database.Beam.AutoMigrate.Types

type Rep Sequence = D1 (MetaData "Sequence" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

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

type Tables = Map TableName Table

newtype TableName

Constructors

TableName

Fields

• tableName :: Text

Instances

Eq TableName

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: TableName -> TableName -> Bool

(/=) :: TableName -> TableName -> Bool

Ord TableName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> TableName -> ShowS

show :: TableName -> String

showList :: [TableName] -> ShowS

Generic TableName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: TableName -> ()

FromField TableName

Defined in Database.Beam.AutoMigrate.Postgres

Methods

fromField :: FieldParser TableName

Diffable Tables

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Tables -> Tables -> Diff

type Rep TableName

Defined in Database.Beam.AutoMigrate.Types

type Rep TableName = D1 (MetaData "TableName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "TableName" PrefixI True) (S1 (MetaSel (Just "tableName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data Table

Constructors

Table

Fields

• tableConstraints :: Set TableConstraint
• tableColumns :: Columns

Instances

Eq Table

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: Table -> Table -> Bool

(/=) :: Table -> Table -> Bool

Show Table

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> Table -> ShowS

show :: Table -> String

showList :: [Table] -> ShowS

Generic Table

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

Defined in Database.Beam.AutoMigrate.Types

Methods

(<>) :: Table -> Table -> Table

sconcat :: NonEmpty Table -> Table

stimes :: Integral b => b -> Table -> Table

Monoid Table

Defined in Database.Beam.AutoMigrate.Types

Methods

mempty :: Table

mappend :: Table -> Table -> Table

mconcat :: [Table] -> Table

NFData Table

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: Table -> ()

Diffable Tables

Defined in Database.Beam.AutoMigrate.Diff

Methods

diff :: Tables -> Tables -> Diff

type Rep Table

Defined in Database.Beam.AutoMigrate.Types

type Rep Table = D1 (MetaData "Table" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

newtype ColumnName

Constructors

ColumnName

Fields

• columnName :: Text

Instances

Eq ColumnName

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: ColumnName -> ColumnName -> Bool

(/=) :: ColumnName -> ColumnName -> Bool

Ord ColumnName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> ColumnName -> ShowS

show :: ColumnName -> String

showList :: [ColumnName] -> ShowS

IsString ColumnName

Defined in Database.Beam.AutoMigrate.Types

Methods

fromString :: String -> ColumnName

Generic ColumnName

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: ColumnName -> ()

FromField ColumnName

Defined in Database.Beam.AutoMigrate.Postgres

Methods

fromField :: FieldParser ColumnName

type Rep ColumnName

Defined in Database.Beam.AutoMigrate.Types

type Rep ColumnName = D1 (MetaData "ColumnName" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "ColumnName" PrefixI True) (S1 (MetaSel (Just "columnName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data Column

Constructors

Column

Fields

• columnType :: ColumnType
• columnConstraints :: Set ColumnConstraint

Instances

Eq Column

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: Column -> Column -> Bool

(/=) :: Column -> Column -> Bool

Show Column

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> Column -> ShowS

show :: Column -> String

showList :: [Column] -> ShowS

Generic Column

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: Column -> ()

type Rep Column

Defined in Database.Beam.AutoMigrate.Types

type Rep Column = D1 (MetaData "Column" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

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.

Instances

Eq ColumnType

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: ColumnType -> ColumnType -> Bool

(/=) :: ColumnType -> ColumnType -> Bool

Show ColumnType

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> ColumnType -> ShowS

show :: ColumnType -> String

showList :: [ColumnType] -> ShowS

Generic ColumnType

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

Defined in Database.Beam.AutoMigrate.Types

type Rep ColumnType = D1 (MetaData "ColumnType" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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))))

data PgDataType

Constructors

PgJson

PgJsonB

PgRangeInt4

PgRangeInt8

PgRangeNum

PgRangeTs

PgRangeTsTz

PgRangeDate

PgUuid

PgEnumeration EnumerationName

Instances

Eq PgDataType

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: PgDataType -> PgDataType -> Bool

(/=) :: PgDataType -> PgDataType -> Bool

Show PgDataType

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> PgDataType -> ShowS

show :: PgDataType -> String

showList :: [PgDataType] -> ShowS

Generic PgDataType

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

Defined in Database.Beam.AutoMigrate.Types

type Rep PgDataType = D1 (MetaData "PgDataType" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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))))))

newtype PgEnum a

Constructors

PgEnum a

Instances

Bounded a => Bounded (PgEnum a)

Defined in Database.Beam.AutoMigrate.Types

Methods

minBound :: PgEnum a

maxBound :: PgEnum a

Enum a => Enum (PgEnum a)

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)

Defined in Database.Beam.AutoMigrate.Types

Methods

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

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

Show a => Show (PgEnum a)

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> PgEnum a -> ShowS

show :: PgEnum a -> String

showList :: [PgEnum a] -> ShowS

Generic (PgEnum a)

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)

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgEnum a) -> ColumnType

defaultTypeCast :: Proxy (PgEnum a) -> Maybe Text

defaultEnums :: Proxy (PgEnum a) -> Enumerations

type Rep (PgEnum a)

Defined in Database.Beam.AutoMigrate.Types

type Rep (PgEnum a) = D1 (MetaData "PgEnum" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "PgEnum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype DbEnum a

Constructors

DbEnum a

Instances

Bounded a => Bounded (DbEnum a)

Defined in Database.Beam.AutoMigrate.Types

Methods

minBound :: DbEnum a

maxBound :: DbEnum a

Enum a => Enum (DbEnum a)

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)

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: DbEnum a -> DbEnum a -> Bool

(/=) :: DbEnum a -> DbEnum a -> Bool

Show a => Show (DbEnum a)

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> DbEnum a -> ShowS

show :: DbEnum a -> String

showList :: [DbEnum a] -> ShowS

Generic (DbEnum a)

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)

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (DbEnum a) -> ColumnType

defaultTypeCast :: Proxy (DbEnum a) -> Maybe Text

defaultEnums :: Proxy (DbEnum a) -> Enumerations

type Rep (DbEnum a)

Defined in Database.Beam.AutoMigrate.Types

type Rep (DbEnum a) = D1 (MetaData "DbEnum" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" True) (C1 (MetaCons "DbEnum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type ConstraintName = Text

data TableConstraint

Constructors

PrimaryKey ConstraintName (Set ColumnName)

This set of Columns identifies the Table's PrimaryKey.

ForeignKey ConstraintName TableName (Set (ColumnName, ColumnName)) ReferenceAction ReferenceAction

This set of Columns 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

Eq TableConstraint

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: TableConstraint -> TableConstraint -> Bool

(/=) :: TableConstraint -> TableConstraint -> Bool

Ord TableConstraint

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> TableConstraint -> ShowS

show :: TableConstraint -> String

showList :: [TableConstraint] -> ShowS

Generic TableConstraint

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: TableConstraint -> ()

type Rep TableConstraint

Defined in Database.Beam.AutoMigrate.Types

type Rep TableConstraint = D1 (MetaData "TableConstraint" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

Constructors

NotNull

Default Text

Instances

Eq ColumnConstraint

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: ColumnConstraint -> ColumnConstraint -> Bool

(/=) :: ColumnConstraint -> ColumnConstraint -> Bool

Ord ColumnConstraint

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> ColumnConstraint -> ShowS

show :: ColumnConstraint -> String

showList :: [ColumnConstraint] -> ShowS

Generic ColumnConstraint

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: ColumnConstraint -> ()

type Rep ColumnConstraint

Defined in Database.Beam.AutoMigrate.Types

type Rep ColumnConstraint = D1 (MetaData "ColumnConstraint" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

Constructors

NoAction

Restrict

Cascade

SetNull

SetDefault

Instances

Eq ReferenceAction

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: ReferenceAction -> ReferenceAction -> Bool

(/=) :: ReferenceAction -> ReferenceAction -> Bool

Ord ReferenceAction

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> ReferenceAction -> ShowS

show :: ReferenceAction -> String

showList :: [ReferenceAction] -> ShowS

Generic ReferenceAction

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: ReferenceAction -> ()

type Rep ReferenceAction

Defined in Database.Beam.AutoMigrate.Types

type Rep ReferenceAction = D1 (MetaData "ReferenceAction" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

A possible list of edits on a Schema.

Constructors

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

Instances

Eq EditAction

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: EditAction -> EditAction -> Bool

(/=) :: EditAction -> EditAction -> Bool

Show EditAction

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> EditAction -> ShowS

show :: EditAction -> String

showList :: [EditAction] -> ShowS

NFData EditAction

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: EditAction -> ()

data EditSafety

Safety rating for a given edit.

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

Constructors

Safe

PotentiallySlow

Unsafe

Instances

Eq EditSafety

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: EditSafety -> EditSafety -> Bool

(/=) :: EditSafety -> EditSafety -> Bool

Ord EditSafety

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

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> EditSafety -> ShowS

show :: EditSafety -> String

showList :: [EditSafety] -> ShowS

defaultEditSafety :: EditAction -> EditSafety

data EditCondition

Constructors

EditCondition

Fields

• _editCondition_query :: BeamSqlBackendSyntax Postgres
• _editCondition_check :: Pg EditSafety

Instances

Eq EditCondition

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: EditCondition -> EditCondition -> Bool

(/=) :: EditCondition -> EditCondition -> Bool

Show EditCondition

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> EditCondition -> ShowS

show :: EditCondition -> String

showList :: [EditCondition] -> ShowS

prettyEditConditionQuery :: EditCondition -> ByteString

data Edit

Constructors

Edit

Fields

• _editAction :: EditAction
• _editCondition :: Either EditCondition EditSafety

Instances

Eq Edit

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: Edit -> Edit -> Bool

(/=) :: Edit -> Edit -> Bool

Show Edit

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> Edit -> ShowS

show :: Edit -> String

showList :: [Edit] -> ShowS

editAction :: Lens' Edit EditAction

editCondition :: Lens' Edit (Either EditCondition EditSafety)

editSafetyIs :: EditSafety -> Edit -> Bool

mkEditWith :: (EditAction -> EditSafety) -> EditAction -> Edit

defMkEdit :: EditAction -> Edit

data InsertionOrder

Constructors

Before

After

Instances

Eq InsertionOrder

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: InsertionOrder -> InsertionOrder -> Bool

(/=) :: InsertionOrder -> InsertionOrder -> Bool

Show InsertionOrder

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> InsertionOrder -> ShowS

show :: InsertionOrder -> String

showList :: [InsertionOrder] -> ShowS

Generic InsertionOrder

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

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: InsertionOrder -> ()

type Rep InsertionOrder

Defined in Database.Beam.AutoMigrate.Types

type Rep InsertionOrder = D1 (MetaData "InsertionOrder" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.0-inplace" False) (C1 (MetaCons "Before" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "After" PrefixI False) (U1 :: Type -> Type))

data DiffError

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

Eq DiffError

Defined in Database.Beam.AutoMigrate.Types

Methods

(==) :: DiffError -> DiffError -> Bool

(/=) :: DiffError -> DiffError -> Bool

Show DiffError

Defined in Database.Beam.AutoMigrate.Types

Methods

showsPrec :: Int -> DiffError -> ShowS

show :: DiffError -> String

showList :: [DiffError] -> ShowS

Generic DiffError

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

Defined in Database.Beam.AutoMigrate.Types

Methods

toException :: DiffError -> SomeException

fromException :: SomeException -> Maybe DiffError

displayException :: DiffError -> String

NFData DiffError

Defined in Database.Beam.AutoMigrate.Types

Methods

rnf :: DiffError -> ()

type Rep DiffError

Defined in Database.Beam.AutoMigrate.Types

type Rep DiffError = D1 (MetaData "DiffError" "Database.Beam.AutoMigrate.Types" "beam-automigrate-0.1.2.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

noTableConstraints :: Set TableConstraint

noColumnConstraints :: Set ColumnConstraint