TrieMap-0.5.4: Automatic type inference of generalized tries. Source code Contents Index

Data.TrieSet

Contents Set type Operators Query Construction Combine Filter Map Fold Min/Max Conversion List Ordered lists

Synopsis

data TSet a (\\) :: TKey a => TSet a -> TSet a -> TSet a null :: TKey a => TSet a -> Bool size :: TKey a => TSet a -> Int member :: TKey a => a -> TSet a -> Bool notMember :: TKey a => a -> TSet a -> Bool isSubsetOf :: TKey a => TSet a -> TSet a -> Bool isProperSubsetOf :: TKey a => TSet a -> TSet a -> Bool empty :: TKey a => TSet a singleton :: TKey a => a -> TSet a insert :: TKey a => a -> TSet a -> TSet a delete :: TKey a => a -> TSet a -> TSet a union :: TKey a => TSet a -> TSet a -> TSet a symmetricDifference :: TKey a => TSet a -> TSet a -> TSet a intersection :: TKey a => TSet a -> TSet a -> TSet a difference :: TKey a => TSet a -> TSet a -> TSet a filter :: TKey a => (a -> Bool) -> TSet a -> TSet a partition :: TKey a => (a -> Bool) -> TSet a -> (TSet a, TSet a) split :: TKey a => a -> TSet a -> (TSet a, TSet a) splitMember :: TKey a => a -> TSet a -> (TSet a, Bool, TSet a) map :: (TKey a, TKey b) => (a -> b) -> TSet a -> TSet b mapMonotonic :: (TKey a, TKey b) => (a -> b) -> TSet a -> TSet b fold :: TKey a => (a -> b -> b) -> b -> TSet a -> b foldl :: TKey b => (a -> b -> a) -> a -> TSet b -> a foldr :: TKey a => (a -> b -> b) -> b -> TSet a -> b findMin :: TKey a => TSet a -> a findMax :: TKey a => TSet a -> a deleteMin :: TKey a => TSet a -> TSet a deleteMax :: TKey a => TSet a -> TSet a deleteFindMin :: TKey a => TSet a -> (a, TSet a) deleteFindMax :: TKey a => TSet a -> (a, TSet a) minView :: TKey a => TSet a -> Maybe (a, TSet a) maxView :: TKey a => TSet a -> Maybe (a, TSet a) elems :: TKey a => TSet a -> [a] toList :: TKey a => TSet a -> [a] fromList :: TKey a => [a] -> TSet a toAscList :: TKey a => TSet a -> [a] fromAscList :: TKey a => [a] -> TSet a fromDistinctAscList :: TKey a => [a] -> TSet a

Set type

data TSet a Source

Instances TKey a => Eq (TSet a) (TKey a, Ord a) => Ord (TSet a) (TKey a, Show a) => Show (TSet a) TKey a => Monoid (TSet a)

Operators

(\\) :: TKey a => TSet a -> TSet a -> TSet a Source

Query

null :: TKey a => TSet a -> Bool Source

size :: TKey a => TSet a -> Int Source

member :: TKey a => a -> TSet a -> Bool Source

notMember :: TKey a => a -> TSet a -> Bool Source

isSubsetOf :: TKey a => TSet a -> TSet a -> Bool Source

isProperSubsetOf :: TKey a => TSet a -> TSet a -> Bool Source

Construction

empty :: TKey a => TSet a Source

singleton :: TKey a => a -> TSet a Source

insert :: TKey a => a -> TSet a -> TSet a Source

delete :: TKey a => a -> TSet a -> TSet a Source

Combine

union :: TKey a => TSet a -> TSet a -> TSet a Source

symmetricDifference :: TKey a => TSet a -> TSet a -> TSet a Source

intersection :: TKey a => TSet a -> TSet a -> TSet a Source

difference :: TKey a => TSet a -> TSet a -> TSet a Source

Filter

filter :: TKey a => (a -> Bool) -> TSet a -> TSet a Source

partition :: TKey a => (a -> Bool) -> TSet a -> (TSet a, TSet a) Source

split :: TKey a => a -> TSet a -> (TSet a, TSet a) Source

splitMember :: TKey a => a -> TSet a -> (TSet a, Bool, TSet a) Source

Map

map :: (TKey a, TKey b) => (a -> b) -> TSet a -> TSet b Source

mapMonotonic :: (TKey a, TKey b) => (a -> b) -> TSet a -> TSet b Source

Fold

fold :: TKey a => (a -> b -> b) -> b -> TSet a -> b Source

foldl :: TKey b => (a -> b -> a) -> a -> TSet b -> a Source

foldr :: TKey a => (a -> b -> b) -> b -> TSet a -> b Source

Min/Max

findMin :: TKey a => TSet a -> a Source

findMax :: TKey a => TSet a -> a Source

deleteMin :: TKey a => TSet a -> TSet a Source

deleteMax :: TKey a => TSet a -> TSet a Source

deleteFindMin :: TKey a => TSet a -> (a, TSet a) Source

deleteFindMax :: TKey a => TSet a -> (a, TSet a) Source

minView :: TKey a => TSet a -> Maybe (a, TSet a) Source

maxView :: TKey a => TSet a -> Maybe (a, TSet a) Source

Conversion

List

elems :: TKey a => TSet a -> [a] Source

toList :: TKey a => TSet a -> [a] Source

fromList :: TKey a => [a] -> TSet a Source

Ordered lists

toAscList :: TKey a => TSet a -> [a] Source

fromAscList :: TKey a => [a] -> TSet a Source

fromDistinctAscList :: TKey a => [a] -> TSet a Source

Produced by Haddock version 2.4.2