PGF

PGF

data PGF

readPGF

parsePGF

Identifiers

data CId

mkCId

wildCId

showCId

readCId

ppCId

pIdent

utf8CId

Languages

type Language

showLanguage

readLanguage

languages

abstractName

languageCode

Types

data Type

type Hypo

showType

readType

mkType

mkHypo

mkDepHypo

mkImplHypo

unType

categories

categoryContext

startCat

Functions

functions

functionsByCat

functionType

missingLins

Expressions & Trees

Tree

type Tree

Expr

data Expr

showExpr

readExpr

mkAbs

unAbs

mkApp

unApp

unapply

mkStr

unStr

mkInt

unInt

mkDouble

unDouble

mkFloat

unFloat

mkMeta

unMeta

pExpr

exprSize

exprFunctions

Operations

Linearization

linearize

linearizeAllLang

linearizeAll

bracketedLinearize

bracketedLinearizeAll

tabularLinearizes

groupResults

showPrintName

data BracketedString

type FId

type LIndex

type Token

showBracketedString

flattenBracketedString

Parsing

parse

parseAllLang

parseAll

parse_

parseWithRecovery

complete

Evaluation

compute

paraphrase

Type Checking

checkType

checkExpr

inferExpr

data TcError

ppTcError

Low level parsing API

data ParseState

initState

nextState

getCompletions

recoveryStates

data ParseInput

simpleParseInput

mkParseInput

data ParseOutput

getParseOutput

getContinuationInfo

Generation

generateAll

generateAllDepth

generateFrom

generateFromDepth

generateRandom

generateRandomDepth

generateRandomFrom

generateRandomFromDepth

Morphological Analysis

type Lemma

type Analysis

data Morpho

lookupMorpho

buildMorpho

fullFormLexicon

morphoMissing

morphoKnown

isInMorpho

Visualizations

graphvizAbstractTree

graphvizParseTree

graphvizParseTreeDep

graphvizDependencyTree

graphvizBracketedString

graphvizAlignment

gizaAlignment

data GraphvizOptions

graphvizDefaults

conlls2latexDoc

type Labels

getDepLabels

type CncLabels

getCncDepLabels

Probabilities

data Probabilities

mkProbabilities

defaultProbabilities

showProbabilities

readProbabilitiesFromFile

probTree

setProbabilities

rankTreesByProbs

Browsing

browse

Tries

data ATree t

data Trie

toATree

toTrie