Data.DAWG.VMap

A vector representation of Map.

Documentation

data VMap a

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

Instances

(Eq a, Unbox a) => Eq (VMap a)

(Eq (VMap a), Ord a, Unbox a) => Ord (VMap a)

(Show a, Unbox a) => Show (VMap a)

(Binary a, Unbox a) => Binary (VMap a)

mkVMap :: Unbox a => [(Char, a)] -> VMap a

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

empty :: Unbox a => VMap a

Empty map.

lookup :: Unbox a => Char -> VMap a -> Maybe a

Lookup the character in the map.

insert :: Unbox a => Char -> a -> VMap a -> VMap a

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