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.

Contents

Non-Empty Map type
Folds
Traversals
Unsafe Map Functions
Debug

Synopsis

type NEMap
pattern NEMap
value nemMap
value singleton
value nonEmptyMap
value withNonEmpty
value fromList
value toList
value map
value insertWith
value union
value unions
value elems
value size
value toMap
value foldr
value foldr'
value foldr1
value foldl
value foldl'
value foldl1
value traverseWithKey
value traverseWithKey1
value foldMapWithKey
value insertMinMap
value insertMaxMap
value valid

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

Non-Empty Map type

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

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

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

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

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

Debug

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