Data.DAWG.VMap

A vector representation of Map.

Documentation

data VMap

A strictly ascending vector of distinct elements with respect to fst values.

Instances

Eq VMap

Ord VMap

Show VMap

Binary VMap

empty :: VMap

Empty map.

lookup :: Int -> VMap -> Maybe Int

Lookup the character in the map.

insert :: Int -> Int -> VMap -> VMap

Insert the character/value pair into the map. TODO: Optimize! Use the invariant, that VMap is kept in an ascending vector.

fromList :: [(Int, Int)] -> VMap

Smart VMap constructor which ensures that the underlying vector is strictly ascending with respect to fst values.

toList :: VMap -> [(Int, Int)]

Convert the VMap to a list of ascending character/value pairs.