Data.DRS.Merge
Contents
Description
DRS merge
drsMerge :: DRS -> DRS -> DRS #
Applies merge to DRS d1 and DRS d2.
DRS
d1
d2
(<<+>>) :: DRS -> DRS -> DRS #
Infix notation for drsMerge.
drsMerge
drsCombine :: ((DRSRef -> DRS) -> DRS) -> DRS -> DRS #
Combines an unresolved DRS and a DRS into a resolved DRS.
(<<&>>) :: ((DRSRef -> DRS) -> DRS) -> DRS -> DRS #
Infix notation for drsCombine.
drsCombine
drsResolveMerges :: DRS -> DRS #
Resolves all unresolved merges in a DRS.