Copyright	(c) Harm Brouwer and Noortje Venhuizen
License	Apache-2.0
Maintainer	me@hbrouwer.eu, n.j.venhuizen@rug.nl
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.PDRS.Variables

Contents

Exported

Description

PDRS variables

Synopsis

pdrsRefToDRSRef :: PDRSRef -> DRSRef
pdrsRefToDRSVar :: PDRSRef -> DRSVar
drsRefToPDRSRef :: DRSRef -> PDRSRef
pdrsRelToDRSRel :: PDRSRel -> DRSRel
pdrsRelToString :: PDRSRel -> String
newPVars :: [PVar] -> [PVar] -> [PVar]
newPDRSRefs :: [PDRSRef] -> [PDRSRef] -> [PDRSRef]
newPRefs :: [PRef] -> [PDRSRef] -> [PRef]
pdrsLabel :: PDRS -> PVar
pdrsLabels :: PDRS -> [PVar]
pdrsMAP :: PDRS -> [MAP]
pdrsUniverse :: PDRS -> [PRef]
pdrsConditions :: PDRS -> [PCon]
pdrsUniverses :: PDRS -> [PRef]
pdrsMAPs :: PDRS -> [MAP]
pdrsVariables :: PDRS -> [PDRSRef]
pdrsPVars :: PDRS -> [PVar]
pdrsLambdas :: PDRS -> [((DRSVar, [DRSVar]), Int)]
pdrsLambdaVars :: PDRS -> [(DRSVar, [DRSVar])]

Exported

Conversion

pdrsRefToDRSRef :: PDRSRef -> DRSRef #

Converts a PDRSRef into a DRSRef

pdrsRefToDRSVar :: PDRSRef -> DRSVar #

Directly converts a PDRSRef into a DRSVar

drsRefToPDRSRef :: DRSRef -> PDRSRef #

Converts a DRSRef to a PDRSRef

pdrsRelToDRSRel :: PDRSRel -> DRSRel #

Converts a PDRSRel into a DRSRel

pdrsRelToString :: PDRSRel -> String #

Directly converts a PDRSRel into a String

New Variables

newPVars :: [PVar] -> [PVar] -> [PVar] #

Returns a list of new projection variables for a list of old PVars opvs, based on a list of existing PVars epvs.

newPDRSRefs :: [PDRSRef] -> [PDRSRef] -> [PDRSRef] #

Returns a list of new referents for a list of old PDRSRefs ors, based on a list of existing PDRSRefs ers.

newPRefs :: [PRef] -> [PDRSRef] -> [PRef] #

Returns a list of new projected referents for a list of old PRefs, based on a list of existing PVars prs and existing PDRSRefs ers.

Variable Collections

pdrsLabel :: PDRS -> PVar #

Returns the label of a PDRS.

pdrsLabels :: PDRS -> [PVar] #

Returns all the labels in a PDRS.

pdrsMAP :: PDRS -> [MAP] #

Returns the top-level MAPs of a PDRS.

pdrsUniverse :: PDRS -> [PRef] #

Returns the universe of a PDRS.

pdrsConditions :: PDRS -> [PCon] #

Returns the conditions of a PDRS.

pdrsUniverses :: PDRS -> [PRef] #

Returns the list of projected referents in all universes of a PDRS.

pdrsMAPs :: PDRS -> [MAP] #

Returns the list of all MAPs of a PDRS.

pdrsVariables :: PDRS -> [PDRSRef] #

Returns the list of all variables in a PDRS

pdrsPVars :: PDRS -> [PVar] #

Returns the list of all PVars in a PDRS

pdrsLambdas :: PDRS -> [((DRSVar, [DRSVar]), Int)] #

Returns the list of all lambda tuples in a PDRS

pdrsLambdaVars :: PDRS -> [(DRSVar, [DRSVar])] #

Returns the list of all lambda variables in a PDRS