CHR.Data.VecAlloc

Vector intended for densily filled entries close to 0, > 0. In situ updates are not supposed to happen often.

Documentation

data VecAlloc e

VecAlloc e

Instances

Show e => Show (VecAlloc e)

Methods

showsPrec :: Int -> VecAlloc e -> ShowS

show :: VecAlloc e -> String

showList :: [VecAlloc e] -> ShowS

empty :: VecAlloc e

alter :: (Maybe e -> Maybe e) -> Int -> VecAlloc e -> VecAlloc e

lookup :: Int -> VecAlloc e -> Maybe e

toList :: VecAlloc e -> [(Int, e)]

fromList :: [(Int, e)] -> VecAlloc e

null :: VecAlloc e -> Bool