@@ -26,11 +26,7 @@ import Control.Monad.Trans.Control
26import Data.Function ((&))
26import Data.Function ((&))
27import Prelude hiding (id, (.))
27import Prelude hiding (id, (.))
29−import Squeal.PostgreSQL.Definition
29+import Squeal.PostgreSQL
30−import Squeal.PostgreSQL.Expression
31−import Squeal.PostgreSQL.Manipulation
32−import Squeal.PostgreSQL.PQ
33−import Squeal.PostgreSQL.Schema
34import Squeal.PostgreSQL.Transaction
30import Squeal.PostgreSQL.Transaction
36data Step io schema0 schema1 = Step
32data Step io schema0 schema1 = Step
@@ -87,6 +83,13 @@ insertMigration = insertRow_ #schema_migrations
87deleteMigration :: Manipulation '[MigrationTable] '[ 'NotNull 'PGtext] '[]
83deleteMigration :: Manipulation '[MigrationTable] '[ 'NotNull 'PGtext] '[]
88deleteMigration = deleteFrom_ #schema_migrations (#name .== param @1)
84deleteMigration = deleteFrom_ #schema_migrations (#name .== param @1)
86+selectMigration :: Query '[MigrationTable] '[ 'NotNull 'PGtext]
87+ '["executed_at" ::: 'NotNull 'PGtimestamptz]
88+selectMigration = select
89+ (#executed_at `As` #executed_at :* Nil)
90+ ( from (table (#schema_migrations `As` #m))
91+ & where_ (#name .== param @1))
90start :: MonadBase IO io => PQ schema schema io ()
93start :: MonadBase IO io => PQ schema schema io ()
91start = define createMigrations_
94start = define createMigrations_
92 & pqThen (begin (TransactionMode RepeatableRead ReadWrite) & void)
95 & pqThen (begin (TransactionMode RepeatableRead ReadWrite) & void)