Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleselda-0.5.2.1Haskell2010

Database.Selda.Validation

Utilities for validating and inspecting Selda tables.

6 types
8 values

Packageselda-0.5.2.1
Exports14
LanguageHaskell2010
LicenceMIT
SourceValidation.hs

datadata TableDiff

A description of the difference between a schema and its corresponding database table.

Constructors

TableOK
TableMissing
UniqueMissing [[ColName]]
UniquePresent [[ColName]]
PkMissing [ColName]
PkPresent [ColName]
InconsistentColumns [(ColName, [ColumnDiff])]

Instances2Eq, Show

Eq TableDiffDefined in selda-0.5.2.1 · Database.Selda.Validation
Show TableDiffDefined in selda-0.5.2.1 · Database.Selda.Validation

datadata ColumnDiff

A description of the difference between a column in a Selda table and its corresponding database column.

Instances2Eq, Show

Eq ColumnDiffDefined in selda-0.5.2.1 · Database.Selda.Validation
Show ColumnDiffDefined in selda-0.5.2.1 · Database.Selda.Validation

newtypenewtype TableName

Name of a database table.

Instances4Eq, Ord, Show, IsString

Eq TableNameDefined in selda-0.5.2.1 · Database.Selda.Types
Ord TableNameDefined in selda-0.5.2.1 · Database.Selda.Types
Show TableNameDefined in selda-0.5.2.1 · Database.Selda.Types
IsString TableNameDefined in selda-0.5.2.1 · Database.Selda.Types

newtypenewtype ColName

Name of a database column.

Instances4Eq, Ord, Show, IsString

Eq ColNameDefined in selda-0.5.2.1 · Database.Selda.Types
Ord ColNameDefined in selda-0.5.2.1 · Database.Selda.Types
Show ColNameDefined in selda-0.5.2.1 · Database.Selda.Types
IsString ColNameDefined in selda-0.5.2.1 · Database.Selda.Types

datadata ColumnInfo

Comprehensive information about a column.

Instances2Eq, Show

Eq ColumnInfoDefined in selda-0.5.2.1 · Database.Selda.Backend.Internal
Show ColumnInfoDefined in selda-0.5.2.1 · Database.Selda.Backend.Internal

datadata SqlTypeRep

Representation of an SQL type.

Instances3Eq, Ord, Show

Eq SqlTypeRepDefined in selda-0.5.2.1 · Database.Selda.SqlType
Ord SqlTypeRepDefined in selda-0.5.2.1 · Database.Selda.SqlType
Show SqlTypeRepDefined in selda-0.5.2.1 · Database.Selda.SqlType

valuetableInfo :: Table a -> TableInfo

Get the column information for each column in the given table.

valueshowTableDiff :: TableDiff -> Text

Pretty-print a table diff.

valueshowColumnDiff :: ColumnDiff -> Text

Pretty-print a column diff.

valuedescribeTable :: MonadSelda m => TableName -> m TableInfo

Get a description of the table by the given name currently in the database.

valuediffTable :: MonadSelda m => Table a -> m TableDiff

Check the given table for consistency with the current database, returning a description of all inconsistencies found. The table schema itself is not validated beforehand.

valuediffTables :: Table a -> Table b -> TableDiff

Compute the difference between the two given tables. The first table is considered to be the schema, and the second the database.

valuevalidateTable :: (MonadSelda m, MonadThrow m) => Table a -> m ()

Validate a table schema, and check it for consistency against the current database. Throws a ValidationError if the schema does not validate, or if inconsistencies were found.

valuevalidateSchema :: MonadThrow m => Table a -> m ()

Ensure that the schema of the given table is valid. Does not ensure consistency with the current database.