liquidhaskell-0.8.2.2: Liquid Types for Haskell

Language.Haskell.Liquid.Bag

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 #