Modulelinear-base-0.8.1

Data.HashMap.Mutable.Linear.Internal

Synopsis

value _debugShow
value allocBeside
value alter
value alterF
value capacity
value chainU
value chainU'
value constGrowthFactor
value constMaxLoadFactor
value decRobinValPSL
value delete
value empty
value filter
value filterWithKey
value fromList
value growMapIfNecessary
value idealIndexForKey
value incRobinValPSL
value insert
value insertAll
value intersectionWith
value lookup
value mapMaybe
value mapMaybeWithKey
value member
value probeFrom
value resize
value shiftSegmentBackward
value shrinkToFit
value size
value toList
value tryInsertAtIndex
value union
value unionWith
data HashMap
type Keyed
newtype PSL
data ProbeResult
type RobinArr
data RobinVal

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