NLP.GenI.OptimalityTheory

Input

data OtConstraint

Constructors

PositiveC Text

the trace must appear

NegativeC Text

the trace must NOT appear

NegativeConjC [Text]

these traces must not appear AT THE SAME TIME

Instances

Eq OtConstraint

Methods

(==) :: OtConstraint -> OtConstraint -> Bool

(/=) :: OtConstraint -> OtConstraint -> Bool

Show OtConstraint

Methods

showsPrec :: Int -> OtConstraint -> ShowS

show :: OtConstraint -> String

showList :: [OtConstraint] -> ShowS

NFData OtConstraint

Methods

rnf :: OtConstraint -> ()

JSON OtConstraint

Methods

readJSON :: JSValue -> Result OtConstraint

showJSON :: OtConstraint -> JSValue

readJSONs :: JSValue -> Result [OtConstraint]

showJSONs :: [OtConstraint] -> JSValue

Pretty OtConstraint

Methods

pretty :: OtConstraint -> Text

prettyStr :: OtConstraint -> String

Loadable OtRanking

Methods

lParse :: FilePath -> Text -> Either Text OtRanking

lSet :: OtRanking -> ProgState -> ProgState

lSummarise :: OtRanking -> String

type OtRanking = [[OtConstraint]]

Output

type GetTraces = Text -> [Text]

type OtResult x = (Int, x, [OtViolation])

data OtViolation

Instances

Eq OtViolation

Methods

(==) :: OtViolation -> OtViolation -> Bool

(/=) :: OtViolation -> OtViolation -> Bool

Ord OtViolation

Methods

compare :: OtViolation -> OtViolation -> Ordering

(<) :: OtViolation -> OtViolation -> Bool

(<=) :: OtViolation -> OtViolation -> Bool

(>) :: OtViolation -> OtViolation -> Bool

(>=) :: OtViolation -> OtViolation -> Bool

max :: OtViolation -> OtViolation -> OtViolation

min :: OtViolation -> OtViolation -> OtViolation

Show OtViolation

Methods

showsPrec :: Int -> OtViolation -> ShowS

show :: OtViolation -> String

showList :: [OtViolation] -> ShowS

NFData OtViolation

Methods

rnf :: OtViolation -> ()

JSON OtViolation

Methods

readJSON :: JSValue -> Result OtViolation

showJSON :: OtViolation -> JSValue

readJSONs :: JSValue -> Result [OtViolation]

showJSONs :: [OtViolation] -> JSValue

data RankedOtConstraint

Constructors

RankedOtConstraint Int OtConstraint

Instances

Eq RankedOtConstraint

Methods

(==) :: RankedOtConstraint -> RankedOtConstraint -> Bool

(/=) :: RankedOtConstraint -> RankedOtConstraint -> Bool

Ord RankedOtConstraint

Methods

compare :: RankedOtConstraint -> RankedOtConstraint -> Ordering

(<) :: RankedOtConstraint -> RankedOtConstraint -> Bool

(<=) :: RankedOtConstraint -> RankedOtConstraint -> Bool

(>) :: RankedOtConstraint -> RankedOtConstraint -> Bool

(>=) :: RankedOtConstraint -> RankedOtConstraint -> Bool

max :: RankedOtConstraint -> RankedOtConstraint -> RankedOtConstraint

min :: RankedOtConstraint -> RankedOtConstraint -> RankedOtConstraint

Show RankedOtConstraint

Methods

showsPrec :: Int -> RankedOtConstraint -> ShowS

show :: RankedOtConstraint -> String

showList :: [RankedOtConstraint] -> ShowS

NFData RankedOtConstraint

Methods

rnf :: RankedOtConstraint -> ()

JSON RankedOtConstraint

Methods

readJSON :: JSValue -> Result RankedOtConstraint

showJSON :: RankedOtConstraint -> JSValue

readJSONs :: JSValue -> Result [RankedOtConstraint]

showJSONs :: [RankedOtConstraint] -> JSValue

Pretty RankedOtConstraint

Methods

pretty :: RankedOtConstraint -> Text

prettyStr :: RankedOtConstraint -> String

rankResults :: GetTraces -> (a -> TagDerivation) -> OtRanking -> [a] -> [OtResult a]

otWarnings :: Macros -> OtRanking -> [OtViolation] -> [Text]

Display

prettyViolations :: GetTraces -> Bool -> [OtViolation] -> Text

prettyRank :: Int -> Text