GenI-0.20.1: A natural language generator (specifically, an FB-LTAG surface realiser) Source code Contents Index

NLP.GenI.Configuration

Contents flags

Synopsis

data Params = Prms { grammarType :: GrammarType builderType :: BuilderType geniFlags :: [Flag] } data GrammarType = GeniHand | PreCompiled | PreAnchored data BuilderType = NullBuilder | SimpleBuilder | SimpleOnePhaseBuilder type Instruction = (FilePath, Maybe [String]) data Flag data BatchDirFlg = BatchDirFlg FilePath data DetectPolaritiesFlg = DetectPolaritiesFlg (Set PolarityAttr) data DisableGuiFlg = DisableGuiFlg () data DumpDerivationFlg = DumpDerivationFlg () data EarlyDeathFlg = EarlyDeathFlg () data ExtraPolaritiesFlg = ExtraPolaritiesFlg (Map PolarityKey Interval) data FromStdinFlg = FromStdinFlg () data HelpFlg = HelpFlg () data InstructionsFileFlg = InstructionsFileFlg FilePath data LexiconFlg = LexiconFlg FilePath data MacrosFlg = MacrosFlg FilePath data MetricsFlg = MetricsFlg [String] data MorphCmdFlg = MorphCmdFlg String data MorphInfoFlg = MorphInfoFlg FilePath data NoLoadTestSuiteFlg = NoLoadTestSuiteFlg () data OptimisationsFlg = OptimisationsFlg [Optimisation] data OutputFileFlg = OutputFileFlg String data PartialFlg = PartialFlg () data RankingConstraintsFlg = RankingConstraintsFlg FilePath 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 VersionFlg = VersionFlg () 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 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 | SemFiltered | Iaf | EarlyNa emptyParams :: Params defineParams :: [Flag] -> Params -> Params treatArgs :: [OptDescr Flag] -> [String] -> IO Params treatArgsWithParams :: [OptDescr Flag] -> [String] -> Params -> IO Params usage :: [OptSection] -> String -> String basicSections :: [OptSection] optionsSections :: [OptSection] 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

data Params Source

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 Source

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 Source

Constructors NullBuilder SimpleBuilder SimpleOnePhaseBuilder Instances Eq BuilderType Show BuilderType Typeable BuilderType

type Instruction = (FilePath, Maybe [String]) Source

data Flag Source

Instances Eq Flag Show Flag Typeable Flag

flags

data BatchDirFlg Source

Constructors BatchDirFlg FilePath Instances Eq BatchDirFlg Show BatchDirFlg Typeable BatchDirFlg

data DetectPolaritiesFlg Source

Constructors DetectPolaritiesFlg (Set PolarityAttr) Instances Eq DetectPolaritiesFlg Show DetectPolaritiesFlg Typeable DetectPolaritiesFlg

data DisableGuiFlg Source

Constructors DisableGuiFlg () Instances Eq DisableGuiFlg Show DisableGuiFlg Typeable DisableGuiFlg

data DumpDerivationFlg Source

Constructors DumpDerivationFlg () Instances Eq DumpDerivationFlg Show DumpDerivationFlg Typeable DumpDerivationFlg

data EarlyDeathFlg Source

Constructors EarlyDeathFlg () Instances Eq EarlyDeathFlg Show EarlyDeathFlg Typeable EarlyDeathFlg

data ExtraPolaritiesFlg Source

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

data FromStdinFlg Source

Constructors FromStdinFlg () Instances Eq FromStdinFlg Show FromStdinFlg Typeable FromStdinFlg

data HelpFlg Source

Constructors HelpFlg () Instances Eq HelpFlg Show HelpFlg Typeable HelpFlg

data InstructionsFileFlg Source

Constructors InstructionsFileFlg FilePath Instances Eq InstructionsFileFlg Show InstructionsFileFlg Typeable InstructionsFileFlg

data LexiconFlg Source

Constructors LexiconFlg FilePath Instances Eq LexiconFlg Show LexiconFlg Typeable LexiconFlg

data MacrosFlg Source

Constructors MacrosFlg FilePath Instances Eq MacrosFlg Show MacrosFlg Typeable MacrosFlg

data MetricsFlg Source

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

data MorphCmdFlg Source

