Safe Haskell | None |
---|
- data OtConstraint
- type OtRanking = [[OtConstraint]]
- type GetTraces = Text -> [Text]
- type OtResult x = (Int, x, [OtViolation])
- data OtViolation
- data RankedOtConstraint = RankedOtConstraint Int OtConstraint
- rankResults :: GetTraces -> (a -> TagDerivation) -> OtRanking -> [a] -> [OtResult a]
- otWarnings :: Macros -> OtRanking -> [OtViolation] -> [Text]
- prettyViolations :: GetTraces -> Bool -> [OtViolation] -> Text
- prettyRank :: Int -> Text
Input
data OtConstraint Source
type OtRanking = [[OtConstraint]]Source
Output
type OtResult x = (Int, x, [OtViolation])Source
data OtViolation Source
data RankedOtConstraint Source
rankResults :: GetTraces -> (a -> TagDerivation) -> OtRanking -> [a] -> [OtResult a]Source
otWarnings :: Macros -> OtRanking -> [OtViolation] -> [Text]Source
Display
prettyViolations :: GetTraces -> Bool -> [OtViolation] -> TextSource
prettyRank :: Int -> TextSource