NLP.Adict.CostDiv

Documentation

data Group a

TODO: Add Choice data contructor together with appropriate implementation: Choice Char Weight

Constructors

Filter

Fields

predic :: a -> Bool

weight :: Weight

data CostDiv a

Cost function with edit operations divided with respect to weight. Two operations with the same cost should be assigned to the same group.

Constructors

CostDiv

Fields

insert :: [Group a]

delete :: a -> Weight

subst :: a -> [Group a]

posMod :: Pos -> Weight

mapWeight :: (Weight -> Weight) -> Group a -> Group a

costDefault :: Eq a => CostDiv a

type Sub a = Map Weight (Set a)

Substition desription for some character x.

mkSub :: Ord a => [(a, Weight)] -> Sub a

unSub :: Ord a => Sub a -> [Group a]

type SubMap a = Map a (Sub a)

Susbtitution map for an alphabet.

subOn :: Ord a => a -> SubMap a -> Sub a

mkSubMap :: Ord a => [(a, a, Weight)] -> SubMap a

toCost :: Double -> CostDiv a -> Cost a

Transform CostDiv to plain Cost function with default weight value.

toCostInf :: CostDiv a -> Cost a

Transform CostDiv to plain Cost function with default weight value set to +Infinity.