Constructors MorphCmdFlg String Instances Eq MorphCmdFlg Show MorphCmdFlg Typeable MorphCmdFlg

data MorphInfoFlg Source

Constructors MorphInfoFlg FilePath Instances Eq MorphInfoFlg Show MorphInfoFlg Typeable MorphInfoFlg

data NoLoadTestSuiteFlg Source

Constructors NoLoadTestSuiteFlg () Instances Eq NoLoadTestSuiteFlg Show NoLoadTestSuiteFlg Typeable NoLoadTestSuiteFlg

data OptimisationsFlg Source

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

data OutputFileFlg Source

Constructors OutputFileFlg String Instances Eq OutputFileFlg Show OutputFileFlg Typeable OutputFileFlg

data PartialFlg Source

Constructors PartialFlg () Instances Eq PartialFlg Show PartialFlg Typeable PartialFlg

data RankingConstraintsFlg Source

Constructors RankingConstraintsFlg FilePath Instances Eq RankingConstraintsFlg Show RankingConstraintsFlg Typeable RankingConstraintsFlg

data RegressionTestModeFlg Source

Constructors RegressionTestModeFlg () Instances Eq RegressionTestModeFlg Show RegressionTestModeFlg Typeable RegressionTestModeFlg

data RootFeatureFlg Source

Constructors RootFeatureFlg Flist Instances Eq RootFeatureFlg Show RootFeatureFlg Typeable RootFeatureFlg

data RunUnitTestFlg Source

Constructors RunUnitTestFlg () Instances Eq RunUnitTestFlg Show RunUnitTestFlg Typeable RunUnitTestFlg

data StatsFileFlg Source

Constructors StatsFileFlg FilePath Instances Eq StatsFileFlg Show StatsFileFlg Typeable StatsFileFlg

data TestCaseFlg Source

Constructors TestCaseFlg String Instances Eq TestCaseFlg Show TestCaseFlg Typeable TestCaseFlg

data TestInstructionsFlg Source

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

data TestSuiteFlg Source

Constructors TestSuiteFlg FilePath Instances Eq TestSuiteFlg Show TestSuiteFlg Typeable TestSuiteFlg

data TimeoutFlg Source

Constructors TimeoutFlg Integer Instances Eq TimeoutFlg Show TimeoutFlg Typeable TimeoutFlg

data TracesFlg Source

Constructors TracesFlg FilePath Instances Eq TracesFlg Show TracesFlg Typeable TracesFlg

data VerboseModeFlg Source

Constructors VerboseModeFlg () Instances Eq VerboseModeFlg Show VerboseModeFlg Typeable VerboseModeFlg

data VersionFlg Source

Constructors VersionFlg () Instances Eq VersionFlg Show VersionFlg Typeable VersionFlg

data ViewCmdFlg Source

Constructors ViewCmdFlg String Instances Eq ViewCmdFlg Show ViewCmdFlg Typeable ViewCmdFlg

mainBuilderTypes :: [BuilderType] Source

getFlagP :: (Show f, Show x, Typeable f, Typeable x) => (x -> f) -> Params -> Maybe x Source

getListFlagP :: (Show f, Show x, Typeable f, Typeable x) => ([x] -> f) -> Params -> [x] Source

setFlagP :: (Eq f, Show f, Show x, Typeable f, Typeable x) => (x -> f) -> x -> Params -> Params Source

hasFlagP :: (Typeable f, Typeable x) => (x -> f) -> Params -> Bool Source

deleteFlagP :: (Typeable f, Typeable x) => (x -> f) -> Params -> Params Source

hasOpt :: Optimisation -> Params -> Bool Source

getFlag :: (Show f, Show x, Typeable f, Typeable x) => (x -> f) -> [Flag] -> Maybe x Source

setFlag :: (Eq f, Show f, Show x, Typeable f, Typeable x) => (x -> f) -> x -> [Flag] -> [Flag] Source

hasFlag :: (Typeable f, Typeable x) => (x -> f) -> [Flag] -> Bool Source

data Optimisation Source

Constructors PolOpts AdjOpts Polarised NoConstraints SemFiltered Iaf one phase only! EarlyNa Instances Eq Optimisation Show Optimisation Typeable Optimisation

emptyParams :: Params Source

The default parameters configuration

defineParams :: [Flag] -> Params -> Params Source

