TAGS


./app/Main.hs,52
module Main Main0,1
main main4,5
main main5,6

./Setup.hs,15
main main1,2

./src/GHCCompat.hs,889
module GHCCompat GHCCompat1,2
data TvSubst TvSubst54,55
data TvSubst = TvSubst TvSubst54,55
instance instance56,57
emptyTvSubst emptyTvSubst59,60
emptyTvSubst emptyTvSubst60,61
toTCv toTCv63,64
toTCv toTCv64,65
substTy substTy66,67
substTy substTy67,68
unionTvSubst unionTvSubst69,70
unionTvSubst unionTvSubst70,71
fromTCv fromTCv72,73
fromTCv fromTCv73,74
promotedBoolTyCon promotedBoolTyCon75,76
promotedBoolTyCon promotedBoolTyCon76,77
viewFunTy viewFunTy78,79
viewFunTy viewFunTy79,80
pattern pattern86,87
tcUnifyTy tcUnifyTy90,91
tcUnifyTy tcUnifyTy91,92
getEqTyCon getEqTyCon93,94
getEqTyCon getEqTyCon94,95
eqType eqType97,98
eqType eqType98,99
getEqTyCon getEqTyCon100,101
getEqWitnessTyCon getEqWitnessTyCon106,107
getEqWitnessTyCon getEqWitnessTyCon107,108
decompFunTy decompFunTy111,112
decompFunTy decompFunTy112,113

./src/Type/Checkerz/Lookup.hs,299
module Type.Checkerz.LookupType.Checkerz.Lookup0,1
type PackageName PackageName7,8
class (Monad m, MonadIO m) => MonadTcLookup MonadTcLookup10,11
class (Monad m, MonadIO m) => MonadTcLookup MonadTcLookup10,11
  findImportedModule findImportedModule11,12
  lookupOrigin lookupOrigin14,15

./src/Type/Checkerz.hs,917
module Type.CheckerzType.Checkerz4,5
type ConstrId ConstrId30,31
newtype Simplifier Simplifier32,33
  Simplifier Simplifier33,34
  Simplifier { runSimplifier runSimplifier33,34
data Constr Constr36,37
data Constr a = Constr Constr36,37
data Constr a = Constr { constrId constrId36,37
                       , constraint constraint37,38
instance instance40,41
newtype Parser Parser48,49
newtype Parser a = Parser Parser48,49
newtype Parser a = Parser { runParser runParser48,49
class IsConstraint IsConstraint54,55
class IsConstraint IsConstraint54,55
  fromCt fromCt55,56
  toCt toCt56,57
redundant redundant59,60
redundant redundant60,61
derived derived63,64
derived derived64,65
inaccessible inaccessible67,68
inaccessible inaccessible68,69
toSimplify toSimplify70,71
toSimplify toSimplify75,76
compilePlugin compilePlugin91,92
compilePlugin compilePlugin94,95

./test/Spec.hs,30
main main0,1
main main1,2