Data.TreeDiff.OMap

Map which remembers the fromList order. This module is minimal on purpose.

Ordered map

data OMap k v

Instances

Functor (OMap k)

Defined in Data.TreeDiff.OMap

Methods

fmap :: (a -> b) -> OMap k a -> OMap k b

(<$) :: a -> OMap k b -> OMap k a

(Ord k, Arbitrary k) => Arbitrary1 (OMap k)

Defined in Data.TreeDiff.OMap

Methods

liftArbitrary :: Gen a -> Gen (OMap k a)

liftShrink :: (a -> [a]) -> OMap k a -> [OMap k a]

Ord k => Semialign (OMap k)

>>> let xs = fromList [('a', "alpha"), ('b', "beta")]
>>> let ys = fromList [('c', 3 :: Int), ('b', 2)]
>>> alignWith id xs ys
fromList [('a',This "alpha"),('c',That 3),('b',These "beta" 2)]

Defined in Data.TreeDiff.OMap

Methods

align :: OMap k a -> OMap k b -> OMap k (These a b)

alignWith :: (These a b -> c) -> OMap k a -> OMap k b -> OMap k c

(Eq k, Eq v) => Eq (OMap k v)

>>> xs = toAscList $ fromList [('a', "alpha"), ('b', "beta"), ('g', "gamma")]
>>> ys = toAscList $ fromList [('g', "gamma"), ('b', "beta"), ('a', "alpha")]
>>> xs == ys
True

>>> zs = toAscList $ fromList [('d', "delta"), ('b', "beta"), ('a', "alpha")]
>>> xs == zs
False

Defined in Data.TreeDiff.OMap

Methods

(==) :: OMap k v -> OMap k v -> Bool

(/=) :: OMap k v -> OMap k v -> Bool

(Show k, Show v) => Show (OMap k v)

Note: The instance uses toList, so Equal OMaps can be shown differently.

Defined in Data.TreeDiff.OMap

Methods

showsPrec :: Int -> OMap k v -> ShowS

show :: OMap k v -> String

showList :: [OMap k v] -> ShowS

(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (OMap k v)

Defined in Data.TreeDiff.OMap

Methods

arbitrary :: Gen (OMap k v)

shrink :: OMap k v -> [OMap k v]

(NFData k, NFData v) => NFData (OMap k v)

Defined in Data.TreeDiff.OMap

Methods

rnf :: OMap k v -> ()

Conversions

toAscList :: OMap k v -> [(k, v)]

>>> toAscList $ fromList [('a', "alpha"), ('b', "beta"), ('g', "gamma")]
[('a',"alpha"),('b',"beta"),('g',"gamma")]

>>> toAscList $ fromList [('g', "gamma"), ('b', "beta"), ('a', "alpha")]
[('a',"alpha"),('b',"beta"),('g',"gamma")]

toList :: OMap k v -> [(k, v)]

O(n log n). List in creation order. Doesn't respect Eq instance.

>>> toList $ fromList [('a', "alpha"), ('b', "beta"), ('g', "gamma")]
[('a',"alpha"),('b',"beta"),('g',"gamma")]

>>> toList $ fromList [('g', "gamma"), ('b', "beta"), ('a', "alpha")]
[('g',"gamma"),('b',"beta"),('a',"alpha")]

fromList :: Ord k => [(k, v)] -> OMap k v

>>> fromList [('g', "gamma"), ('b', "beta"), ('a', "alpha")]
fromList [('g',"gamma"),('b',"beta"),('a',"alpha")]

Construction

empty :: OMap k v

>>> empty :: OMap String Integer
fromList []

Query

elems :: OMap k v -> [v]

Elements in key ascending order.