NLP.GenI.FeatureStructure

Documentation

type Flist a = [AvPair a]

data AvPair a

Constructors

AvPair

Fields

avAtt :: Text

avVal :: a

Instances

Typeable1 AvPair

Pretty SemInput

GeniShow SemInput

Eq a => Eq (AvPair a)

Data a => Data (AvPair a)

Ord a => Ord (AvPair a)

Binary a => Binary (AvPair a)

NFData a => NFData (AvPair a)

Pretty (AvPair GeniVal)

Pretty (Flist GeniVal)

GeniShow (AvPair GeniVal)

GeniShow (Flist GeniVal)

DescendGeniVal v => DescendGeniVal (AvPair v)

Collectable a => Collectable (AvPair a)

DescendGeniVal v => DescendGeniVal ([String], Flist v)

type FeatStruct a = Map Text a

emptyFeatStruct :: FeatStruct a

mkFeatStruct :: Flist GeniVal -> FeatStruct GeniVal

fromFeatStruct :: FeatStruct a -> Flist a

sortFlist :: Flist a -> Flist a

Sort an Flist according with its attributes

unifyFeat :: Monad m => Flist GeniVal -> Flist GeniVal -> m (Flist GeniVal, Subst)

unifyFeat performs feature structure unification, under the these assumptions about the input:

• Features are ordered
• The Flists do not share variables (renaming has already been done.

The features are allowed to have different sets of attributes, beacuse we use alignFeat to realign them.

alignFeat :: Flist GeniVal -> Flist GeniVal -> [(Text, GeniVal, GeniVal)]

alignFeat is a pre-procesing step used to ensure that feature structures have the same set of keys. If a key is missing in one, we copy it to the other with an anonymous value.

The two feature structures must be sorted for this to work

alignFeatH :: Flist GeniVal -> Flist GeniVal -> [(Text, GeniVal, GeniVal)] -> [(Text, GeniVal, GeniVal)]

crushAvPair :: AvPair [GeniVal] -> Maybe (AvPair GeniVal)

crushFlist :: Flist [GeniVal] -> Maybe (Flist GeniVal)