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

Contents

Exported

Description

PDRS data type

Synopsis

data PDRS
- = LambdaPDRS ((DRSVar, [DRSVar]), Int)
- | AMerge PDRS PDRS
- | PMerge PDRS PDRS
- | PDRS PVar [MAP] [PRef] [PCon]
type PVar = Int
type MAP = (PVar, PVar)
data PRef = PRef PVar PDRSRef
data PDRSRef
- = LambdaPDRSRef ((DRSVar, [DRSVar]), Int)
- | PDRSRef DRSVar
data PDRSRel
- = LambdaPDRSRel ((DRSVar, [DRSVar]), Int)
- | PDRSRel String
data PCon = PCon PVar PDRSCon
data PDRSCon
- = Rel PDRSRel [PDRSRef]
- | Neg PDRS
- | Imp PDRS PDRS
- | Or PDRS PDRS
- | Prop PDRSRef PDRS
- | Diamond PDRS
- | Box PDRS

Exported

data PDRS #

Projective Discourse Representation Structure.

Constructors

LambdaPDRS ((DRSVar, [DRSVar]), Int)	A lambda `PDRS` (a variable, the set of referents to be applied to the PDRS, and its argument position)
AMerge PDRS PDRS	An assertive merge between two `PDRS`s
PMerge PDRS PDRS	A projective merge between two `PDRS`s
PDRS PVar [MAP] [PRef] [PCon]	A `PDRS`, consisting of a `PVar` (a label), a set of `MAP`s, a set of `PRef`s, and a set of `PCon`s

Instances

Instances details

