ghc/lib/ghc/Set_mt.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Set where
   3 import FiniteMap(FiniteMap, intersectFM, keysFM, minusFM, plusFM)
   4 data FiniteMap a b      {-# GHC_PRAGMA EmptyFM | Branch a b Int# (FiniteMap a b) (FiniteMap a b) #-}
   5 type Set a = FiniteMap a ()
   6 elementOf :: Ord a => a -> FiniteMap a () -> Bool
   7         {-# GHC_PRAGMA _A_ 1 _U_ 121 _N_ _N_ _N_ _N_ #-}
   8 emptySet :: FiniteMap a ()
   9         {-# GHC_PRAGMA _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 1 0 X 1 _/\_ u0 -> _!_ _ORIG_ FiniteMap EmptyFM [u0, ()] [] _N_ #-}
  10 intersect :: Ord a => FiniteMap a () -> FiniteMap a () -> FiniteMap a ()
  11         {-# GHC_PRAGMA _A_ 1 _U_ 221 _N_ _N_ _F_ _IF_ARGS_ 1 0 X 1 _/\_ u0 -> _TYAPP_  _TYAPP_  _ORIG_ FiniteMap intersectFM { u0 } { () } _N_ #-}
  12 intersectFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
  13         {-# GHC_PRAGMA _A_ 1 _U_ 221 _N_ _N_ _N_ _N_ #-}
  14 isEmptySet :: FiniteMap a () -> Bool
  15         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  16 keysFM :: FiniteMap b a -> [b]
  17         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-}
  18 mapSet :: Ord b => (a -> b) -> FiniteMap a () -> FiniteMap b ()
  19         {-# GHC_PRAGMA _A_ 1 _U_ 121 _N_ _N_ _N_ _N_ #-}
  20 minusFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
  21         {-# GHC_PRAGMA _A_ 1 _U_ 221 _N_ _N_ _N_ _N_ #-}
  22 minusSet :: Ord a => FiniteMap a () -> FiniteMap a () -> FiniteMap a ()
  23         {-# GHC_PRAGMA _A_ 1 _U_ 221 _N_ _N_ _F_ _IF_ARGS_ 1 0 X 1 _/\_ u0 -> _TYAPP_  _TYAPP_  _ORIG_ FiniteMap minusFM { u0 } { () } _N_ #-}
  24 mkSet :: Ord a => [a] -> FiniteMap a ()
  25         {-# GHC_PRAGMA _A_ 1 _U_ 11 _N_ _N_ _N_ _N_ #-}
  26 plusFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
  27         {-# GHC_PRAGMA _A_ 1 _U_ 221 _N_ _N_ _N_ _N_ #-}
  28 setToList :: FiniteMap a () -> [a]
  29         {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _N_ _F_ _IF_ARGS_ 1 0 X 1 _/\_ u0 -> _TYAPP_  _TYAPP_  _ORIG_ FiniteMap keysFM { () } { u0 } _N_ #-}
  30 singletonSet :: a -> FiniteMap a ()
  31         {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _N_ _N_ _N_ #-}
  32 union :: Ord a => FiniteMap a () -> FiniteMap a () -> FiniteMap a ()
  33         {-# GHC_PRAGMA _A_ 1 _U_ 221 _N_ _N_ _F_ _IF_ARGS_ 1 0 X 1 _/\_ u0 -> _TYAPP_  _TYAPP_  _ORIG_ FiniteMap plusFM { u0 } { () } _N_ #-}
  34 unionManySets :: Ord a => [FiniteMap a ()] -> FiniteMap a ()
  35         {-# GHC_PRAGMA _A_ 1 _U_ 22 _N_ _N_ _N_ _N_ #-}
  36