Modulelinear-base-0.8.1

Data.HashMap.Mutable.Linear.Internal

6 types
34 values

Packagelinear-base-0.8.1
Exports40
LicenceMIT

value_debugShow :: (Show k, Show v) => HashMap k v %1 -> String

valueallocBeside

:: Keyed k
=> Int
-> HashMap k' v'
-> (HashMap k v, HashMap k' v')

valuealter

:: Keyed k
=> Maybe v -> Maybe v
-> k
-> HashMap k v
-> HashMap k v

valuealterF

:: (Keyed k, Functor f)
=> Maybe v -> f (Ur (Maybe v))
-> k
-> HashMap k v
-> f (HashMap k v)

valuecapacity :: HashMap k v %1 -> (Ur Int, HashMap k v)

valuechainU :: (# a, b #) %1 -> ((# a, b #) %1 -> c) %1 -> c

valuechainU' :: a %1 -> (a %1 -> (# b, c #)) %1 -> (# b, c #)

valueconstGrowthFactor :: Int

valueconstMaxLoadFactor :: Float

valuedecRobinValPSL :: RobinVal k v -> RobinVal k v

valuedelete :: Keyed k => k -> HashMap k v %1 -> HashMap k v

valueempty :: (Keyed k, Movable b) => Int -> (HashMap k v %1 -> b) %1 -> b

valuefilter :: Keyed k => (v -> Bool) -> HashMap k v %1 -> HashMap k v

valuefilterWithKey

:: Keyed k
=> k -> v -> Bool
-> HashMap k v
-> HashMap k v

valuefromList

:: (Keyed k, Movable b)
=> [(k, v)]
-> HashMap k v %1 -> b
-> b

valuegrowMapIfNecessary :: Keyed k => HashMap k v %1 -> HashMap k v

valueidealIndexForKey :: Keyed k => k -> HashMap k v %1 -> (Ur Int, HashMap k v)

valueincRobinValPSL :: RobinVal k v -> RobinVal k v

valueinsert :: Keyed k => k -> v -> HashMap k v %1 -> HashMap k v

valueinsertAll :: Keyed k => [(k, v)] -> HashMap k v %1 -> HashMap k v

valueintersectionWith

:: Keyed k
=> a -> b -> c
-> HashMap k a
-> HashMap k b
-> HashMap k c

valuelookup :: Keyed k => k -> HashMap k v %1 -> (Ur (Maybe v), HashMap k v)

valuemapMaybe :: Keyed k => (v -> Maybe v') -> HashMap k v %1 -> HashMap k v'

valuemapMaybeWithKey

:: Keyed k
=> k -> v -> Maybe v'
-> HashMap k v
-> HashMap k v'

valuemember :: Keyed k => k -> HashMap k v %1 -> (Ur Bool, HashMap k v)

valueprobeFrom

:: Keyed k
=> k
-> PSL
-> Int
-> HashMap k v
-> (# HashMap k v, ProbeResult k v #)

valueresize :: Keyed k => Int -> HashMap k v %1 -> HashMap k v

valueshiftSegmentBackward

:: Keyed k
=> Int
-> Int
-> RobinArr k v
-> Int
-> RobinArr k v

valueshrinkToFit :: Keyed k => HashMap k a %1 -> HashMap k a

valuesize :: HashMap k v %1 -> (Ur Int, HashMap k v)

valuetoList :: HashMap k v %1 -> Ur [(k, v)]

valuetryInsertAtIndex

:: Keyed k
=> HashMap k v
-> Int
-> RobinVal k v
-> HashMap k v

valueunion :: Keyed k => HashMap k v %1 -> HashMap k v %1 -> HashMap k v

valueunionWith

:: Keyed k
=> v -> v -> v
-> HashMap k v
-> HashMap k v
-> HashMap k v

datadata HashMap k v where

Constructors

HashMap :: !Int -> !Int -> !RobinArr k v -> HashMap k v

Instances5Functor, Consumable, Dupable, Semigroup

Functor (HashMap k)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Unsatisfiable ('Text "Using Prelude's Semigroup methods on a Data.HashMap.Mutable.Linear is vacuous as there can't be an unrestricted such Hashmap") => Semigroup (HashMap k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Consumable (HashMap k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Dupable (HashMap k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Keyed k => Semigroup (HashMap k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal

typetype Keyed k = (Eq k, Hashable k)

newtypenewtype PSL

Constructors

PSL Int

Instances4Eq, Num, Ord, Show

Eq PSLDefined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Num PSLDefined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Ord PSLDefined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Show PSLDefined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal

datadata ProbeResult k v where

Constructors

IndexToInsert :: !PSL -> !Int -> ProbeResult k v
IndexToUpdate :: v -> !PSL -> !Int -> ProbeResult k v
IndexToSwap :: RobinVal k v -> !PSL -> !Int -> ProbeResult k v

typetype RobinArr k v = Array (Maybe (RobinVal k v))

datadata RobinVal k v

Constructors

RobinVal !PSL !k v

Instances1Show

(Show k, Show v) => Show (RobinVal k v)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal