diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-23 12:40:53 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-29 19:16:37 +0100 |
| commit | f3dbad3df9f8c9c1aca873d74a34c6f9169133b0 (patch) | |
| tree | 93d4a0114962c4062f5c6398aeb975a2f64da0e9 /src/Job | |
| parent | a372c8cf51bce6179fe0d585a545b7f4f3910233 (diff) | |
Evaluate canonical job ids
Changelog: Added `jobid` command resolving job reference to canonical id
Diffstat (limited to 'src/Job')
| -rw-r--r-- | src/Job/Types.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Job/Types.hs b/src/Job/Types.hs index 0f91b94..0447615 100644 --- a/src/Job/Types.hs +++ b/src/Job/Types.hs @@ -68,3 +68,12 @@ data JobIdPart | JobIdCommit CommitId | JobIdTree TreeId deriving (Eq, Ord) + +newtype JobRef = JobRef [ Text ] + deriving (Eq, Ord) + +textJobIdPart :: JobIdPart -> Text +textJobIdPart = \case + JobIdName name -> textJobName name + JobIdCommit cid -> textCommitId cid + JobIdTree tid -> textTreeId tid |