PGF2

PGF

data PGF

readPGF

showPGF

Identifiers

type CId

Abstract syntax

type AbsName

abstractName

Categories

type Cat

categories

categoryContext

Functions

type Fun

functions

functionsByCat

functionType

functionIsConstructor

hasLinearization

Expressions

data Expr

showExpr

readExpr

pExpr

mkAbs

unAbs

mkApp

unApp

mkStr

unStr

mkInt

unInt

mkFloat

unFloat

mkMeta

unMeta

mkCId

exprHash

exprSize

exprFunctions

exprSubstitute

treeProbability

Types

data Type

type Hypo

data BindType

startCat

readType

showType

showContext

mkType

unType

Type checking

checkExpr

inferExpr

checkType

Computing

compute

Concrete syntax

type ConcName

data Concr

languages

concreteName

languageCode

Linearization

linearize

linearizeAll

tabularLinearize

tabularLinearizeAll

bracketedLinearize

bracketedLinearizeAll

type FId

type LIndex

data BracketedString

showBracketedString

flattenBracketedString

printName

alignWords

Parsing

data ParseOutput

parse

parseWithHeuristics

Sentence Lookup

lookupSentence

Generation

generateAll

Morphological Analysis

type MorphoAnalysis

lookupMorpho

fullFormLexicon

Visualizations

data GraphvizOptions

graphvizDefaults

graphvizAbstractTree

graphvizParseTree

graphvizWordAlignment

Exceptions

data PGFError

Grammar specific callbacks

type LiteralCallback

literalCallbacks