chr-data-0.1.0.1: 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 # 
Instance details

Defined in CHR.Data.VecAlloc

Methods

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

show :: VecAlloc e -> String #

showList :: [VecAlloc e] -> ShowS #

Lookup (VecAlloc e) Int e Source # 
Instance details

Defined in CHR.Data.Lookup.Instances

Methods

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

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

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

null :: VecAlloc e -> Bool Source #

size :: VecAlloc e -> Int Source #

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

singleton :: Int -> e -> VecAlloc e Source #

empty :: VecAlloc e Source #

insertWith :: (e -> e -> e) -> Int -> e -> VecAlloc e -> VecAlloc e Source #

insert :: Int -> e -> VecAlloc e -> VecAlloc e Source #

unionWith :: (e -> e -> e) -> VecAlloc e -> VecAlloc e -> VecAlloc e Source #

union :: VecAlloc e -> VecAlloc e -> VecAlloc e Source #

unionsWith :: (e -> e -> e) -> [VecAlloc e] -> VecAlloc e Source #

unions :: [VecAlloc e] -> VecAlloc e Source #

delete :: Int -> VecAlloc e -> VecAlloc e Source #

keys :: VecAlloc e -> [Int] Source #

keysSet :: VecAlloc e -> Set Int Source #

elems :: VecAlloc e -> [e] Source #

map :: (e -> e) -> VecAlloc e -> VecAlloc e Source #

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

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

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