| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.RandomAccessList.RelativizedMap
Synopsis
- data RelativizedMap a = RelativizedMap (IntMap a) !Word64
Documentation
data RelativizedMap a #
A sequence implemented by a map from "levels" to values and a counter giving the "current" level.
Constructors
| RelativizedMap (NonEmptyVector (Element (RelativizedMap a)) -> RelativizedMap a -> RelativizedMap a # indexZero :: RelativizedMap a -> Word64 -> Maybe (Element (RelativizedMap a)) # indexOne :: RelativizedMap a -> Word64 -> Maybe (Element (RelativizedMap a)) # unsafeIndexZero :: RelativizedMap a -> Word64 -> Element (RelativizedMap a) # unsafeIndexOne :: RelativizedMap a -> Word64 -> Element (RelativizedMap a) # | |
| type Item (RelativizedMap a) # | |
Defined in Data.RandomAccessList.RelativizedMap | |
| type Element (RelativizedMap a) # | |
Defined in Data.RandomAccessList.RelativizedMap | |