libGenI-0.16 Contents Index

NLP.GenI.Configuration

Synopsis

data Params = Prms { grammarType :: GrammarType builderType :: BuilderType geniFlags :: [Flag] } data GrammarType = GeniHand | PreCompiled | PreAnchored data BuilderType = NullBuilder | SimpleBuilder | SimpleOnePhaseBuilder | CkyBuilder | EarleyBuilder 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 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 Typeable

Documentation

data Params

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. Constructors Prms grammarType :: GrammarType builderType :: BuilderType geniFlags :: [Flag] Instances Show Params

data GrammarType

Constructors GeniHand geni's text format PreCompiled built into geni, no parsing needed PreAnchored lexical selection already done Instances Eq GrammarType Show GrammarType Typeable GrammarType

data BuilderType

Constructors NullBuilder SimpleBuilder SimpleOnePhaseBuilder CkyBuilder EarleyBuilder Instances Eq BuilderType Show BuilderType Typeable BuilderType

type Instruction = (FilePath, Maybe [String])

data Flag

Instances Eq Flag Show Flag (Typeable x, ??? f x) => Typeable Flag

data BatchDirFlg

Constructors BatchDirFlg FilePath Instances Eq BatchDirFlg Show BatchDirFlg Typeable BatchDirFlg

data DisableGuiFlg

Constructors DisableGuiFlg () Instances Eq DisableGuiFlg Show DisableGuiFlg Typeable DisableGuiFlg

data EarlyDeathFlg

Constructors EarlyDeathFlg () Instances Eq EarlyDeathFlg Show EarlyDeathFlg Typeable EarlyDeathFlg

data ExtraPolaritiesFlg

Constructors ExtraPolaritiesFlg (Map String Interval) Instances Eq ExtraPolaritiesFlg Show ExtraPolaritiesFlg Typeable ExtraPolaritiesFlg

data FromStdinFlg

Constructors FromStdinFlg () Instances Eq FromStdinFlg Show FromStdinFlg Typeable FromStdinFlg

data HelpFlg

Constructors HelpFlg () Instances Eq HelpFlg Show HelpFlg Typeable HelpFlg

data IgnoreSemanticsFlg

Constructors IgnoreSemanticsFlg () Instances Eq IgnoreSemanticsFlg Show IgnoreSemanticsFlg Typeable IgnoreSemanticsFlg

data InstructionsFileFlg

Constructors InstructionsFileFlg FilePath Instances Eq InstructionsFileFlg Show InstructionsFileFlg Typeable InstructionsFileFlg

data LexiconFlg

Constructors LexiconFlg FilePath Instances Eq LexiconFlg Show LexiconFlg Typeable LexiconFlg

data MacrosFlg

Constructors MacrosFlg FilePath Instances Eq MacrosFlg Show MacrosFlg Typeable MacrosFlg

data MaxTreesFlg

Constructors MaxTreesFlg Int Instances Eq MaxTreesFlg Show MaxTreesFlg Typeable MaxTreesFlg

data MetricsFlg

Constructors MetricsFlg [String] Instances Eq MetricsFlg Show MetricsFlg Typeable MetricsFlg

data MorphCmdFlg

Constructors MorphCmdFlg String Instances Eq MorphCmdFlg Show MorphCmdFlg Typeable MorphCmdFlg

data MorphInfoFlg

Constructors MorphInfoFlg FilePath Instances Eq MorphInfoFlg Show MorphInfoFlg Typeable MorphInfoFlg

data MorphLexiconFlg

Constructors MorphLexiconFlg FilePath Instances Eq MorphLexiconFlg Show MorphLexiconFlg Typeable MorphLexiconFlg

data NoLoadTestSuiteFlg

Constructors NoLoadTestSuiteFlg () Instances Eq NoLoadTestSuiteFlg Show NoLoadTestSuiteFlg Typeable NoLoadTestSuiteFlg

data OptimisationsFlg

Constructors OptimisationsFlg [Optimisation] Instances Eq OptimisationsFlg Show OptimisationsFlg Typeable OptimisationsFlg

data OutputFileFlg

Constructors OutputFileFlg String Instances Eq OutputFileFlg Show OutputFileFlg Typeable OutputFileFlg

data PartialFlg

Constructors PartialFlg () Instances Eq PartialFlg Show PartialFlg Typeable PartialFlg

data RegressionTestModeFlg

Constructors RegressionTestModeFlg () Instances Eq RegressionTestModeFlg Show RegressionTestModeFlg Typeable RegressionTestModeFlg

data RootFeatureFlg

Constructors RootFeatureFlg Flist Instances Eq RootFeatureFlg Show RootFeatureFlg Typeable RootFeatureFlg

data StatsFileFlg

Constructors StatsFileFlg FilePath Instances Eq StatsFileFlg Show StatsFileFlg Typeable StatsFileFlg

data TestCaseFlg

Constructors TestCaseFlg String Instances Eq TestCaseFlg Show TestCaseFlg Typeable TestCaseFlg

data TestInstructionsFlg

Constructors TestInstructionsFlg [Instruction] Instances Eq TestInstructionsFlg Show TestInstructionsFlg Typeable TestInstructionsFlg

data TestSuiteFlg

Constructors TestSuiteFlg FilePath Instances Eq TestSuiteFlg Show TestSuiteFlg Typeable TestSuiteFlg

data TimeoutFlg

Constructors TimeoutFlg Integer Instances Eq TimeoutFlg Show TimeoutFlg Typeable TimeoutFlg

data TracesFlg

Constructors TracesFlg FilePath Instances Eq TracesFlg Show TracesFlg Typeable TracesFlg

data VerboseModeFlg

Constructors VerboseModeFlg () Instances Eq VerboseModeFlg Show VerboseModeFlg Typeable VerboseModeFlg

data ViewCmdFlg

Constructors ViewCmdFlg String Instances Eq ViewCmdFlg Show ViewCmdFlg Typeable ViewCmdFlg

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

Constructors PolOpts AdjOpts Polarised NoConstraints RootCatFiltered SemFiltered Iaf Instances Eq Optimisation Show Optimisation Typeable Optimisation

rootcatfiltered :: Params -> Bool

semfiltered :: Params -> Bool

isIaf :: Params -> Bool

emptyParams :: Params

The default parameters configuration

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]

Uses the GetOpt library to process the command line arguments. Note that we divide them into basic and advanced usage.

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) flag -> (String -> x) string reader for flag (probably |id| if already a String) -> String description -> ArgDescr Flag

optArg

:: forall f x . (Eq f, Show f, Typeable f, Eq x, Show x, Typeable x) => (x -> f) flag -> x default value -> (String -> x) string reader (as in reqArg) -> String description -> ArgDescr Flag

parseFlagWithParsec :: String -> CharParser () b -> String -> b

module System.Console.GetOpt

Typeable

Produced by Haddock version 0.8