+bool workspace_is_visible(Con *ws);
+
+/**
+ * Switches to the given workspace
+ *
+ */
+void workspace_show(Con *ws);
+
+/**
+ * Looks up the workspace by name and switches to it.
+ *
+ */
+void workspace_show_by_name(const char *num);
+
+/**
+ * Returns the next workspace.
+ *
+ */
+Con* workspace_next(void);
+
+/**
+ * Returns the previous workspace.
+ *
+ */
+Con* workspace_prev(void);
+
+/**
+ * Returns the next workspace on the same output
+ *
+ */
+Con* workspace_next_on_output(void);
+
+/**
+ * Returns the previous workspace on the same output
+ *
+ */
+Con* workspace_prev_on_output(void);
+
+/**
+ * Focuses the previously focused workspace.
+ *
+ */
+void workspace_back_and_forth(void);
+
+/**
+ * Returns the previously focused workspace con, or NULL if unavailable.
+ *
+ */
+Con *workspace_back_and_forth_get(void);