liquidhaskell-0.8.2.4: Liquid Types for Haskell

Safe HaskellSafe
LanguageHaskell98

Language.Haskell.Liquid.Bag

Documentation

type Bag a = Map a Int Source #

empty :: Bag k Source #

get :: Ord k => k -> Bag k -> Int Source #

put :: Ord k => k -> Bag k -> Bag k Source #

union :: Ord k => Bag k -> Bag k -> Bag k Source #