MathObj.DiscreteMap

DiscreteMap was originally intended as a type class that unifies Map and Array. One should be able to simply choose between - Map for sparse arrays - Array for full arrays.

However, the Edison package provides the class AssocX which already exists for that purpose.

Currently I use this module for some numeric instances of Data.Map.

Documentation

strip :: (Ord i, Eq v, C v) => Map i v -> Map i v

Remove all zero values from the map.

Orphan instances

(Ord i, Eq a, Eq v, C a v) => C a (Map i v)

Methods

(*>) :: a -> Map i v -> Map i v

(Ord i, Eq a, Eq v, C a v) => C a (Map i v)

(Ord i, Eq a, Eq v, C a v) => C a (Map i v)

Methods

norm :: Map i v -> a

(Ord i, Eq a, Eq v, C a v) => C a (Map i v)

Methods

norm :: Map i v -> a

(Ord i, Eq a, Eq v, C a, Sqr a v) => C a (Map i v)

Methods

norm :: Map i v -> a

(Ord i, Eq a, Eq v, Sqr a v) => Sqr a (Map i v)

Methods

normSqr :: Map i v -> a

Ord i => C (Map i)

Methods

zero :: C a => Map i a

(<+>) :: C a => Map i a -> Map i a -> Map i a

(*>) :: C a => a -> Map i a -> Map i a

(Ord i, Eq v, C v) => C (Map i v)

Methods

zero :: Map i v

(+) :: Map i v -> Map i v -> Map i v

(-) :: Map i v -> Map i v -> Map i v

negate :: Map i v -> Map i v