Read PDRS #
Instance details Defined in Data.PDRS.DataType Methods readsPrec :: Int -> ReadS PDRS # readList :: ReadS [PDRS] # readPrec :: ReadPrec PDRS # readListPrec :: ReadPrec [PDRS] #
Show PDRS #	Derive and instance of the Show typeclass for `PDRS`.
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> PDRS -> ShowS # show :: PDRS -> String # showList :: [PDRS] -> ShowS #
Eq PDRS #
Instance details Defined in Data.PDRS.DataType Methods (==) :: PDRS -> PDRS -> Bool # (/=) :: PDRS -> PDRS -> Bool #
AbstractPDRS PDRS #
Instance details Defined in Data.PDRS.LambdaCalculus
PDRSAtom PDRS #
Instance details Defined in Data.PDRS.LambdaCalculus
ShowablePDRS PDRS #	Derive appropriate instances of `ShowablePDRS`.
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: PDRS -> Int -> Int -> PDRS #
ShowablePDRS p => Show (PDRS -> p) #
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> (PDRS -> p) -> ShowS # show :: (PDRS -> p) -> String # showList :: [PDRS -> p] -> ShowS #
ShowablePDRS p => Show ((PDRSRef -> PDRS) -> p) #
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> ((PDRSRef -> PDRS) -> p) -> ShowS # show :: ((PDRSRef -> PDRS) -> p) -> String # showList :: [(PDRSRef -> PDRS) -> p] -> ShowS #
ShowablePDRS p => ShowablePDRS (PDRS -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: (PDRS -> p) -> Int -> Int -> PDRS #
ShowablePDRS p => ShowablePDRS ((PDRSRef -> PDRS) -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: ((PDRSRef -> PDRS) -> p) -> Int -> Int -> PDRS #

type PVar = Int #

Projection variable (a label or pointer).

type MAP = (PVar, PVar) #

Minimally Accessible PDRS, represented as a tuple between a PVar and another PVar that is minimally accessible from the first PVar.

data PRef #

A projected referent, consisting of a PVar and a PDRSRef.

Constructors

PRef PVar PDRSRef

Instances

Instances details

Read PRef #
Instance details Defined in Data.PDRS.DataType Methods readsPrec :: Int -> ReadS PRef # readList :: ReadS [PRef] # readPrec :: ReadPrec PRef # readListPrec :: ReadPrec [PRef] #
Show PRef #
Instance details Defined in Data.PDRS.DataType Methods showsPrec :: Int -> PRef -> ShowS # show :: PRef -> String # showList :: [PRef] -> ShowS #
Eq PRef #
Instance details Defined in Data.PDRS.DataType Methods (==) :: PRef -> PRef -> Bool # (/=) :: PRef -> PRef -> Bool #

data PDRSRef #

A PDRS referent.

Constructors

LambdaPDRSRef ((DRSVar, [DRSVar]), Int)	A lambda PDRS referent (a variable, the set of referents to be applied to the referent, and its argument position)
PDRSRef DRSVar	A PDRS referent

Instances

Instances details

Read PDRSRef #
Instance details Defined in Data.PDRS.DataType Methods readsPrec :: Int -> ReadS PDRSRef # readList :: ReadS [PDRSRef] # readPrec :: ReadPrec PDRSRef # readListPrec :: ReadPrec [PDRSRef] #
Show PDRSRef #
Instance details Defined in Data.PDRS.DataType Methods showsPrec :: Int -> PDRSRef -> ShowS # show :: PDRSRef -> String # showList :: [PDRSRef] -> ShowS #
Eq PDRSRef #
Instance details Defined in Data.PDRS.DataType Methods (==) :: PDRSRef -> PDRSRef -> Bool # (/=) :: PDRSRef -> PDRSRef -> Bool #
PDRSAtom PDRSRef #
Instance details Defined in Data.PDRS.LambdaCalculus
ShowablePDRS p => Show (PDRSRef -> p) #	Derive appropriate instances of `Show` for `ShowablePDRS`s.
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> (PDRSRef -> p) -> ShowS # show :: (PDRSRef -> p) -> String # showList :: [PDRSRef -> p] -> ShowS #
ShowablePDRS p => Show ((PDRSRef -> PDRS) -> p) #
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> ((PDRSRef -> PDRS) -> p) -> ShowS # show :: ((PDRSRef -> PDRS) -> p) -> String # showList :: [(PDRSRef -> PDRS) -> p] -> ShowS #
ShowablePDRS p => ShowablePDRS (PDRSRef -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: (PDRSRef -> p) -> Int -> Int -> PDRS #
ShowablePDRS p => ShowablePDRS ((PDRSRef -> PDRS) -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: ((PDRSRef -> PDRS) -> p) -> Int -> Int -> PDRS #

data PDRSRel #

PDRS relation

Constructors

LambdaPDRSRel ((DRSVar, [DRSVar]), Int)
PDRSRel String

Instances

Instances details

Read PDRSRel #
Instance details Defined in Data.PDRS.DataType Methods readsPrec :: Int -> ReadS PDRSRel # readList :: ReadS [PDRSRel] # readPrec :: ReadPrec PDRSRel # readListPrec :: ReadPrec [PDRSRel] #
Show PDRSRel #
Instance details Defined in Data.PDRS.DataType Methods showsPrec :: Int -> PDRSRel -> ShowS # show :: PDRSRel -> String # showList :: [PDRSRel] -> ShowS #
Eq PDRSRel #
Instance details Defined in Data.PDRS.DataType Methods (==) :: PDRSRel -> PDRSRel -> Bool # (/=) :: PDRSRel -> PDRSRel -> Bool #
ShowablePDRS p => Show (PDRSRel -> p) #
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> (PDRSRel -> p) -> ShowS # show :: (PDRSRel -> p) -> String # showList :: [PDRSRel -> p] -> ShowS #
ShowablePDRS p => ShowablePDRS (PDRSRel -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: (PDRSRel -> p) -> Int -> Int -> PDRS #

data PCon #

A projected condition, consisting of a PVar and a PDRSCon.

Constructors

PCon PVar PDRSCon

Instances

Instances details

Read PCon #
Instance details Defined in Data.PDRS.DataType Methods readsPrec :: Int -> ReadS PCon # readList :: ReadS [PCon] # readPrec :: ReadPrec PCon # readListPrec :: ReadPrec [PCon] #
Eq PCon #
Instance details Defined in Data.PDRS.DataType Methods (==) :: PCon -> PCon -> Bool # (/=) :: PCon -> PCon -> Bool #

data PDRSCon #

A PDRS condition.

Constructors

Rel PDRSRel [PDRSRef]	A relation defined on a set of referents
Neg PDRS	A negated `PDRS`
Imp PDRS PDRS	An implication between two `PDRS`s
Or PDRS PDRS	A disjunction between two `PDRS`s
Prop PDRSRef PDRS	A proposition `PDRS`
Diamond PDRS	A possible `PDRS`
Box PDRS	A necessary `PDRS`

Instances

Instances details

Read PDRSCon #
Instance details Defined in Data.PDRS.DataType Methods readsPrec :: Int -> ReadS PDRSCon # readList :: ReadS [PDRSCon] # readPrec :: ReadPrec PDRSCon # readListPrec :: ReadPrec [PDRSCon] #
Eq PDRSCon #
Instance details Defined in Data.PDRS.DataType Methods (==) :: PDRSCon -> PDRSCon -> Bool # (/=) :: PDRSCon -> PDRSCon -> Bool #