Safe Haskell	Safe-Inferred
Language	Haskell2010

Security.Advisories.Core.HsecId

Synopsis

data HsecId
hsecIdYear :: HsecId -> Integer
hsecIdSerial :: HsecId -> Integer
mkHsecId :: Integer -> Integer -> Maybe HsecId
placeholder :: HsecId
isPlaceholder :: HsecId -> Bool
parseHsecId :: String -> Maybe HsecId
printHsecId :: HsecId -> String
nextHsecId :: Integer -> HsecId -> HsecId
getNextHsecId :: HsecId -> IO HsecId

Documentation

data HsecId Source #

Instances

Instances details

Show HsecId Source #
Instance details Defined in Security.Advisories.Core.HsecId Methods showsPrec :: Int -> HsecId -> ShowS # show :: HsecId -> String # showList :: [HsecId] -> ShowS #
Eq HsecId Source #
Instance details Defined in Security.Advisories.Core.HsecId Methods (==) :: HsecId -> HsecId -> Bool # (/=) :: HsecId -> HsecId -> Bool #
Ord HsecId Source #
Instance details Defined in Security.Advisories.Core.HsecId Methods compare :: HsecId -> HsecId -> Ordering # (<) :: HsecId -> HsecId -> Bool # (<=) :: HsecId -> HsecId -> Bool # (>) :: HsecId -> HsecId -> Bool # (>=) :: HsecId -> HsecId -> Bool # max :: HsecId -> HsecId -> HsecId # min :: HsecId -> HsecId -> HsecId #

hsecIdYear :: HsecId -> Integer Source #

hsecIdSerial :: HsecId -> Integer Source #

mkHsecId Source #

Arguments

:: Integer	Year
-> Integer	Serial number within year
-> Maybe HsecId

Make an HsecId. Year and serial must both be positive, or else both must be zero (the placeholder).

placeholder :: HsecId Source #

The placeholder ID: HSEC-0000-0000. See also isPlaceholder.

isPlaceholder :: HsecId -> Bool Source #

Test whether an ID is the placeholder

parseHsecId :: String -> Maybe HsecId Source #

Parse an HsecId. The placeholder is accepted.

printHsecId :: HsecId -> String Source #

nextHsecId Source #

Arguments

:: Integer	Current year
-> HsecId
-> HsecId

Given a year and an HSEC ID, return a larger HSEC ID. This function, when given the current year and the greatest allocated HSEC ID, returns the next HSEC ID to allocate.

getNextHsecId :: HsecId -> IO HsecId Source #

Get the current time, and return an HSEC ID greater than the given HSEC ID. The year of the returned HSEC ID is the current year.