Data.Mapping.MapWithDefault

Documentation

data MapWithDefault k v

Mappings constant except on an enumerated set of values

Constructors

MapWithDefault

Fields

• common :: v
• exceptions :: Map k v

Instances

Ord k => Mapping k (MapWithDefault k)

Defined in Data.Mapping.MapWithDefault

Methods

cst :: v -> MapWithDefault k v

act :: MapWithDefault k v -> k -> v

isConst :: Ord v => MapWithDefault k v -> Maybe v

mtraverse :: (Applicative f, Ord v) => (u -> f v) -> MapWithDefault k u -> f (MapWithDefault k v)

mmap :: Ord v => (u -> v) -> MapWithDefault k u -> MapWithDefault k v

mergeA :: (Applicative f, Ord w) => (u -> v -> f w) -> MapWithDefault k u -> MapWithDefault k v -> f (MapWithDefault k w)

merge :: Ord w => (u -> v -> w) -> MapWithDefault k u -> MapWithDefault k v -> MapWithDefault k w

Foldable (MapWithDefault k)

Defined in Data.Mapping.MapWithDefault

Methods

fold :: Monoid m => MapWithDefault k m -> m

foldMap :: Monoid m => (a -> m) -> MapWithDefault k a -> m

foldMap' :: Monoid m => (a -> m) -> MapWithDefault k a -> m

foldr :: (a -> b -> b) -> b -> MapWithDefault k a -> b

foldr' :: (a -> b -> b) -> b -> MapWithDefault k a -> b

foldl :: (b -> a -> b) -> b -> MapWithDefault k a -> b

foldl' :: (b -> a -> b) -> b -> MapWithDefault k a -> b

foldr1 :: (a -> a -> a) -> MapWithDefault k a -> a

foldl1 :: (a -> a -> a) -> MapWithDefault k a -> a

toList :: MapWithDefault k a -> [a]

null :: MapWithDefault k a -> Bool

length :: MapWithDefault k a -> Int

elem :: Eq a => a -> MapWithDefault k a -> Bool

maximum :: Ord a => MapWithDefault k a -> a

minimum :: Ord a => MapWithDefault k a -> a

sum :: Num a => MapWithDefault k a -> a

product :: Num a => MapWithDefault k a -> a

(Enum k, Eq k) => Neighbourly (MapWithDefault k)

This instance assumes that k is unbounded

It would be possible to do something valid in greater generality (for example, a MaybeBounded class), which might be a good idea.

Defined in Data.Mapping.MapWithDefault

Methods

neighbours :: Ord v => MapWithDefault k v -> Set (v, v)

(Ord k, Ord b, Monoid b) => Monoid (MapWithDefault k b)

Defined in Data.Mapping.MapWithDefault

Methods

mempty :: MapWithDefault k b

mappend :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

mconcat :: [MapWithDefault k b] -> MapWithDefault k b

(Ord k, Ord b, Semigroup b) => Semigroup (MapWithDefault k b)

Defined in Data.Mapping.MapWithDefault

Methods

(<>) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

sconcat :: NonEmpty (MapWithDefault k b) -> MapWithDefault k b

stimes :: Integral b0 => b0 -> MapWithDefault k b -> MapWithDefault k b

(Ord k, Ord b, Num b) => Num (MapWithDefault k b)

Defined in Data.Mapping.MapWithDefault

Methods

(+) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

(-) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

(*) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

negate :: MapWithDefault k b -> MapWithDefault k b

abs :: MapWithDefault k b -> MapWithDefault k b

signum :: MapWithDefault k b -> MapWithDefault k b

fromInteger :: Integer -> MapWithDefault k b

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

Defined in Data.Mapping.MapWithDefault

Methods

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

show :: MapWithDefault k v -> String

showList :: [MapWithDefault k v] -> ShowS

(Ord k, Ord b, Boolean b) => Boolean (MapWithDefault k b)

Defined in Data.Mapping.MapWithDefault

Methods

true :: MapWithDefault k b

false :: MapWithDefault k b

not :: MapWithDefault k b -> MapWithDefault k b

(&&) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

(||) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

xor :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

(-->) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

(<-->) :: MapWithDefault k b -> MapWithDefault k b -> MapWithDefault k b

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

Defined in Data.Mapping.MapWithDefault

Methods

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

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

(Ord v, Ord k) => Ord (MapWithDefault k v)

Defined in Data.Mapping.MapWithDefault

Methods

compare :: MapWithDefault k v -> MapWithDefault k v -> Ordering

(<) :: MapWithDefault k v -> MapWithDefault k v -> Bool

(<=) :: MapWithDefault k v -> MapWithDefault k v -> Bool

(>) :: MapWithDefault k v -> MapWithDefault k v -> Bool

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

max :: MapWithDefault k v -> MapWithDefault k v -> MapWithDefault k v

min :: MapWithDefault k v -> MapWithDefault k v -> MapWithDefault k v

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

fromListWithKey :: (Ord k, Eq v) => v -> (k -> u -> v -> v) -> [(k, u)] -> MapWithDefault k v