NLP.GenI.OptimalityTheory

Contents

• Input
• Output
• Display

Synopsis

• data OtConstraint
  • = PositiveC Text
  • | NegativeC Text
  • | NegativeConjC [Text]
• 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

Output

Display