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

Contents

Description

The module Data.PDRS.Merge contains functions required for merging PDRSs.

Synopsis

Exported

pdrsAMerge :: PDRS -> PDRS -> PDRS #

Applies assertive merge to PDRS p1 and PDRS p2.

(<<+>>) :: PDRS -> PDRS -> PDRS #

Infix notation for pdrsAMerge

pdrsPMerge :: PDRS -> PDRS -> PDRS #

Applies projective merge to PDRS p1 and PDRS p2.

(<<*>>) :: PDRS -> PDRS -> PDRS #

Infix notation for pdrsPMerge

pdrsCombine :: ((PDRSRef -> PDRS) -> PDRS) -> PDRS -> PDRS #

Combines an unresolved PDRS and a PDRS into a resolved PDRS.

(<<&>>) :: ((PDRSRef -> PDRS) -> PDRS) -> PDRS -> PDRS #

Infix notation for pdrsCombine

pdrsResolveMerges :: PDRS -> PDRS #

Resolves all unresolved merges in a PDRS.

pdrsDisjoin :: PDRS -> PDRS -> PDRS #

Disjoins PDRS p1 from PDRS p2, where:

p1 is disjoined from p2 iff
  • All duplicate occurrences of PVars and PDRSRefs from PDRS p2 in PDRS p1 are replaced by new variables.