chr-data-0.1.0.0: Datatypes required for chr library

Safe HaskellNone
LanguageHaskell2010

CHR.Data.VecAlloc

Description

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

Synopsis

Documentation

data VecAlloc e Source #

VecAlloc e

Instances

Show e => Show (VecAlloc e) Source # 

Methods

showsPrec :: Int -> VecAlloc e -> ShowS #

show :: VecAlloc e -> String #

showList :: [VecAlloc e] -> ShowS #

empty :: VecAlloc e Source #

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

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

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

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

null :: VecAlloc e -> Bool Source #