autolib-data
Safe HaskellNone
LanguageHaskell98

Autolib.Multiset

Documentation

newtype Multiset a Source #

Constructors

Multiset (Map a Int) 

Instances

Instances details
(Ord a, Reader a) => Reader (Multiset a) Source # 
Instance details

Defined in Autolib.Multiset

ToDoc a => ToDoc (Multiset a) Source # 
Instance details

Defined in Autolib.Multiset

Methods

toDocPrec :: Int -> Multiset a -> Doc #

toDocList :: [Multiset a] -> Doc #

(Ord a, Reader a) => Read (Multiset a) Source # 
Instance details

Defined in Autolib.Multiset

fromList :: Ord a => [a] -> Multiset a Source #

multiset :: Ord a => [(a, Int)] -> Multiset a Source #

null :: Ord a => Multiset a -> Bool Source #

union :: Ord a => Multiset a -> Multiset a -> Multiset a Source #