Test.GenCheck.Base.LabelledPartition

Documentation

class (Foldable (c k), Functor v) => LabelledPartition c k v where

Methods

empty :: c k (v a)

new :: Ord k => k -> [a] -> c k (v a)

size :: c k (v a) -> Int

insert :: Ord k => k -> a -> c k (v a) -> c k (v a)

lookup :: Ord k => k -> c k (v a) -> Maybe (v a)

merge :: (Ord k, Monoid (v a)) => c k (v a) -> c k (v a) -> c k (v a)

map :: Ord k => (k -> a -> r) -> c k (v a) -> c k (v r)

fold :: (k -> a -> b -> b) -> b -> c k (v a) -> b

toList :: c k (v a) -> [(k, v a)]

Instances

Ord k => LabelledPartition Map k []

fromList :: (LabelledPartition c k v, Ord k, Monoid (v a)) => [(k, [a])] -> c k (v a)

relabel :: (LabelledPartition c k v, LabelledPartition c k' v, Ord k') => (k -> a -> k') -> c k (v a) -> c k' (v a)

filter :: (LabelledPartition c k v, Ord k) => (k -> a -> Bool) -> c k (v a) -> c k (v a)