- data Params = Prms {}
- data GrammarType
- = GeniHand
- | PreCompiled
- | PreAnchored
- data BuilderType
- type Instruction = (FilePath, Maybe [String])
- data Flag
- data BatchDirFlg = BatchDirFlg FilePath
- data DisableGuiFlg = DisableGuiFlg ()
- data EarlyDeathFlg = EarlyDeathFlg ()
- data ExtraPolaritiesFlg = ExtraPolaritiesFlg (Map String Interval)
- data FromStdinFlg = FromStdinFlg ()
- data HelpFlg = HelpFlg ()
- data IgnoreSemanticsFlg = IgnoreSemanticsFlg ()
- data InstructionsFileFlg = InstructionsFileFlg FilePath
- data LexiconFlg = LexiconFlg FilePath
- data MacrosFlg = MacrosFlg FilePath
- data MaxTreesFlg = MaxTreesFlg Int
- data MetricsFlg = MetricsFlg [String]
- data MorphCmdFlg = MorphCmdFlg String
- data MorphInfoFlg = MorphInfoFlg FilePath
- data MorphLexiconFlg = MorphLexiconFlg FilePath
- data NoLoadTestSuiteFlg = NoLoadTestSuiteFlg ()
- data OptimisationsFlg = OptimisationsFlg [Optimisation]
- data OutputFileFlg = OutputFileFlg String
- data PartialFlg = PartialFlg ()
- data RegressionTestModeFlg = RegressionTestModeFlg ()
- data RootFeatureFlg = RootFeatureFlg Flist
- data RunUnitTestFlg = RunUnitTestFlg ()
- data StatsFileFlg = StatsFileFlg FilePath
- data TestCaseFlg = TestCaseFlg String
- data TestInstructionsFlg = TestInstructionsFlg [Instruction]
- data TestSuiteFlg = TestSuiteFlg FilePath
- data TimeoutFlg = TimeoutFlg Integer
- data TracesFlg = TracesFlg FilePath
- data VerboseModeFlg = VerboseModeFlg ()
- data ViewCmdFlg = ViewCmdFlg String
- mainBuilderTypes :: [BuilderType]
- getFlagP :: (Show f, Show x, Typeable f, Typeable x) => (x -> f) -> Params -> Maybe x
- getListFlagP :: (Show f, Show x, Typeable f, Typeable x) => ([x] -> f) -> Params -> [x]
- setFlagP :: (Eq f, Show f, Show x, Typeable f, Typeable x) => (x -> f) -> x -> Params -> Params
- hasFlagP :: (Typeable f, Typeable x) => (x -> f) -> Params -> Bool
- deleteFlagP :: (Typeable f, Typeable x) => (x -> f) -> Params -> Params
- hasOpt :: Optimisation -> Params -> Bool
- polarised :: Params -> Bool
- getFlag :: (Show f, Show x, Typeable f, Typeable x) => (x -> f) -> [Flag] -> Maybe x
- setFlag :: (Eq f, Show f, Show x, Typeable f, Typeable x) => (x -> f) -> x -> [Flag] -> [Flag]
- hasFlag :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> Bool
- data Optimisation
- = PolOpts
- | AdjOpts
- | Polarised
- | NoConstraints
- | RootCatFiltered
- | SemFiltered
- | Iaf
- rootcatfiltered :: Params -> Bool
- semfiltered :: Params -> Bool
- isIaf :: Params -> Bool
- emptyParams :: Params
- defineParams :: [Flag] -> Params -> Params
- treatArgs :: [OptDescr Flag] -> [String] -> IO Params
- treatStandardArgs :: [String] -> IO Params
- treatArgsWithParams :: [OptDescr Flag] -> [String] -> Params -> IO Params
- treatStandardArgsWithParams :: [String] -> Params -> IO Params
- processInstructions :: Params -> IO Params
- optionsForStandardGenI :: [OptDescr Flag]
- optionsForBasicStuff :: [OptDescr Flag]
- optionsForOptimisation :: [OptDescr Flag]
- optionsForMorphology :: [OptDescr Flag]
- optionsForInputFiles :: [OptDescr Flag]
- optionsForBuilder :: [OptDescr Flag]
- optionsForTesting :: [OptDescr Flag]
- nubBySwitches :: [OptDescr a] -> [OptDescr a]
- noArg :: forall f. (Eq f, Show f, Typeable f) => (() -> f) -> ArgDescr Flag
- reqArg :: forall f x. (Eq f, Show f, Typeable f, Eq x, Show x, Typeable x) => (x -> f) -> (String -> x) -> String -> ArgDescr Flag
- optArg :: forall f x. (Eq f, Show f, Typeable f, Eq x, Show x, Typeable x) => (x -> f) -> x -> (String -> x) -> String -> ArgDescr Flag
- parseFlagWithParsec :: String -> CharParser () b -> String -> b
- module System.Console.GetOpt
- class Typeable a
Documentation
Holds the specification for how Geni should be run, its input files, etc. This is the stuff that would normally be found in the configuration file.
Prms | |
|
data GrammarType Source
GeniHand | geni's text format |
PreCompiled | built into geni, no parsing needed |
PreAnchored | lexical selection already done |
data BuilderType Source
type Instruction = (FilePath, Maybe [String])Source
data DisableGuiFlg Source
data EarlyDeathFlg Source
data ExtraPolaritiesFlg Source
data IgnoreSemanticsFlg Source
data MorphInfoFlg Source
data MorphLexiconFlg Source
data NoLoadTestSuiteFlg Source
data OptimisationsFlg Source
data OutputFileFlg Source
data RootFeatureFlg Source
data RunUnitTestFlg Source
data StatsFileFlg Source
data TestSuiteFlg Source
data VerboseModeFlg Source
setFlagP :: (Eq f, Show f, Show x, Typeable f, Typeable x) => (x -> f) -> x -> Params -> ParamsSource
hasOpt :: Optimisation -> Params -> BoolSource
setFlag :: (Eq f, Show f, Show x, Typeable f, Typeable x) => (x -> f) -> x -> [Flag] -> [Flag]Source
data Optimisation Source
rootcatfiltered :: Params -> BoolSource
semfiltered :: Params -> BoolSource
The default parameters configuration
defineParams :: [Flag] -> Params -> ParamsSource
treatStandardArgs :: [String] -> IO ParamsSource
optionsForStandardGenI :: [OptDescr Flag]Source
Uses the GetOpt library to process the command line arguments. Note that we divide them into basic and advanced usage.
nubBySwitches :: [OptDescr a] -> [OptDescr a]Source
parseFlagWithParsec :: String -> CharParser () b -> String -> bSource
module System.Console.GetOpt
class Typeable a
The class Typeable
allows a concrete representation of a type to
be calculated.