Data.HashMap.Array

Definitions

data Array : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkArray : Bits32 -> ArrayData a -> Array a

Hints:

Eq a => Eq (Array a)

Foldable Array

Functor Array

Show a => Show (Array a)

empty : Array a

Totality: total
Visibility: export

singleton : a -> Array a

Totality: total
Visibility: export

fromList : List a -> Array a

Totality: total
Visibility: export

length : Array a -> Bits32

Totality: total
Visibility: export

index : Array a -> Bits32 -> Maybe a

Totality: total
Visibility: export

update : Array a -> List (Bits32, a) -> Array a

Totality: total
Visibility: export

insert : Bits32 -> a -> Array a -> Array a

Totality: total
Visibility: export

delete : Bits32 -> Array a -> Array a

Totality: total
Visibility: export

findIndex : (a -> Bool) -> Array a -> Maybe Bits32

Totality: total
Visibility: export

findWithIndex : (a -> Bool) -> Array a -> Maybe (Bits32, a)

Totality: total
Visibility: export

append : a -> Array a -> Array a

Totality: total
Visibility: export

all : (a -> b -> Bool) -> Array a -> Array b -> Bool

Totality: total
Visibility: export