beam-automigrate-0.1.6.0: DB migration library for beam, targeting Postgres.
Safe HaskellNone
LanguageHaskell2010

Database.Beam.AutoMigrate.Compat

Description

This is a module which adapts and simplifies certain things normally provided by "beam-migrate", but without the extra complication of importing and using the library itself.

Documentation

class HasColumnType ty where Source #

Minimal complete definition

defaultColumnType

Methods

defaultColumnType :: Proxy ty -> ColumnType Source #

Provide a ColumnType for the given type

defaultTypeCast :: Proxy ty -> Maybe Text Source #

defaultEnums :: Proxy ty -> Enumerations Source #

If ty maps to a DB ENUM, use this method to specify which one.

Instances

Instances details
HasColumnType Bool Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Bool -> ColumnType Source #

defaultTypeCast :: Proxy Bool -> Maybe Text Source #

defaultEnums :: Proxy Bool -> Enumerations Source #

HasColumnType Double Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Double -> ColumnType Source #

defaultTypeCast :: Proxy Double -> Maybe Text Source #

defaultEnums :: Proxy Double -> Enumerations Source #

HasColumnType Int Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Int -> ColumnType Source #

defaultTypeCast :: Proxy Int -> Maybe Text Source #

defaultEnums :: Proxy Int -> Enumerations Source #

HasColumnType Int16 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Int16 -> ColumnType Source #

defaultTypeCast :: Proxy Int16 -> Maybe Text Source #

defaultEnums :: Proxy Int16 -> Enumerations Source #

HasColumnType Int32 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Int32 -> ColumnType Source #

defaultTypeCast :: Proxy Int32 -> Maybe Text Source #

defaultEnums :: Proxy Int32 -> Enumerations Source #

HasColumnType Int64 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Int64 -> ColumnType Source #

defaultTypeCast :: Proxy Int64 -> Maybe Text Source #

defaultEnums :: Proxy Int64 -> Enumerations Source #

HasColumnType Word Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Word -> ColumnType Source #

defaultTypeCast :: Proxy Word -> Maybe Text Source #

defaultEnums :: Proxy Word -> Enumerations Source #

HasColumnType Word16 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Word16 -> ColumnType Source #

defaultTypeCast :: Proxy Word16 -> Maybe Text Source #

defaultEnums :: Proxy Word16 -> Enumerations Source #

HasColumnType Word32 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Word32 -> ColumnType Source #

defaultTypeCast :: Proxy Word32 -> Maybe Text Source #

defaultEnums :: Proxy Word32 -> Enumerations Source #

HasColumnType Word64 Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Word64 -> ColumnType Source #

defaultTypeCast :: Proxy Word64 -> Maybe Text Source #

defaultEnums :: Proxy Word64 -> Enumerations Source #

HasColumnType ByteString Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy ByteString -> ColumnType Source #

defaultTypeCast :: Proxy ByteString -> Maybe Text Source #

defaultEnums :: Proxy ByteString -> Enumerations Source #

HasColumnType Scientific Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Scientific -> ColumnType Source #

defaultTypeCast :: Proxy Scientific -> Maybe Text Source #

defaultEnums :: Proxy Scientific -> Enumerations Source #

HasColumnType UTCTime Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy UTCTime -> ColumnType Source #

defaultTypeCast :: Proxy UTCTime -> Maybe Text Source #

defaultEnums :: Proxy UTCTime -> Enumerations Source #

HasColumnType Text Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Text -> ColumnType Source #

defaultTypeCast :: Proxy Text -> Maybe Text Source #

defaultEnums :: Proxy Text -> Enumerations Source #

HasColumnType SqlBitString Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy SqlBitString -> ColumnType Source #

defaultTypeCast :: Proxy SqlBitString -> Maybe Text Source #

defaultEnums :: Proxy SqlBitString -> Enumerations Source #

HasColumnType Oid Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Oid -> ColumnType Source #

defaultTypeCast :: Proxy Oid -> Maybe Text Source #

defaultEnums :: Proxy Oid -> Enumerations Source #

