Modulenonempty-containers-0.4.0.0Haskell2010

Data.Map.NonEmpty.Strict.Internal

Strict internal-use functions used in the implementation of Data.Map.NonEmpty.Strict. These share the same NEMap type as the lazy modules; only construction is strict in the value.

1 type
25 values

Packagenonempty-containers-0.4.0.0
Exports27
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

Non-Empty Map type

15 declarations

typetype NEMap = NEMap

patternpattern NEMap :: k -> a -> Map k a -> NEMap k a

valuenemMap :: NEMap k a -> Map k a

valuesingleton :: k -> a -> NEMap k a

valuenonEmptyMap :: Map k a -> Maybe (NEMap k a)

valuewithNonEmpty :: b -> (NEMap k a -> b) -> Map k a -> b

valuefromList :: Ord k => NonEmpty (k, a) -> NEMap k a

valuetoList :: NEMap k a -> NonEmpty (k, a)

valuemap :: (a -> b) -> NEMap k a -> NEMap k b

valueinsertWith :: Ord k => (a -> a -> a) -> k -> a -> NEMap k a -> NEMap k a

valueunion :: Ord k => NEMap k a -> NEMap k a -> NEMap k a

valueunions :: (Foldable1 f, Ord k) => f (NEMap k a) -> NEMap k a

valueelems :: NEMap k a -> NonEmpty a

valuesize :: NEMap k a -> Int

valuetoMap :: NEMap k a -> Map k a

Folds

6 declarations

valuefoldr :: (a -> b -> b) -> b -> NEMap k a -> b

valuefoldr' :: (a -> b -> b) -> b -> NEMap k a -> b

valuefoldr1 :: (a -> a -> a) -> NEMap k a -> a

valuefoldl :: (b -> a -> b) -> b -> NEMap k a -> b

valuefoldl' :: (b -> a -> b) -> b -> NEMap k a -> b

valuefoldl1 :: (a -> a -> a) -> NEMap k a -> a

Traversals

3 declarations

valuetraverseWithKey

:: Applicative f
=> k -> a -> f b
-> NEMap k a
-> f (NEMap k b)

valuetraverseWithKey1 :: Apply f => (k -> a -> f b) -> NEMap k a -> f (NEMap k b)

valuefoldMapWithKey :: Monoid m => (k -> a -> m) -> NEMap k a -> m

Unsafe Map Functions

2 declarations

valueinsertMinMap :: k -> a -> Map k a -> Map k a

valueinsertMaxMap :: k -> a -> Map k a -> Map k a

Debug

1 declaration

valuevalid :: Ord k => NEMap k a -> Bool