Documentation

tryIO :: MonadIO m => IO a -> m (Either Text a) Source #

data MigrationMetadata Source #

tableStatements :: PgTable a -> [Sql] Source #

tableMetadata :: PgTable a -> MigrationMetadata Source #

migrationMetadata :: Migration mig -> MigrationMetadata Source #

currentMetadata :: Migration mig -> MigrationMetadata Source #

migrationMetadatas :: NP Migration migs -> [MigrationMetadata] Source #

headMigrationMetadata :: NP Migration migs -> Maybe MigrationMetadata Source #

migrationsMetadata :: Migrations m migs -> [MigrationMetadata] Source #

jsonFile :: PgTable a -> String Source #

jsonPath :: Monad m => Path Abs Dir -> PgTable a -> ExceptT Text m (Path Abs File) Source #

writeMigrationMetadata :: MonadIO m => Path Abs Dir -> Migrations m migs -> ExceptT Text m () Source #

readError :: Path Abs File -> Text -> Text Source #

decodeError :: Path Abs File -> String -> Text Source #

readMigrationMetadata :: MonadIO m => Path Abs Dir -> Migrations m migs -> ExceptT Text m (Maybe [MigrationMetadata]) Source #

indent :: Functor t => t Text -> t Text Source #

showType :: ColumnType -> Text Source #

columnMismatch :: Maybe PgColumn -> Maybe PgColumn -> Text Source #

compareType :: Text -> PgColumns -> PgColumns -> Maybe (NonEmpty Text) Source #

compareComp :: Maybe PgComposite -> Maybe PgComposite -> Maybe (NonEmpty Text) Source #

compareStep :: MigrationMetadata -> MigrationMetadata -> Maybe (NonEmpty Text) Source #

checkStep :: Maybe MigrationMetadata -> Maybe MigrationMetadata -> Maybe (NonEmpty Text) Source #

checkMigrationConsistency :: [MigrationMetadata] -> [MigrationMetadata] -> Either (NonEmpty Text) () Source #

single :: Functor m => ExceptT Text m a -> ExceptT (NonEmpty Text) m a Source #

result :: Functor m => ExceptT e m () -> m (Maybe e) Source #

migrationConsistency :: MonadIO m => Path Abs Dir -> Migrations m migs -> Bool -> m (Maybe (NonEmpty Text)) Source #