blob: cde124a52514121b67e2c20b0a7157c958db5266 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
interface TCE where
import CharSeq(CSeq)
import ErrUtils(Error(..))
import Id(Id)
import Maybes(MaybeErr)
import Name(Name)
import NameTypes(FullName, ShortName)
import PreludePS(_PackedString)
import Pretty(Delay, PprStyle, Pretty(..), PrettyRep)
import SrcLoc(SrcLoc)
import TyCon(TyCon)
import UniqFM(UniqFM)
import Unique(Unique)
type Error = PprStyle -> Int -> Bool -> PrettyRep
data MaybeErr a b
data Name
type Pretty = Int -> Bool -> PrettyRep
data PrettyRep
data SrcLoc
type TCE = UniqFM TyCon
data TyCon
data UniqFM a
checkTypeCycles :: UniqFM TyCon -> MaybeErr () (PprStyle -> Int -> Bool -> PrettyRep)
lookupTCE :: UniqFM TyCon -> Name -> TyCon
nullTCE :: UniqFM TyCon
plusTCE :: UniqFM TyCon -> UniqFM TyCon -> UniqFM TyCon
rngTCE :: UniqFM TyCon -> [TyCon]
unitTCE :: Unique -> TyCon -> UniqFM TyCon
|
