diff options
author | Alexander Foremny <aforemny@posteo.de> | 2023-10-04 23:02:30 +0200 |
---|---|---|
committer | Alexander Foremny <aforemny@posteo.de> | 2023-10-04 23:04:28 +0200 |
commit | ed2a9d64f07656956b76442ed91b41981b912a60 (patch) | |
tree | 27fe5b2fcaefdd71df8264b852b666994c13a294 /app/Main.hs | |
parent | 3d3eac3c4442a934eb4095ecd53402c741edf2fc (diff) |
add tag improvement issues
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 34 |
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 |