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

Contents

Exported

Description

DRS data type

Synopsis

data DRS
- = LambdaDRS ((DRSVar, [DRSVar]), Int)
- | Merge DRS DRS
- | DRS [DRSRef] [DRSCon]
type DRSVar = String
data DRSRef
- = LambdaDRSRef ((DRSVar, [DRSVar]), Int)
- | DRSRef DRSVar
data DRSRel
- = LambdaDRSRel ((DRSVar, [DRSVar]), Int)
- | DRSRel String
data DRSCon
- = Rel DRSRel [DRSRef]
- | Neg DRS
- | Imp DRS DRS
- | Or DRS DRS
- | Prop DRSRef DRS
- | Diamond DRS
- | Box DRS

Exported

data DRS #

Discourse Representation Structure (DRS)

Constructors

LambdaDRS ((DRSVar, [DRSVar]), Int)	A lambda DRS (a variable, the set of referents to be applied to the DRS, and its argument position)
Merge DRS DRS	A merge between two DRSs
DRS [DRSRef] [DRSCon]	A DRS (a set of referents and a set of conditions)

Instances

Instances details

Read DRS #
Instance details Defined in Data.DRS.DataType Methods readsPrec :: Int -> ReadS DRS # readList :: ReadS [DRS] # readPrec :: ReadPrec DRS # readListPrec :: ReadPrec [DRS] #
Show DRS #	Derive an instance of the `Show` typeclass for `DRS`.
Instance details Defined in Data.DRS.Show Methods showsPrec :: Int -> DRS -> ShowS # show :: DRS -> String # showList :: [DRS] -> ShowS #
Eq DRS #
Instance details Defined in Data.DRS.DataType Methods (==) :: DRS -> DRS -> Bool # (/=) :: DRS -> DRS -> Bool #
AbstractDRS DRS #
Instance details Defined in Data.DRS.LambdaCalculus
DRSAtom DRS #
Instance details Defined in Data.DRS.LambdaCalculus
ShowableDRS DRS #	Derive appropriate instances of `ShowableDRS`.
Instance details Defined in Data.DRS.Show Methods drsResolve :: DRS -> Int -> Int -> DRS #
ShowableDRS d => Show (DRS -> d) #
Instance details Defined in Data.DRS.Show Methods showsPrec :: Int -> (DRS -> d) -> ShowS # show :: (DRS -> d) -> String # showList :: [DRS -> d] -> ShowS #
ShowableDRS d => Show ((DRSRef -> DRS) -> d) #
Instance details Defined in Data.DRS.Show Methods showsPrec :: Int -> ((DRSRef -> DRS) -> d) -> ShowS # show :: ((DRSRef -> DRS) -> d) -> String # showList :: [(DRSRef -> DRS) -> d] -> ShowS #
ShowableDRS d => ShowableDRS (DRS -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: (DRS -> d) -> Int -> Int -> DRS #
ShowableDRS d => ShowableDRS ((DRSRef -> DRS) -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: ((DRSRef -> DRS) -> d) -> Int -> Int -> DRS #

type DRSVar = String #

DRS variable

data DRSRef #

DRS referent

Constructors

LambdaDRSRef ((DRSVar, [DRSVar]), Int)	A lambda DRS referent (a variable, the set of referents to be applied to the referent, and its argument position)
DRSRef DRSVar	A DRS referent

Instances

Instances details

Read DRSRef #
Instance details Defined in Data.DRS.DataType Methods readsPrec :: Int -> ReadS DRSRef # readList :: ReadS [DRSRef] # readPrec :: ReadPrec DRSRef # readListPrec :: ReadPrec [DRSRef] #
Show DRSRef #
Instance details Defined in Data.DRS.DataType Methods showsPrec :: Int -> DRSRef -> ShowS # show :: DRSRef -> String # showList :: [DRSRef] -> ShowS #
Eq DRSRef #
Instance details Defined in Data.DRS.DataType Methods (==) :: DRSRef -> DRSRef -> Bool # (/=) :: DRSRef -> DRSRef -> Bool #
DRSAtom DRSRef #
Instance details Defined in Data.DRS.LambdaCalculus
ShowableDRS d => Show (DRSRef -> d) #	Derive appropriate instances of `Show` for `ShowableDRS`s.
Instance details Defined in Data.DRS.Show Methods showsPrec :: Int -> (DRSRef -> d) -> ShowS # show :: (DRSRef -> d) -> String # showList :: [DRSRef -> d] -> ShowS #
ShowableDRS d => Show ((DRSRef -> DRS) -> d) #
Instance details Defined in Data.DRS.Show Methods showsPrec :: Int -> ((DRSRef -> DRS) -> d) -> ShowS # show :: ((DRSRef -> DRS) -> d) -> String # showList :: [(DRSRef -> DRS) -> d] -> ShowS #
ShowableDRS d => ShowableDRS (DRSRef -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: (DRSRef -> d) -> Int -> Int -> DRS #
ShowableDRS d => ShowableDRS ((DRSRef -> DRS) -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: ((DRSRef -> DRS) -> d) -> Int -> Int -> DRS #

data DRSRel #

DRS relation

Constructors

LambdaDRSRel ((DRSVar, [DRSVar]), Int)
DRSRel String

Instances

Instances details

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

data DRSCon #

DRS condition

Constructors

Rel DRSRel [DRSRef]	A relation defined on a set of referents
Neg DRS	A negated DRS
Imp DRS DRS	An implication between two DRSs
Or DRS DRS	A disjunction between two DRSs
Prop DRSRef DRS	A proposition DRS
Diamond DRS	A possible DRS
Box DRS	A necessary DRS

Instances

Instances details

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