gf-3.8: Grammatical Framework

Index

!PGF.Haskell
!$PGF.Haskell
!*PGF.Haskell
$$GF.Text.Pretty
$+$GF.Text.Pretty
+++ 
1 (Function)PGF.Haskell
2 (Function)GF.Support
++++GF.Support
+++++GF.Support
+++-GF.Support
++-GF.Support
<+>GF.Text.Pretty
<>GF.Text.Pretty
AbsGF
AbsCatGF
AbsFunGF
abstractNamePGF
abstractOfConcreteGF
addAcutePGF.LexingAGreek
addOptionsGF.Support
AdHocOverloadGF
allAbstractsGF
allCaseValuesGF
allConcreteModulesGF
allConcretesGF
allDependenciesGF
allDepsModuleGF
allExtendsGF
allExtendsPlusGF
allResourcesGF
ALL_CAPITPGF.Haskell
AlternGF
AltsGF
AlwaysRecompGF.Support
AnalysisPGF
AnyIndGF
ApPGF
App 
1 (Data Constructor)PGF
2 (Data Constructor)GF
appConsGF
appFormGF
argIdentGF
AssignGF
assignGF
assignTGF
ATreePGF
BadGF.Support
batchCompileGF
BinaryGF.Support
BINDPGF.Haskell
bindTokPGF.Lexing
BindTypeGF
BinTreeGF.Support
blueFgGF.Support
bracesGF.Text.Pretty
BracketPGF
bracketedLinearizePGF
BracketedStringPGF
bracketsGF.Text.Pretty
browsePGF
buildMorphoPGF
buildTreeGF.Support
CGF
CannotInferTypePGF
CanonGF.Support
CAPITPGF.Haskell
capitInitPGF.Lexing
CaseGF
CatGF
catGF.Text.Pretty
catchGF.Support
categoriesPGF
categoryContextPGF
catSkeletonGF
CFGBottomUpFilterGF.Support
CFGMergeIdenticalGF.Support
CFGNoLRGF.Support
CFGRegularGF.Support
CFGRemoveCyclesGF.Support
CFGStartCatOnlyGF.Support
CFGTopDownFilterGF.Support
CFGTransformGF.Support
cfgTransformGF.Support
changeConsoleEncodingGF.Support
changeTableTypeGF
checkExprPGF
checkPredefErrorGF
checksGF.Support
checkTypePGF
checkUniqueGF.Support
chunksGF.Support
CIdPGF
CnGF
CncCatGF
CncFunGF
cnPredefGF
collectOpGF
collectPattOpGF
combinationsGF.Support
CompileGF.Support
CompiledModuleGF
compileOneGF
compileToPGFGF
composOpGF
composPattOpGF
composSafeOpGF
composSafePattOpGF
computePGF
ConGF
concatOptionsGF.Support
conlls2latexDocPGF
ContextGF
contextOfTypeGF
ConvertGF.Support
DebugGF.Support
decodeGF.Support
decodeFileGF.Support
decodeModuleGF
decodeModuleHeaderGF
defaultEncodingGF.Support
defaultLinTypeGF
defaultProbabilitiesPGF
defLinTypeGF
denormalizePGF.LexingAGreek
depPathModuleGF
dieGF.Support
DocGF.Text.Pretty
doneGF.Support
doubleQuotesGF.Text.Pretty
dropAccentPGF.LexingAGreek
dropLastAccentPGF.LexingAGreek
Dump 
1 (Type/Class)GF.Support
2 (Data Constructor)GF.Support
dumpGF.Support
EFloatGF
EIntGF
ELinGF
ELincatGF
EmptyGF
emptyGF.Text.Pretty
emptyBinTreeGF.Support
emptyGrammarGF
encliticsPGF.LexingAGreek
enclitics_explsPGF.LexingAGreek
encodeGF.Support
encodeFileGF.Support
encodeModuleGF
EnumAllPGF.Haskell
enumAllPGF.Haskell
EPattGF
EPattTypeGF
ePutStrGF.Support
ePutStrLnGF.Support
eqStrIdentGF
EquationGF
ErrGF.Support
errGF.Support
errInGF.Support
ErrorGF
ErrorMonadGF.Support
ExampleGF
ExplicitGF
exportPGFGF
ExprPGF
ExtendGF.Support
extendPathEnvGF.Support
extendsGF
ExternalGF.Support, GF
ExtRGF
fcatGF.Text.Pretty
FIdPGF, GF
FileNameGF.Support
filterBinTreeGF.Support
fixRelativeLibPathsGF.Support
flagGF.Support
Flags 
1 (Type/Class)GF.Support
2 (Data Constructor)GF.Support
flattenBracketedStringPGF
float2termGF
FmtBNFGF.Support
FmtByteCodeGF.Support
FmtEBNFGF.Support
FmtFAGF.Support
FmtGSLGF.Support
FmtHaskellGF.Support
FmtJavaScriptGF.Support
FmtJSGFGF.Support
FmtLambdaPrologGF.Support
FmtNoLRGF.Support
FmtPGFPrettyGF.Support
FmtPrologGF.Support
FmtPythonGF.Support
FmtRegExpGF.Support
FmtRegularGF.Support
FmtSLFGF.Support
FmtSRGS_ABNFGF.Support
FmtSRGS_ABNF_NonRecGF.Support
FmtSRGS_XMLGF.Support
FmtSRGS_XML_NonRecGF.Support
FmtVoiceXMLGF.Support
freshAsTermGF
fromAGreekPGF.LexingAGreek
fromErrGF.Support
fromStrPGF.Haskell
fsepGF.Text.Pretty
fullFormLexiconPGF
FullPathGF.Support
FunGF
functionsPGF
functionsByCatPGF
functionTypePGF
FunIdGF
funsToAndFromGF
FVGF
generateAllPGF
generateAllDepthPGF
generateFromPGF
generateFromDepthPGF
generateRandomPGF
generateRandomDepthPGF
generateRandomFromPGF
generateRandomFromDepthPGF
getAbsGF
getArgIndexGF
getBNFCRulesGF
getCompletionsPGF
getContinuationInfoPGF
getDepLabelsPGF
getEBNFRulesGF
getEncliticPGF.LexingAGreek
getEncodingGF.Support
getGrammarPathGF.Support
getLibraryDirectoryGF.Support
getOptionsGF
getParseOutputPGF
getProcliticPGF.LexingAGreek
getSourceModuleGF
getSubdirsGF.Support
getTableTypeGF
getTermColorsGF.Support
gf2gfoGF.Support
gf2gfo'GF.Support
gfFileGF.Support
gfGrammarPathVarGF.Support
gfLibraryPathGF.Support
gfoFileGF.Support
gizaAlignmentPGF
GlueGF
GrammarGF
graphvizAbstractTreePGF
graphvizAlignmentPGF
graphvizBracketedStringPGF
graphvizDefaultsPGF
graphvizDependencyTreePGF
GraphvizOptions 
1 (Type/Class)PGF
2 (Data Constructor)PGF
graphvizParseTreePGF
graphvizParseTreeDepPGF
greatestAbstractGF
greatestResourceGF
groupResultsPGF
handleGF.Support
handle_GF.Support
hangGF.Text.Pretty
hasAccentPGF.LexingAGreek
hasEndAcutePGF.LexingAGreek
hasEndCircumPGF.LexingAGreek
HaskellConcreteGF.Support
HaskellGADTGF.Support
HaskellLexicalGF.Support
HaskellNoPrefixGF.Support
HaskellOptionGF.Support
haskellOptionGF.Support
HaskellVariantsGF.Support
hasPrefinalAcutePGF.LexingAGreek
hasSingleAccentPGF.LexingAGreek
HasSourcePathGF.Support
Has_sPGF.Haskell
hcatGF.Text.Pretty
helpMessageGF.Support
hsepGF.Text.Pretty
Hypo 
1 (Type/Class)PGF
2 (Type/Class)GF
IdentGF
ident2labelGF
ident2rawGF
ident2terminalGF
ident2utf8GF
identAGF
identAVGF
identCGF
identSGF
identVGF
identWGF
ifNullGF.Support
ImplArgGF
ImplicitGF
indentGF.Support
inferExprPGF
InfoGF
inheritAllGF
InitPathGF.Support
initStatePGF
int2termGF
InternalGF
IOEGF.Support
ioErrorTextGF.Support
isAGreekPunctPGF.LexingAGreek
isAGreekVowelPGF.LexingAGreek
isArgIdentGF
isClosingPGF.Lexing
isCompilableModuleGF
isCompleteModuleGF
isEmptyGF.Text.Pretty
isEncliticPGF.LexingAGreek
isGFGF.Support
isGFOGF.Support
isHigherOrderTypeGF
isInBinTreeGF.Support
isInheritedGF
isInMorphoPGF
isLexicalCatGF.Support
isLiteralCatGF.Support
isMajorPunctPGF.Lexing
isMinorPunctPGF.Lexing
isModAbsGF
isModCncGF
isModResGF
isParenPGF.Lexing
isPredefConstantGF
isPrefixOfGF
isProcliticPGF.LexingAGreek
isPunctPGF.Lexing
isRecursiveTypeGF
isTypeIntsGF
isVariableGF
isWildIdentGF
iterFixGF.Support
jmentsGF
justIdentOfGF
justModuleNameGF.Support
KGF
L 
1 (Type/Class)GF.Support, GF
2 (Data Constructor)GF.Support, GF
LabelGF
label2identGF
LabellingGF
LabelsPGF
LanguagePGF
languageCodePGF
languagesPGF
LeafPGF
leafColorPGF
leafEdgeStylePGF
leafFontPGF
LeftModeGF.Text.Pretty
LemmaPGF
LetGF
lexAGreekPGF.LexingAGreek
lexAGreek2PGF.LexingAGreek
lexCodePGF.Lexing
lexLatexCodePGF.Lexing
lexMixedPGF.Lexing
lexTextPGF.Lexing
lexText'PGF.Lexing
lexTextAGreekPGF.LexingAGreek
lexTextAGreek2PGF.LexingAGreek
LIdentGF
liftErrGF.Support
liftIOGF.Support
linAsStrGF
LIndexPGF, GF
linearizePGF
linearizeAllPGF
linearizeAllLangPGF
lineLengthGF.Text.Pretty
LinkGF.Support
linkGF
linkGrammarsGF
linLabelGF
linTypeStrGF
LocalGF.Support, GF
LocalDefGF
LocationGF.Support, GF
lookupErrGF.Support
lookupModuleGF
lookupMorphoPGF
lookupTreeGF.Support
lookupTreeManyAllGF.Support
LVarGF
mainGF
mainGFCGF
mainGFIGF
mainOptsGF
mainRunGFIGF
mainServerGFIGF
mapAssignMGF
mapPairListMGF.Support
mapPairsMGF.Support
mapTreeGF.Support
maxVarIndexGF
maybeErrGF.Support
maybeIOGF.Support
mconcatMapGF
MetaGF
MetaIdGF
mexdepsGF
mextendGF
mflagsGF
mGrammarGF
MIAllGF
MIExceptGF
MIncludeGF
MIOnlyGF
missingLinsPGF
mkAbs 
1 (Function)PGF
2 (Function)GF
mkApp 
1 (Function)PGF
2 (Function)GF
mkAssignGF
mkCasesGF
mkCIdPGF
mkCTableGF
mkDepHypoPGF
mkDoublePGF
mkFreshVarGF
mkFreshVarsGF
mkFreshVarXGF
mkFunTypeGF
mkHypo 
1 (Function)PGF
2 (Function)GF
mkImplHypoPGF
mkIntPGF
mkLetGF
mkLetUntypedGF
mkMetaPGF
mkParseInputPGF
mkProbabilitiesPGF
mkProdGF
mkProdSimpleGF
mkRecordGF
mkRecordNGF
mkRecTypeGF
mkRecTypeNGF
mkSelectsGF
mkStrPGF
mkTableGF
mkTermGF
mkTypePGF
mkWildCasesGF
MNGF
Mode 
1 (Type/Class)GF.Text.Pretty
2 (Type/Class)GF.Support
modeGF.Text.Pretty
ModeCompilerGF.Support
ModeHelpGF.Support
ModeInteractiveGF.Support
ModeInteractive2GF.Support
ModeRunGF.Support
ModeRun2GF.Support
ModeServerGF.Support
ModeVersionGF.Support
modifyFlagsGF.Support
ModInfoGF
ModuleGF
ModuleInfoGF
moduleMapGF
ModuleNameGF
moduleNameSGF
modulesGF
ModuleStatusGF
ModuleTypeGF
MonadIOGF.Support
mopensGF
MorphoPGF
morphoKnownPGF
morphoMissingPGF
MSCompleteGF
mseqsGF
MSIncompleteGF
msrcGF
mstatusGF
MTAbstractGF
MTConcreteGF
MTInstanceGF
MTInterfaceGF
MTResourceGF
mtypeGF
mwithGF
nestGF.Text.Pretty
NeverRecompGF.Support
nextStatePGF
noCatPGF
nodeColorPGF
nodeEdgeStylePGF
nodeFontPGF
noDepPGF
noExistGF
noFunPGF
noLeavesPGF
NoLocGF.Support, GF
noLocGF.Support, GF
noOptionsGF.Support
NormalGF.Support
normalizePGF.LexingAGreek
NotFunTypePGF
nub'PGF.Utilities
numberedParagraphsGF.Support
OkGF.Support
OneLineModeGF.Text.Pretty
OneOutputGF
openedModuleGF
OpenSpecGF
optCaseSensitiveGF.Support
optCFGTransformsGF.Support
OptCSEGF.Support
optDocumentRootGF.Support
optDumpGF.Support
optEncodingGF.Support
OptExpandGF.Support
optGFLibPathGF.Support
optGFODirGF.Support
optHaskellOptionsGF.Support
optHeuristicFactorGF.Support
OptimizationGF.Support
OptimizeGF.Support
OptionsGF.Support
optionsGFOGF.Support
optionsPGFGF.Support
optJobsGF.Support
optLexerGF.Support
optLexicalCatsGF.Support
optLibraryPathGF.Support
optLiteralCatsGF.Support
optModeGF.Support
optNameGF.Support
optOptimizationsGF.Support
optOptimizePGFGF.Support
optOutputDirGF.Support
optOutputFormatsGF.Support
OptParametrizeGF.Support
optPlusAsBindGF.Support
optPMCFGGF.Support
optPreprocessorsGF.Support
optProbsFileGF.Support
optRecompGF.Support
optRetainResourceGF.Support
optShowCPUTimeGF.Support
optSISRGF.Support
optSpeechLanguageGF.Support
optSplitPGFGF.Support
optStartCatGF.Support
OptStemGF.Support
optStopAfterPhaseGF.Support
optTagsOnlyGF.Support
optTraceGF.Support
optUnlexerGF.Support
optVerbosityGF.Support
optWarningsGF.Support
OQualifGF
OSimpleGF
OthPGF
OtherPGF
OutputGF.Support
OutputFormatGF.Support
outputFormatsExplGF.Support
PGF
PageModeGF.Text.Pretty
pairMGF.Support
PAltGF
parallelBatchCompileGF
ParamGF
paraphrasePGF
parensGF.Text.Pretty
parsePGF
parseAllPGF
parseAllLangPGF
ParseFailedPGF
ParseIncompletePGF
ParseInput 
1 (Type/Class)PGF
2 (Data Constructor)PGF
parseModuleOptionsGF.Support
ParseOkPGF
parseOptionsGF.Support
ParseOutputPGF
ParseStatePGF
parseWithRecoveryPGF
parse_PGF
partOfGrammarGF
PAsGF
PassGF.Support
PattGF
patt2termGF
PCGF
PCharGF
PCharsGF
pExprPGF
PFloatGF
PGFPGF
PhaseGF.Support
pIdentPGF
piLiteralPGF
PImplArgGF
PIntGF
piTokenPGF
plusRecordGF
plusRecTypeGF
PMGF
PMacroGF
PMCFG 
1 (Type/Class)GF
2 (Data Constructor)GF
PMSeqGF
PNegGF
PPGF
ppGF.Text.Pretty
ppCIdPGF
ppConstrsGF
ppJudgementGF
ppLGF.Support, GF
ppListGF.Text.Pretty
ppLocationGF.Support, GF
ppMetaGF
ppModuleGF
ppParamsGF
ppPattGF
ppQIdentGF
ppTcErrorPGF
ppTermGF
ppValueGF
PRGF
prArgListGF.Support
prBracketGF.Support
prConjListGF.Support
prCurlyGF.Support
prCurlyListGF.Support
PrefixPGF.Haskell
prefixIdentGF
prefixRawIdentGF
PRepGF
prependModuleGF
PreprocGF.Support
PrettyGF.Text.Pretty
prIfEmptyGF.Support
ProbabilitiesPGF
probTreePGF
procliticsPGF.LexingAGreek
ProdGF
Production 
1 (Type/Class)GF
2 (Data Constructor)GF
projectRecGF
proj_sPGF.Haskell
prParenthGF.Support
prQuotedStringGF.Support
prReplicateGF.Support
prSemicListGF.Support
prTListGF.Support
prUpperGF.Support
PSeqGF
PStringGF
PTGF
PTildeGF
punctuateGF.Text.Pretty
putIfVerbGF.Support
putPointEGF.Support
putStrEGF.Support
putStrLnEGF.Support
PVGF
PWGF
QGF
QCGF
QIdentGF
QualifiedGF
QuietGF.Support
quotesGF.Text.Pretty
RGF
raiseGF.Support
rankTreesByProbsPGF
RawIdentGF
rawIdentCGF
rawIdentSGF
readBinaryFileGF.Support
readCIdPGF
readExprPGF
readIntArgGF.Support
readLanguagePGF
readOutputFormatGF.Support
readPGFPGF
readProbabilitiesFromFilePGF
readTypePGF
RebuildGF.Support
RecompGF.Support
RecompIfNewerGF.Support
record2substGF
recoveryStatesPGF
RecTypeGF
redFgGF.Support
redirectTermGF
RefreshGF.Support
RenameGF.Support
renameEncodingGF.Support
renderGF.Text.Pretty
renderStyleGF.Text.Pretty
replacePGF.Utilities
ResOperGF
ResOverloadGF
ResParamGF
restoreGF.Support
restoreEscapesGF.Support
ResValueGF
reuseGFOGF
ribbonsPerLineGF.Text.Pretty
R_s 
1 (Type/Class)PGF.Haskell
2 (Data Constructor)PGF.Haskell
SGF
sameMTypeGF
sepGF.Text.Pretty
SeqIdGF
SequenceGF
setCFGTransformGF.Support
setConsoleEncodingGF.Support
setOptimizationGF.Support
setProbabilitiesPGF
showBracketedStringPGF
showCIdPGF
showExprPGF
showIdentGF
showLanguagePGF
showPrintNamePGF
showProbabilitiesPGF
showRawIdentGF
showTypePGF
simpleParseInputPGF
SISRFormatGF.Support
SISR_1_0GF.Support
SISR_WD20030401GF.Support
SOFT_BINDPGF.Haskell
SOFT_SPACEPGF.Haskell
SortGF
sortRecGF
SourceGF.Support
SourceGrammarGF
SourceModInfoGF
SourceModuleGF
sourcePathGF.Support
splitInModuleSearchPathGF.Support
srcAbsNameGF
startCatPGF
StrPGF.Haskell
string2termGF
stringFromTermGF
StrsGF
strsFromTermGF
Style 
1 (Data Constructor)GF.Text.Pretty
2 (Type/Class)GF.Text.Pretty
styleGF.Text.Pretty
SubstitutionGF
symbolOfIdentGF
symidGF
TGF
TableGF
tablePGF.Haskell
tabularLinearizesPGF
TaggedGF
TcErrorPGF
TCompGF
TermGF
term2pattGF
TermColors 
1 (Type/Class)GF.Support
2 (Data Constructor)GF.Support
termFormGF
termFormCncGF
TermPrintQualGF
testErrGF.Support
theLinLabelGF
timeItGF.Support
TInfoGF
TKPGF.Haskell
toAcutePGF.LexingAGreek
toAGreekPGF.LexingAGreek
toATreePGF
toGravePGF.LexingAGreek
TokPGF.Haskell
TokenPGF
topoSortJmentsGF
topoSortJments2GF
topoTestGF.Support
topoTest2GF.Support
toTriePGF
to_R_sPGF.Haskell
TPPGF.Haskell
TRawGF
TreePGF
tree2listGF.Support
TriePGF
tryGF.Support
tryIOEGF.Support
TTypedGF
tuple2recordGF
tuple2recordPattGF
tuple2recordTypeGF
tupleLabelGF
TWildGF
Type 
1 (Type/Class)PGF
2 (Type/Class)GF
TypeCheckGF.Support
TypedGF
TypeErrorPGF
typeErrorGF
typeFloatGF
typeFormGF
typeFormCncGF
typeIntGF
typeIntsGF
TypeMismatchPGF
typePBoolGF
typePTypeGF
typeSkeletonGF
typeStrGF
typeStringGF
typeStrsGF
typeTokGF
typeTypeGF
unAbsPGF
unAppPGF
uncapitInitPGF.Lexing
unDoublePGF
UnexpectedImplArgPGF
unifyMaybeGF.Support
unifyMaybeByGF.Support
unIntPGF
UnknownCatPGF
UnknownFunPGF
unlexAGreekPGF.LexingAGreek
unlexCodePGF.Lexing
unlexMixedPGF.Lexing
unlexTextPGF.Lexing
unlexTextAGreekPGF.LexingAGreek
unLocGF.Support, GF
unMetaPGF
UnqualifiedGF
unquotePGF.Lexing
UnresolvedMetaVarsPGF
UnsolvableGoalPGF
unStrPGF
unTypePGF
unVGF
unzipRGF
updateTreeGF.Support
useIOEGF.Support
useTheSourceGF
utf8CIdPGF
uTypeGF
VGF
valCatGF
valTypeGF
valTypeCncGF
varIndexGF
varLabelGF
varStrGF
varXGF
vcatGF.Text.Pretty
verbAtLeastGF.Support
VerboseGF.Support
VerbosityGF.Support
VersionTaggedGF
VrGF
wasEncliticPGF.LexingAGreek
wasProcliticPGF.LexingAGreek
wildCIdPGF
wordsInTermGF
wrapLinesGF.Support
writeBinaryFileGF.Support
writeOutputsGF
writePGFGF
writeUTF8FileGF.Support
WrongCatArgsPGF
WrongVersionGF
ZigZagModeGF.Text.Pretty
zipAssignGF