Data.Equality.Utils.IntToIntMap

This module defines IntToIntMap, a variant of IntMap in which the values are fixed to Int.

We make use of this structure in ReprUnionFind to improve performance by a constant factor

Documentation

data IntToIntMap :: UnliftedType

A map of integers to integers

Constructors

Nil

An empty IntToIntMap. Ideally this would be defined as a function instead of an exported constructor, but it's currently not possible to have top-level bindings for unlifted datatypes

type Key = Int#

Key type synonym in an IntToIntMap

type Val = Int#

Value type synonym in an IntToIntMap

find :: Key -> IntToIntMap -> Val

Find the Val for a Key in an IntToIntMap

insert :: Key -> Val -> IntToIntMap -> IntToIntMap

Insert a Val at a Key in an IntToIntMap

(!) :: IntToIntMap -> Key -> Val

\(O(\min(n,W))\). Find the value at a key. Calls error when the element can not be found.

unliftedFoldr :: forall a {b :: UnliftedType}. (a -> b -> b) -> b -> [a] -> b

A foldr in which the accumulator is unlifted