HasColumnType LocalTime Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy LocalTime -> ColumnType Source #

defaultTypeCast :: Proxy LocalTime -> Maybe Text Source #

defaultEnums :: Proxy LocalTime -> Enumerations Source #

HasColumnType TimeOfDay Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy TimeOfDay -> ColumnType Source #

defaultTypeCast :: Proxy TimeOfDay -> Maybe Text Source #

defaultEnums :: Proxy TimeOfDay -> Enumerations Source #

HasColumnType Day Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy Day -> ColumnType Source #

defaultTypeCast :: Proxy Day -> Maybe Text Source #

defaultEnums :: Proxy Day -> Enumerations Source #

HasColumnType UUID Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy UUID -> ColumnType Source #

defaultTypeCast :: Proxy UUID -> Maybe Text Source #

defaultEnums :: Proxy UUID -> Enumerations Source #

HasColumnType ty => HasColumnType (Maybe ty) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (Maybe ty) -> ColumnType Source #

defaultTypeCast :: Proxy (Maybe ty) -> Maybe Text Source #

defaultEnums :: Proxy (Maybe ty) -> Enumerations Source #

(Integral ty, HasColumnType ty) => HasColumnType (SqlSerial ty) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (SqlSerial ty) -> ColumnType Source #

defaultTypeCast :: Proxy (SqlSerial ty) -> Maybe Text Source #

defaultEnums :: Proxy (SqlSerial ty) -> Enumerations Source #

(FromJSON a, ToJSON a) => HasColumnType (PgJSON a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgJSON a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgJSON a) -> Maybe Text Source #

defaultEnums :: Proxy (PgJSON a) -> Enumerations Source #

(FromJSON a, ToJSON a) => HasColumnType (PgJSONB a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgJSONB a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgJSONB a) -> Maybe Text Source #

defaultEnums :: Proxy (PgJSONB a) -> Enumerations Source #

