| Safe Haskell | None |
|---|
Data.Containers
Description
Warning: This module should be considered highly experimental.
- class (Monoid set, MonoFoldable set) => SetContainer set where
- type ContainerKey set
- member :: ContainerKey set -> set -> Bool
- notMember :: ContainerKey set -> set -> Bool
- union :: set -> set -> set
- difference :: set -> set -> set
- intersection :: set -> set -> set
- class (MonoTraversable map, SetContainer map) => IsMap map where
- type MapValue map
- lookup :: ContainerKey map -> map -> Maybe (MapValue map)
- insertMap :: ContainerKey map -> MapValue map -> map -> map
- deleteMap :: ContainerKey map -> map -> map
- singletonMap :: ContainerKey map -> MapValue map -> map
- mapFromList :: [(ContainerKey map, MapValue map)] -> map
- mapToList :: map -> [(ContainerKey map, MapValue map)]
- class (SetContainer set, Element set ~ ContainerKey set) => IsSet set where
- insertSet :: Element set -> set -> set
- deleteSet :: Element set -> set -> set
- singletonSet :: Element set -> set
- setFromList :: [Element set] -> set
- setToList :: set -> [Element set]
- class MonoFunctor mono => MonoZip mono where
Documentation
class (Monoid set, MonoFoldable set) => SetContainer set whereSource
Associated Types
type ContainerKey set Source
Methods
member :: ContainerKey set -> set -> BoolSource
notMember :: ContainerKey set -> set -> BoolSource
union :: set -> set -> setSource
difference :: set -> set -> setSource
intersection :: set -> set -> setSource
Instances
| SetContainer IntSet | |
| Ord key => SetContainer [(key, value)] | |
| SetContainer (IntMap value) | |
| Ord element => SetContainer (Set element) | |
| (Eq element, Hashable element) => SetContainer (HashSet element) | |
| Ord k => SetContainer (Map k v) | |
| (Eq key, Hashable key) => SetContainer (HashMap key value) |
class (MonoTraversable map, SetContainer map) => IsMap map whereSource
Associated Types
Using just Element can lead to very confusing error messages.
Methods
lookup :: ContainerKey map -> map -> Maybe (MapValue map)Source
insertMap :: ContainerKey map -> MapValue map -> map -> mapSource
deleteMap :: ContainerKey map -> map -> mapSource
singletonMap :: ContainerKey map -> MapValue map -> mapSource
mapFromList :: [(ContainerKey map, MapValue map)] -> mapSource
mapToList :: map -> [(ContainerKey map, MapValue map)]Source
class (SetContainer set, Element set ~ ContainerKey set) => IsSet set whereSource
class MonoFunctor mono => MonoZip mono whereSource
zip operations on MonoFunctors.
Methods
ozipWith :: (Element mono -> Element mono -> Element mono) -> mono -> mono -> monoSource
ozip :: mono -> mono -> [(Element mono, Element mono)]Source
ounzip :: [(Element mono, Element mono)] -> (mono, mono)Source
Instances