Test.ParseNistKATs

NIST KAT files are composed of properties, such as:

    [SHA-1]
    [PredictionResistance = True]
    [EntropyInputSize = 128]

and individual known answer tests using these properties, ex:

    COUNT = 0
    EntropyInput = 7
    PersonalizationString =
    Result = 8

    COUNT = 1
    EntropyInput = 4
    PersonalizationString = 
    Result = 2

Using 'many parseCategory' this input would be converted to a single element list of TestCategory:

    [([("SHA-1",""), ("PredictionResistance", "True"), ("EntropyInputSize", "128")],
            [   [("COUNT", "0"), ("EntropyInput", "7"), ("PersonalizationString", ""), ("Result", "8")], 
              , [("COUNT", "1"), ("EntropyInput", "4"), ("PersonalizationString", ""), ("Result", "2")]])]

that is, a list of tuples, the first element is a list of properties (key/value pairs) and the second element is a list of tests. Each test is itself a list of records (key/value pairs). Properties apply to all tests contained in the second element of the tuple.

Documentation

parseCategories :: String -> String -> [(Properties, [NistTest])]

type Properties = [(String, String)]

type Record = (String, String)

type NistTest = [Record]

type TypedTest = (String, [NistTest])

type TestCategory = (Properties, [NistTest])