Data.BitMap

Definitions

Key : Type

Totality: total
Visibility: public export

data BitMap : Type -> Type

Totality: total
Visibility: export
Constructors:

Empty : BitMap a

Leaf : a -> BitMap a

Branch : BitMap a -> BitMap a -> BitMap a -> BitMap a -> BitMap a

Hints:

Eq v => Eq (BitMap v)

Foldable BitMap

Functor BitMap

Show v => Show (BitMap v)

Traversable BitMap

isEmpty : BitMap v -> Bool

Totality: total
Visibility: export

nonEmpty : BitMap v -> Bool

Totality: total
Visibility: export

lookup : Key -> BitMap a -> Maybe a

Totality: total
Visibility: export

pairs : BitMap v -> List (Key, v)

Totality: total
Visibility: export

foldlKV : (acc -> Key -> v -> acc) -> acc -> BitMap v -> acc

Totality: total
Visibility: export

traverseWithKey : Applicative f => (Key -> v -> f w) -> BitMap v -> f (BitMap w)

Totality: total
Visibility: export

mapWithKey : (Key -> v -> w) -> BitMap v -> BitMap w

Totality: total
Visibility: export

keys : BitMap v -> List Key

  Gets the keys of the map.

Totality: total
Visibility: export

values : BitMap v -> List v

Totality: total
Visibility: export

empty : BitMap v

Totality: total
Visibility: export

singleton : Key -> a -> BitMap a

Totality: total
Visibility: public export

mapMaybe : (a -> Maybe b) -> BitMap a -> BitMap b

Totality: total
Visibility: export

filter : (a -> Bool) -> BitMap a -> BitMap a

Totality: total
Visibility: export

insert : Key -> a -> BitMap a -> BitMap a

Totality: total
Visibility: export

fromList : List (Key, v) -> BitMap v

Totality: total
Visibility: export

insertWith : (a -> a -> a) -> Key -> a -> BitMap a -> BitMap a

Totality: total
Visibility: export

update : Key -> (a -> a) -> BitMap a -> BitMap a

Totality: total
Visibility: export

union : BitMap a -> BitMap a -> BitMap a

Totality: total
Visibility: export

delete : Key -> BitMap a -> BitMap a

Totality: total
Visibility: export

data DecompAt : Type -> Type

Totality: total
Visibility: public export
Constructors:

NoMatchAt : DecompAt a

MatchAt : a -> BitMap a -> DecompAt a

decompAt : Key -> BitMap a -> DecompAt a

Totality: total
Visibility: export

data Decomp : Type -> Type

Totality: total
Visibility: public export
Constructors:

NoMatch : Decomp a

Match : Key -> a -> BitMap a -> Decomp a

decomp : BitMap a -> Decomp a

Totality: total
Visibility: export