aboutsummaryrefslogtreecommitdiffstats
path: root/app/Main.hs
diff options
context:
space:
mode:
authorLibravatar Alexander Foremny <aforemny@posteo.de>2023-10-04 23:02:30 +0200
committerLibravatar Alexander Foremny <aforemny@posteo.de>2023-10-04 23:04:28 +0200
commited2a9d64f07656956b76442ed91b41981b912a60 (patch)
tree27fe5b2fcaefdd71df8264b852b666994c13a294 /app/Main.hs
parent3d3eac3c4442a934eb4095ecd53402c741edf2fc (diff)
add tag improvement issues
Diffstat (limited to 'app/Main.hs')
-rw-r--r--app/Main.hs34
1 files changed, 34 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs
index b96cbd6..cc8bde3 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -5,6 +5,40 @@
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PartialTypeSignatures #-}
+-- TODO Tag improvements (OR-filtering).
+--
+-- Currently it is not possible to filter for an issue satisfying one filter or another. We could add the following syntax allowing it:
+--
+-- `--filter '(@assigned aforemny) OR (@due 2023-10-4)'`
+-- @topic tags
+
+-- TODO Tag improvements (globbing).
+--
+-- I would like to filter `--filter '@assigned *@posteo.de'`.
+-- @topic tags
+
+-- TODO Tag improvements (priorities)
+--
+-- I would like anissue to support priorities when filtering. Let's for a first implementation say that priorities are represented by an integer-values `@priority` tag on an issue. The `--filter` can be extended for filtering integer-valued tags, and the following syntax:
+--
+-- - `--filter '@priority >1'`, `--filter '@priority <1`
+-- - `--filter '@priority >=1'`, `--filter '@priority <=1`
+--
+-- At some later point, we can configure `high`, `medium`, `low` to mean
+-- `1,2,3`, `4,5,6`, `7,8,9` respectively.
+--
+-- Issues having a `@priority` tag whose value is not an integer should be regarded not matching the filter.
+-- @topic tags
+
+-- TODO Tag improvements (dates).
+--
+-- I would like anissue to support due dates when filtering. Let's for a first implementation add the following filter syntax:
+--
+-- `--filter '@due 2023-10-04'` for all issues that are marked `@due 2023-10-04` or with an earlier `@due` date.
+--
+-- Issues having a `@due` tag whose value does not follow that date format precisely should be regarded not matching the filter.
+-- @topic tags
+
-- TODO Add support for ammendments
--
-- The user can ammend more information to an issue which is located at