plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.RandomAccessList.RelativizedMap

Synopsis

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 #

Show a ⇒ Show (RelativizedMap a) Source # 
Instance details

Defined in Data.RandomAccessList.RelativizedMap

Eq a ⇒ Eq (RelativizedMap a) Source # 
Instance details

Defined in Data.RandomAccessList.RelativizedMap

RandomAccessList (RelativizedMap a) Source # 
Instance details

Defined in Data.RandomAccessList.RelativizedMap

Associated Types

type Element (RelativizedMap a) Source #

type Item (RelativizedMap a) Source # 
Instance details

Defined in Data.RandomAccessList.RelativizedMap

type Element (RelativizedMap a) Source # 
Instance details

Defined in Data.RandomAccessList.RelativizedMap

type Element (RelativizedMap a) = a