License | MIT |
---|---|
Maintainer | Paweł Nowak <pawel834@gmail.com> |
Portability | GHC only |
Safe Haskell | None |
Language | Haskell2010 |
Subset, dense, total map implemented as a vector.
- type Subset s k = Reifies s (Set k)
- newtype TotalSubsetArray s k a = TotalSubsetArray (Vector a)
Documentation
newtype TotalSubsetArray s k a Source #
A total map from a subset s of keys k to values a, e.g. a restriction
of a partial function k -> a
to a subset of its domain on which the
function is defined. Implemented as a vector.
n is equal to the number of keys.