Safe Haskell | Safe-Infered |
---|
- data Optimisation
- = PolOpts
- | AdjOpts
- | Polarised
- | NoConstraints
- type Instruction = (FilePath, Maybe [Text])
- data BuilderType
- data GrammarType
- = GeniHand
- | PreCompiled
- | PreAnchored
- data Flag = forall f x . (Eq f, Typeable f, Typeable x) => Flag (x -> f) x
- isFlag :: (Typeable f, Typeable x) => (x -> f) -> Flag -> Bool
- hasFlag :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> Bool
- deleteFlag :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> [Flag]
- modifyFlag :: (Eq f, Typeable f, Typeable x) => (x -> f) -> (x -> x) -> [Flag] -> [Flag]
- setFlag :: (Eq f, Typeable f, Typeable x) => (x -> f) -> x -> [Flag] -> [Flag]
- getFlag :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> Maybe x
- getAllFlags :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> [x]
- newtype BatchDirFlg = BatchDirFlg FilePath
- newtype DisableGuiFlg = DisableGuiFlg ()
- newtype DetectPolaritiesFlg = DetectPolaritiesFlg (Set PolarityAttr)
- newtype DumpDerivationFlg = DumpDerivationFlg ()
- newtype EarlyDeathFlg = EarlyDeathFlg ()
- newtype FromStdinFlg = FromStdinFlg ()
- newtype HelpFlg = HelpFlg ()
- newtype InstructionsFileFlg = InstructionsFileFlg FilePath
- newtype LexiconFlg = LexiconFlg FilePath
- newtype MacrosFlg = MacrosFlg FilePath
- newtype TracesFlg = TracesFlg FilePath
- newtype MaxStepsFlg = MaxStepsFlg Integer
- newtype MaxResultsFlg = MaxResultsFlg Integer
- newtype MetricsFlg = MetricsFlg [String]
- newtype MorphCmdFlg = MorphCmdFlg String
- newtype MorphInfoFlg = MorphInfoFlg FilePath
- newtype OptimisationsFlg = OptimisationsFlg [Optimisation]
- newtype OutputFileFlg = OutputFileFlg String
- newtype PartialFlg = PartialFlg ()
- newtype RankingConstraintsFlg = RankingConstraintsFlg FilePath
- newtype RootFeatureFlg = RootFeatureFlg (Flist GeniVal)
- newtype NoLoadTestSuiteFlg = NoLoadTestSuiteFlg ()
- newtype StatsFileFlg = StatsFileFlg FilePath
- newtype TestCaseFlg = TestCaseFlg Text
- newtype TestInstructionsFlg = TestInstructionsFlg [Instruction]
- newtype TestSuiteFlg = TestSuiteFlg FilePath
- newtype TimeoutFlg = TimeoutFlg Int
- newtype VerboseModeFlg = VerboseModeFlg ()
- newtype VersionFlg = VersionFlg ()
- newtype ViewCmdFlg = ViewCmdFlg String
- newtype BuilderFlg = BuilderFlg BuilderType
- newtype GrammarTypeFlg = GrammarTypeFlg GrammarType
- newtype WeirdFlg = WeirdFlg String
Documentation
data Optimisation Source
type Instruction = (FilePath, Maybe [Text])Source
data BuilderType Source
data GrammarType Source
GeniHand | geni's text format |
PreCompiled | built into geni, no parsing needed |
PreAnchored | lexical selection already done |
Flags are GenI's internal representation of command line arguments. We use phantom existential types (?) for representing GenI flags. This makes it simpler to do things such as ``get the value of the MacrosFlg'' whilst preserving type safety (we always know that MacrosFlg is associated with String). The alternative would be writing getters and setters for each flag, and that gets really boring after a while.
modifyFlag :: (Eq f, Typeable f, Typeable x) => (x -> f) -> (x -> x) -> [Flag] -> [Flag]Source
This only has an effect if the flag is set
getAllFlags :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> [x]Source
newtype DetectPolaritiesFlg Source
newtype DumpDerivationFlg Source
newtype InstructionsFileFlg Source
newtype OptimisationsFlg Source
newtype RankingConstraintsFlg Source
newtype RootFeatureFlg Source
newtype NoLoadTestSuiteFlg Source
newtype TestInstructionsFlg Source