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

Contents

Description

Structural operations on DRSs

Synopsis

Exported

isLambdaDRS :: DRS -> Bool #

Returns whether a DRS is entirely a LambdaDRS (at its top-level).

isMergeDRS :: DRS -> Bool #

Returns whether a DRS is entirely a Merge (at its top-level).

isResolvedDRS :: DRS -> Bool #

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

isSubDRS :: DRS -> DRS -> Bool #

Returns whether DRS d1 is a direct or indirect sub-DRS of DRS d2