Data.DAWG.Wrapper

The module provides a wrapper over the DAWG with separate Codec for values encoding, which is beneficial when the set of possible DAWG values is small but individual values occupy a lot of memory. NOTE: Useless values are not deleted from the codec when deleting the DAWG entry.

Documentation

data DAWG a

A plain DAWG with separate Codec for values encoding.

Constructors

DAWG

Fields

dawg :: !(DAWG Int)

codec :: !(AtomCodec a)

empty :: DAWG a

Empty DAWG.

numStates :: DAWG a -> Int

Number of states in the underlying graph.

insert :: Ord a => String -> a -> DAWG a -> DAWG a

Insert the (key, value) pair into the DAWG.

delete :: Ord a => String -> DAWG a -> DAWG a

Delete the key from the DAWG.

lookup :: Ord a => String -> DAWG a -> Maybe a

Find value associated with the key.

fromList :: Ord a => [(String, a)] -> DAWG a

Construct DAWG from the list of (word, value) pairs.

fromLang :: [String] -> DAWG ()

Make DAWG from the list of words. Annotate each word with the () value.