treatArgs :: [OptDescr Flag] -> [String] -> IO Params Source

treatArgsWithParams :: [OptDescr Flag] -> [String] -> Params -> IO Params Source

usage Source

:: [OptSection] options -> String prog name -> String Print out a GenI-style usage message with options divided into sections

basicSections :: [OptSection] Source

optionsSections :: [OptSection] Source

processInstructions :: Params -> IO Params Source

Update the internal instructions list, test suite and case according to the contents of an instructions file.

optionsForStandardGenI :: [OptDescr Flag] Source

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

optionsForBasicStuff :: [OptDescr Flag] Source

optionsForOptimisation :: [OptDescr Flag] Source

optionsForMorphology :: [OptDescr Flag] Source

optionsForInputFiles :: [OptDescr Flag] Source

optionsForBuilder :: [OptDescr Flag] Source

optionsForTesting :: [OptDescr Flag] Source

nubBySwitches :: [OptDescr a] -> [OptDescr a] Source

noArg :: forall f. (Eq f, Show f, Typeable f) => (() -> f) -> ArgDescr Flag Source

reqArg Source

:: 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 Source

:: 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 Source

module System.Console.GetOpt

class Typeable a Source

The class Typeable allows a concrete representation of a type to be calculated. Instances Typeable Bool Typeable Char Typeable Double Typeable Float Typeable Int Typeable Int8 Typeable Int16 Typeable Int32 Typeable Int64 Typeable Integer Typeable Ordering Typeable RealWorld Typeable Word Typeable Word8 Typeable Word16 Typeable Word32 Typeable Word64 Typeable () Typeable HUnitFailure Typeable Handle Typeable Handle__ Typeable Exception Typeable DataType Typeable ThreadId Typeable BlockedIndefinitelyOnMVar Typeable BlockedIndefinitelyOnSTM Typeable Deadlock Typeable AssertionFailed Typeable AsyncException Typeable ArrayException Typeable ExitCode Typeable Dynamic Typeable CChar Typeable CSChar Typeable CUChar Typeable CShort Typeable CUShort Typeable CInt Typeable CUInt Typeable CLong Typeable CULong Typeable CLLong Typeable CULLong Typeable CFloat Typeable CDouble Typeable CPtrdiff Typeable CSize Typeable CWchar Typeable CSigAtomic Typeable CClock Typeable CTime Typeable CIntPtr Typeable CUIntPtr Typeable CIntMax Typeable CUIntMax Typeable IOException Typeable SomeException Typeable ErrorCall Typeable ArithException Typeable TypeRep Typeable TyCon Typeable ByteString Typeable ByteString Typeable JSValue Typeable JSString Typeable LocalTime Typeable ZonedTime Typeable PolarityAttr Typeable PolarityKey Typeable TimeOut Typeable GeniVal Typeable AvPair Typeable GType Typeable GNode Typeable ILexEntry Typeable Ptype Typeable TagElem Typeable TagSite Typeable WeirdFlg Typeable GrammarTypeFlg Typeable BuilderFlg Typeable ViewCmdFlg Typeable VersionFlg Typeable VerboseModeFlg Typeable TimeoutFlg Typeable TestSuiteFlg Typeable TestInstructionsFlg Typeable TestCaseFlg Typeable StatsFileFlg Typeable NoLoadTestSuiteFlg Typeable RunUnitTestFlg Typeable RootFeatureFlg Typeable RegressionTestModeFlg Typeable RankingConstraintsFlg Typeable PartialFlg Typeable OutputFileFlg Typeable OptimisationsFlg Typeable MorphInfoFlg Typeable MorphCmdFlg Typeable MetricsFlg Typeable TracesFlg Typeable MacrosFlg Typeable LexiconFlg Typeable InstructionsFileFlg Typeable HelpFlg Typeable FromStdinFlg Typeable ExtraPolaritiesFlg Typeable EarlyDeathFlg Typeable DumpDerivationFlg Typeable DetectPolaritiesFlg Typeable DisableGuiFlg Typeable BatchDirFlg Typeable Flag Typeable GrammarType Typeable BuilderType Typeable Optimisation Typeable UninflectedDisjunction Typeable SimpleGuiItem (Typeable1 s, Typeable a) => Typeable (s a)

Produced by Haddock version 2.6.0