Data.Identifiers.Hashable

Contents

• Construction
• Insertion
• Info
• Extraction
• Lookups
• Properties

Synopsis

• data Identifiers i a
• empty :: Identifiers i a
• fromList :: (Integral i, Hashable a, Eq a) => [a] -> Identifiers i a
• insert :: (Integral i, Hashable a, Eq a) => Identifiers i a -> a -> Identifiers i a
• insertMany :: (Integral i, Hashable a, Eq a) => Identifiers i a -> [a] -> Identifiers i a
• size :: Identifiers i a -> Int
• toList :: Identifiers i a -> [a]
• lookupId :: (Hashable a, Eq a) => Identifiers i a -> a -> Maybe i
• lookupKey :: Integral i => Identifiers i a -> i -> Maybe a
• lookupKeys :: Integral i => Identifiers i a -> [i] -> [a]
• unsafeLookupId :: (Hashable a, Eq a) => Identifiers i a -> a -> i
• unsafeLookupKey :: Integral i => Identifiers i a -> i -> a
• (!) :: Integral i => Identifiers i a -> i -> a
• prop_hasId :: String -> Bool
• prop_stableId :: String -> Bool
• prop_keyRetrieval :: [String] -> Bool
• prop_keyRetrievalUnsafe :: [String] -> Bool
• prop_idempotent :: String -> Bool

Documentation

Construction

Insertion

Info

Extraction

Lookups

Properties