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

Description

DRS variables

Synopsis

Exported

Conversion

drsRefToDRSVar :: DRSRef -> DRSVar #

Converts a DRSRef r into a DRSVar.

drsRelToString :: DRSRel -> String #

Converts a DRSRef r into a DRSVar.

New Variables

newDRSRefs :: [DRSRef] -> [DRSRef] -> [DRSRef] #

Returns a list of new DRSRefs, based on a list of old DRSRefs and a list of existing DRSRefs.

Variable Collections

drsUniverse :: DRS -> [DRSRef] #

Returns the list of DRSRefs from the top-level universe in a DRS.

drsConditions :: DRS -> [DRSCon] #

Returns the list of DRSCons in a DRS.

drsUniverses :: DRS -> [DRSRef] #

Returns the list of DRSRefs from all universes in a DRS.

drsVariables :: DRS -> [DRSRef] #

Returns the list of all DRSRefs in a DRS (equals drsUniverses ++ drsFreeRefs).

drsLambdas :: DRS -> [(DRSVar, [DRSVar])] #

Returns the ordered list of all lambda variables in a DRS.

Private