@@ -81,21 +81,33 @@ Rollback
8181We can also create a simple executable using `defaultMain`.
8282
8383>>> let main = defaultMain "host=localhost port=5432 dbname=exampledb" migrations
84+
8485>>> withArgs [] main
8586Invalid command: "". Use:
8687migrate to run all available migrations
8788rollback to rollback all available migrations
8889status to display migrations run and migrations left to run
90+
8991>>> withArgs ["status"] main
9092Migrations already run:
9193 None
9294Migrations left to run:
9395 - make users table
9496 - make emails table
97+
9598>>> withArgs ["migrate"] main
96−asdf
99+Migrations already run:
100+ - make users table
101+ - make emails table
102+Migrations left to run:
103+ None
104+
97105>>> withArgs ["rollback"] main
98−asdf
106+Migrations already run:
107+ None
108+Migrations left to run:
109+ - make users table
110+ - make emails table
99111-}
100112{-# LANGUAGE
101113 DataKinds