HasColumnType a => HasColumnType (Vector a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (Vector a) -> ColumnType Source #

defaultTypeCast :: Proxy (Vector a) -> Maybe Text Source #

defaultEnums :: Proxy (Vector a) -> Enumerations Source #

(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 #

(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 #

HasColumnType ty => HasColumnType (TableField e ty) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (TableField e ty) -> ColumnType Source #

defaultTypeCast :: Proxy (TableField e ty) -> Maybe Text Source #

defaultEnums :: Proxy (TableField e ty) -> Enumerations Source #

HasColumnType (PgRange PgInt4Range a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgRange PgInt4Range a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgRange PgInt4Range a) -> Maybe Text Source #

defaultEnums :: Proxy (PgRange PgInt4Range a) -> Enumerations Source #

HasColumnType (PgRange PgInt8Range a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgRange PgInt8Range a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgRange PgInt8Range a) -> Maybe Text Source #

defaultEnums :: Proxy (PgRange PgInt8Range a) -> Enumerations Source #

HasColumnType (PgRange PgNumRange a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgRange PgNumRange a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgRange PgNumRange a) -> Maybe Text Source #

defaultEnums :: Proxy (PgRange PgNumRange a) -> Enumerations Source #

HasColumnType (PgRange PgTsRange a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgRange PgTsRange a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgRange PgTsRange a) -> Maybe Text Source #

defaultEnums :: Proxy (PgRange PgTsRange a) -> Enumerations Source #

HasColumnType (PgRange PgTsTzRange a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgRange PgTsTzRange a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgRange PgTsTzRange a) -> Maybe Text Source #

defaultEnums :: Proxy (PgRange PgTsTzRange a) -> Enumerations Source #

HasColumnType (PgRange PgDateRange a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

defaultColumnType :: Proxy (PgRange PgDateRange a) -> ColumnType Source #

defaultTypeCast :: Proxy (PgRange PgDateRange a) -> Maybe Text Source #

defaultEnums :: Proxy (PgRange PgDateRange a) -> Enumerations Source #

class Ord (SchemaConstraint ty) => HasSchemaConstraints ty where Source #

Minimal complete definition

Nothing

Methods

schemaConstraints :: Proxy ty -> Set (SchemaConstraint ty) Source #

Provide arbitrary constraints on a field of the requested type.

Instances

Instances details
(IsMaybe a ~ nullary, HasSchemaConstraints' nullary a, Ord (SchemaConstraint a)) => HasSchemaConstraints a Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints :: Proxy a -> Set (SchemaConstraint a) Source #

class Ord (SchemaConstraint ty) => HasSchemaConstraints' (nullary :: Bool) ty where Source #

Methods

schemaConstraints' :: Proxy nullary -> Proxy ty -> Set (SchemaConstraint ty) Source #

Instances

Instances details
HasSchemaConstraints' 'False (TableEntity tbl) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints' :: Proxy 'False -> Proxy (TableEntity tbl) -> Set (SchemaConstraint (TableEntity tbl)) Source #

HasSchemaConstraints' 'True (TableEntity tbl) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints' :: Proxy 'True -> Proxy (TableEntity tbl) -> Set (SchemaConstraint (TableEntity tbl)) Source #

HasSchemaConstraints' 'False (TableField e t) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints' :: Proxy 'False -> Proxy (TableField e t) -> Set (SchemaConstraint (TableField e t)) Source #

HasSchemaConstraints' 'False (TableField e (TableField e t)) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints' :: Proxy 'False -> Proxy (TableField e (TableField e t)) -> Set (SchemaConstraint (TableField e (TableField e t))) Source #

HasSchemaConstraints' 'True (TableField e (Maybe t)) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints' :: Proxy 'True -> Proxy (TableField e (Maybe t)) -> Set (SchemaConstraint (TableField e (Maybe t))) Source #

HasSchemaConstraints' 'True (TableField e (TableField e t)) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

schemaConstraints' :: Proxy 'True -> Proxy (TableField e (TableField e t)) -> Set (SchemaConstraint (TableField e (TableField e t))) Source #

type family SchemaConstraint (k :: *) where ... Source #

Equations

SchemaConstraint (TableEntity e) = TableConstraint 
SchemaConstraint (TableField e t) = ColumnConstraint 

type family IsMaybe (k :: *) :: Bool where ... Source #

Equations

IsMaybe (Maybe x) = 'True 
IsMaybe (TableField t (Maybe x)) = 'True 
IsMaybe (TableField t _) = 'False 
IsMaybe _ = 'False 

type family GeneratesSqlSequence ty where ... Source #

Equations

GeneratesSqlSequence (SqlSerial a) = 'True 
GeneratesSqlSequence _ = 'False 

class HasCompanionSequence' (generatesSeq :: Bool) ty where Source #

Methods

hasCompanionSequence' :: Proxy generatesSeq -> Proxy ty -> TableName -> ColumnName -> Maybe ((SequenceName, Sequence), ColumnConstraint) Source #

Instances

Instances details
HasCompanionSequence' 'False ty Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

hasCompanionSequence' :: Proxy 'False -> Proxy ty -> TableName -> ColumnName -> Maybe ((SequenceName, Sequence), ColumnConstraint) Source #

HasCompanionSequence' 'True (SqlSerial a) Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

hasCompanionSequence' :: Proxy 'True -> Proxy (SqlSerial a) -> TableName -> ColumnName -> Maybe ((SequenceName, Sequence), ColumnConstraint) Source #

class HasCompanionSequence ty where Source #

Methods

hasCompanionSequence :: Proxy ty -> TableName -> ColumnName -> Maybe ((SequenceName, Sequence), ColumnConstraint) Source #

Instances

Instances details
(GeneratesSqlSequence ty ~ genSeq, HasCompanionSequence' genSeq ty) => HasCompanionSequence ty Source # 
Instance details

Defined in Database.Beam.AutoMigrate.Compat

Methods

hasCompanionSequence :: Proxy ty -> TableName -> ColumnName -> Maybe ((SequenceName, Sequence), ColumnConstraint) Source #