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.Structure

Contents

Description

Structural operations on PDRSs

Synopsis

Exported

emptyPDRS :: PDRS -> PDRS #

Returns an empty PDRS, if possible with the same label as PDRS p.

isLambdaPDRS :: PDRS -> Bool #

Returns whether a PDRS is entirely a LambdaPDRS (at its top-level)

isMergePDRS :: PDRS -> Bool #

Returns whether a PDRS is an AMerge or PMerge (at its top-level)

isResolvedPDRS :: PDRS -> Bool #

Returns whether a PDRS is resolved (containing no unresolved merges or lambdas)

isSubPDRS :: PDRS -> PDRS -> Bool #

Returns whether PDRS p1 is a direct or indirect sub-PDRS of PDRS p2.