pdrt-sandbox-0.1.1: (Projective) Discourse Representation Theory
Copyright(c) Harm Brouwer and Noortje Venhuizen
LicenseApache-2.0
Maintainerme@hbrouwer.eu, n.j.venhuizen@rug.nl
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.PDRS.ProjectionTable

Description

PDRS projection table

Synopsis

Exported

Defining a PTable

type PTableItem = (PTableContent, PVar, PVar) #

Rows of a PTable

data PTableContent #

First column of a PTable

Instances

Instances details
Eq PTableContent # 
Instance details

Defined in Data.PDRS.ProjectionTable

Methods

(==) :: PTableContent -> PTableContent -> Bool #

(/=) :: PTableContent -> PTableContent -> Bool #

data PTable #

Projection table

Instances

Instances details
Show PTable #

Derive and instance of the Show typeclass for PTable.

Instance details

Defined in Data.PDRS.ProjectionTable

Methods

showsPrec :: Int -> PTable -> ShowS #

show :: PTable -> String #

showList :: [PTable] -> ShowS #

Eq PTable # 
Instance details

Defined in Data.PDRS.ProjectionTable

Methods

(==) :: PTable -> PTable -> Bool #

(/=) :: PTable -> PTable -> Bool #

showPTable :: PTable -> String #

Shows a projection table

printPTable :: PTable -> IO () #

Prints a projection table

pdrsToPTable :: PDRS -> PTable #

Derives the projection table of a PDRS

Private