Further improvement to tag documentation

This commit is contained in:
Julian Ospald 2023-10-01 14:38:40 +08:00
parent c0ffb22d6a
commit 9eeac00714
No known key found for this signature in database
GPG Key ID: 4275CDA6A29BED43

View File

@ -157,17 +157,16 @@ instance NFData VersionInfo
-- | A tag. These are currently attached to a version of a tool. -- | A tag. These are currently attached to a version of a tool.
data Tag = Latest data Tag = Latest -- ^ the latest version of a tool (unique per tool)
| Recommended -- ^ the recommended version of a tool | Recommended -- ^ the recommended version of a tool (unique per tool)
| Prerelease -- ^ denotes a prerelease version | Prerelease -- ^ denotes a prerelease version
-- (a version should either be 'Prerelease' or -- (a version should either be 'Prerelease' or
-- 'LatestPrerelease', but not both) -- 'LatestPrerelease', but not both)
| LatestPrerelease -- ^ the latest prerelease (there should be only | LatestPrerelease -- ^ the latest prerelease (unique per tool)
-- one per tool)
| Nightly -- ^ denotes a nightly version | Nightly -- ^ denotes a nightly version
-- (a version should either be 'Nightly' or -- (a version should either be 'Nightly' or
-- 'LatestNightly', but not both) -- 'LatestNightly', but not both)
| LatestNightly -- ^ the latest nightly (there should be only one per tool) | LatestNightly -- ^ the latest nightly (unique per tool)
| Base PVP -- ^ the base version shipped with GHC | Base PVP -- ^ the base version shipped with GHC
| Old -- ^ old versions are hidden by default in TUI | Old -- ^ old versions are hidden by default in TUI
| UnknownTag String -- ^ used for upwardscompat | UnknownTag String -- ^ used for upwardscompat