import GraphBase

import GraphOps

import GraphPpr

import Unique

import UniqFM

import UniqSet

import Outputable

        -> Int                          -- ^ how many times we've tried to color this graph so far.

        -> UniqFM (UniqSet color)       -- ^ map of (node class -> set of colors available for this class).

           , UniqSet k                  -- the set of nodes that we couldn't find a color for.

           , UniqFM  k )                -- map of regs (r1 -> r2) that were coaleced

           , Outputable cls)

        => UniqFM (UniqSet color)       -- ^ map of (node class -> set of colors available for this class).

import GraphBase

import GraphOps

import GraphPpr

import Unique

import UniqFM

import UniqSet

	-> Int				-- ^ how many times we've tried to color this graph so far.

	-> UniqFM (UniqSet color)	-- ^ map of (node class -> set of colors available for this class).

	   , UniqSet k			-- the set of nodes that we couldn't find a color for.

	   , UniqFM  k )		-- map of regs (r1 -> r2) that were coaleced

	   , Eq color, Outputable cls)

	=> UniqFM (UniqSet color)	-- ^ map of (node class -> set of colors available for this class).

	   , Eq color, Outputable cls)

	=> UniqFM (UniqSet color)	-- ^ map of (node class -> set of colors available for this class).

import OccName

import Var

import VarSet

import UniqFM

import Unique

import Util

import Maybes

import Outputable

import FastTypes

import StaticFlags

import FastString

\end{code}

\begin{code}

type VarEnv elt   = UniqFM elt

modifyVarEnv_Directly :: (a -> a) -> UniqFM a -> Unique -> UniqFM a

import Util

import Unique

import BasicTypes

import DynFlags

import UniqFM

import UniqSet

import FastString

import Binary

import Data.Char

import Data.Data

~~~~~~~~~~~~~~~~~

type TidyOccEnv = UniqFM Int

\begin{code}

type TidyOccEnv = UniqFM Int	-- The in-scope OccNames

import qualified X86.CodeGen

import qualified X86.Regs

import qualified X86.Instr

import qualified X86.Ppr

import qualified SPARC.CodeGen

import qualified SPARC.Regs

import qualified SPARC.Instr

import qualified SPARC.Ppr

import qualified SPARC.ShortcutJump

import qualified PPC.RegInfo

import qualified PPC.Instr

import qualified PPC.Ppr

import PackageConfig

import DynFlags

import Config           ( cProjectVersion )

import Name             ( Name, nameModule_maybe )

import UniqFM

import Module

import Util

import Panic

import Outputable

import Maybes

import System.Environment ( getEnv )

import Distribution.InstalledPackageInfo

import Distribution.InstalledPackageInfo.Binary

import HscTypes

import Inst

import InstEnv 

import FamInst 

import FamInstEnv

import qualified TcRnMonad as TcM

import qualified TcMType as TcM

import qualified TcEnv as TcM 

       ( checkWellStaged, topIdLvl, tcGetDefaultTys )

import Kind

import TcType

import DynFlags

import StgCmmUtils -- XXX layering violation

import Cmm

import CmmUtils

import CmmOpt

import DynFlags

import UniqSupply

import UniqFM

import Unique

import BlockId

type UsageMap = UniqFM RegUsage

import PackageConfig	

import DynFlags		( dopt, DynFlag(..), DynFlags(..), PackageFlag(..) )

import StaticFlags

import Config		( cProjectVersion )

import Name		( Name, nameModule_maybe )

import UniqFM

import Module

import Util

import Panic

import Outputable

import Maybes

import System.Environment ( getEnv )

import Distribution.InstalledPackageInfo

import OccName

import Var

import VarSet

import UniqFM

import Unique

import Util

import Maybes

import Outputable

import FastTypes

import StaticFlags

\begin{code}

type VarEnv elt   = UniqFM elt

modifyVarEnv_Directly :: (a -> a) -> UniqFM a -> Unique -> UniqFM a

import CoreSyn

import CoreFVs

