Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.RandomAccessList.RelativizedMap

Synopsis

data RelativizedMap a = RelativizedMap (IntMap a) !Word64

Documentation

data RelativizedMap a Source #

A sequence implemented by a map from "levels" to values and a counter giving the "current" level.

Constructors

RelativizedMap (IntMap a) !Word64

Instances

Instances details

IsList (RelativizedMap a) Source #
Instance details Defined in Data.RandomAccessList.RelativizedMap Associated Types type Item (RelativizedMap a) Source # Methods fromList ∷ [Item (RelativizedMap a)] → RelativizedMap a Source # fromListN ∷ Int → [Item (RelativizedMap a)] → RelativizedMap a Source # toList ∷ RelativizedMap a → [Item (RelativizedMap a)] Source #
Show a ⇒ Show (RelativizedMap a) Source #
Instance details Defined in Data.RandomAccessList.RelativizedMap Methods showsPrec ∷ Int → RelativizedMap a → ShowS Source # show ∷ RelativizedMap a → String Source # showList ∷ [RelativizedMap a] → ShowS Source #
Eq a ⇒ Eq (RelativizedMap a) Source #
Instance details Defined in Data.RandomAccessList.RelativizedMap Methods (==) ∷ RelativizedMap a → RelativizedMap a → Bool Source # (/=) ∷ RelativizedMap a → RelativizedMap a → Bool Source #
RandomAccessList (RelativizedMap a) Source #
Instance details Defined in Data.RandomAccessList.RelativizedMap Associated Types type Element (RelativizedMap a) Source # Methods empty ∷ RelativizedMap a Source # cons ∷ Element (RelativizedMap a) → RelativizedMap a → RelativizedMap a Source # uncons ∷ RelativizedMap a → Maybe (Element (RelativizedMap a), RelativizedMap a) Source # length ∷ RelativizedMap a → Word64 Source # consSlab ∷ NonEmptyVector (Element (RelativizedMap a)) → RelativizedMap a → RelativizedMap a Source # indexZero ∷ RelativizedMap a → Word64 → Maybe (Element (RelativizedMap a)) Source # indexOne ∷ RelativizedMap a → Word64 → Maybe (Element (RelativizedMap a)) Source # unsafeIndexZero ∷ RelativizedMap a → Word64 → Element (RelativizedMap a) Source # unsafeIndexOne ∷ RelativizedMap a → Word64 → Element (RelativizedMap a) Source #
type Item (RelativizedMap a) Source #
Instance details Defined in Data.RandomAccessList.RelativizedMap type Item (RelativizedMap a) = Item (AsRAL (RelativizedMap a))
type Element (RelativizedMap a) Source #
Instance details Defined in Data.RandomAccessList.RelativizedMap type Element (RelativizedMap a) = a