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

Contents

Description

DRS merge

Synopsis

Exported

drsMerge :: DRS -> DRS -> DRS #

Applies merge to DRS d1 and DRS d2.

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

Infix notation for drsMerge.

drsCombine :: ((DRSRef -> DRS) -> DRS) -> DRS -> DRS #

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

(<<&>>) :: ((DRSRef -> DRS) -> DRS) -> DRS -> DRS #

Infix notation for drsCombine.

drsResolveMerges :: DRS -> DRS #

Resolves all unresolved merges in a DRS.