import Type		( tyVarsOfType )

import CoreUtils        ( exprIsTrivial, isDefaultAlt, mkCoerceI, isExpandableApp )

import Coercion		( CoercionI(..), mkSymCoI )

import Id

import NameEnv

import NameSet

import Name		( Name, localiseName )

import VarEnv

import Var              ( varUnique )

import Maybes           ( orElse )

import Digraph          ( SCC(..), stronglyConnCompFromEdgedVerticesR )

import PrelNames        ( buildIdKey, foldrIdKey, runSTRepIdKey, augmentIdKey )

) where

import RegAlloc.Liveness

import Instruction

import Reg

import Cmm

import Bag

import Digraph

import UniqFM

import UniqSet

import UniqSupply

import Data.List

--   v1 = v2 renamings in this map.

sinkReg :: UniqFM Reg -> Reg -> Reg

import Name

import Module           ( Module )

import Outputable

import UniqFM

import Serialized

import Unique

-- | A collection of annotations

newtype AnnEnv = MkAnnEnv (UniqFM [Serialized])

-- Can't use a type synonym or we hit bug #2412 due to source import

--   no deserialization will take place until the [a] is actually demanded and

--   the [a] can also be empty (the UniqFM is not filtered).

deserializeAnns :: Typeable a => ([Word8] -> a) -> AnnEnv -> UniqFM [a]

deserializeAnns deserialize (MkAnnEnv ann_env)

import RegAlloc.Liveness

import Instruction

import Reg

import Cmm

import Bag

import Digraph

import UniqFM

import UniqSet

import UniqSupply

buildAlloc :: UniqFM Reg -> (Reg, Reg) -> UniqFM Reg

sinkReg :: UniqFM Reg -> Reg -> Reg

import UniqSet

import VarSet

import UniqFM

import StgSyn

import Id

import Name

import Module

import Unique

import Literal

import Digraph

import Gen2.ClosureInfo

import Control.Applicative

import Control.Lens

import {-# SOURCE #-} Name (Name)

import FastString

import Panic

import UniqFM

import FastMutInt

import Fingerprint

import BasicTypes

import Foreign

import Data.Array

import Data.ByteString (ByteString)

import qualified Data.ByteString.Internal as BS

import qualified Data.ByteString.Unsafe   as BS

import Data.IORef

        ClsInst(..), DFunInstType, pprInstance, pprInstanceHdr, pprInstances, 

        instanceHead, instanceSig, mkLocalInstance, mkImportedInstance,

import Class

import Var

import VarSet

import Name

import Unify

import Outputable

import ErrUtils

import BasicTypes

import UniqFM

import Util

import Id

import FastString

import LoadIface        ( loadInterfaceForName, loadSrcInterface )

import IfaceEnv

import HsSyn

import RdrName

import HscTypes

import TcEnv            ( tcLookupDataCon, tcLookupField, isBrackStage )

import TcRnMonad

import Id               ( isRecordSelector )

import Name

import NameSet

import NameEnv

import Module

import UniqFM

import DataCon          ( dataConFieldLabels, dataConTyCon )

import RegAlloc.Linear.State

import RegAlloc.Linear.Base

import RegAlloc.Linear.StackMap

import RegAlloc.Linear.FreeRegs

import RegAlloc.Linear.Stats

import RegAlloc.Linear.JoinToTargets

import qualified RegAlloc.Linear.PPC.FreeRegs    as PPC

import qualified RegAlloc.Linear.SPARC.FreeRegs  as SPARC

import qualified RegAlloc.Linear.X86.FreeRegs    as X86

import qualified RegAlloc.Linear.X86_64.FreeRegs as X86_64

import TargetReg

import RegAlloc.Liveness

import Instruction

import Reg

Based on @UniqFMs@ (as you would expect).

        -- * Unique set type

        UniqSet,    -- type synonym for UniqFM a

import UniqFM

import Unique

%*                                                                      *

\subsection{Implementation using ``UniqFM''}

type UniqSet a = UniqFM a