Data.Containers

Warning: This module should be considered highly experimental.

Documentation

class (Monoid set, MonoFoldable set) => Container set where

Associated Types

type ContainerKey set

Methods

member :: ContainerKey set -> set -> Bool

notMember :: ContainerKey set -> set -> Bool

union :: set -> set -> set

difference :: set -> set -> set

intersection :: set -> set -> set

Instances

Container IntSet

Ord k => Container [(k, v)]

Container (IntMap v)

Ord e => Container (Set e)

(Eq e, Hashable e) => Container (HashSet e)

Ord k => Container (Map k v)

(Eq k, Hashable k) => Container (HashMap k v)

class (MonoTraversable m, Container m) => IsMap m where

Associated Types

type MapValue m

Using just Element can lead to very confusing error messages.

Methods

lookup :: ContainerKey m -> m -> Maybe (MapValue m)

insertMap :: ContainerKey m -> MapValue m -> m -> m

deleteMap :: ContainerKey m -> m -> m

singletonMap :: ContainerKey m -> MapValue m -> m

mapFromList :: [(ContainerKey m, MapValue m)] -> m

mapToList :: m -> [(ContainerKey m, MapValue m)]

Instances

Ord k => IsMap [(k, v)]

IsMap (IntMap v)

Ord k => IsMap (Map k v)

(Eq k, Hashable k) => IsMap (HashMap k v)

class (Container s, Element s ~ ContainerKey s) => IsSet s where

Methods

insertSet :: Element s -> s -> s

deleteSet :: Element s -> s -> s

singletonSet :: Element s -> s

setFromList :: [Element s] -> s

setToList :: s -> [Element s]

Instances

IsSet IntSet

Ord e => IsSet (Set e)

(Eq e, Hashable e) => IsSet (HashSet e)