ghc-6.12.3: The GHC APISource codeContentsIndex
InstEnv
Documentation
type DFunId = IdSource
data OverlapFlag Source
Constructors
NoOverlap
OverlapOk
Incoherent
show/hide Instances
data Instance Source
Constructors
Instance
is_cls :: Name
is_tcs :: [Maybe Name]
is_tvs :: TyVarSet
is_tys :: [Type]
is_dfun :: DFunId
is_flag :: OverlapFlag
show/hide Instances
pprInstance :: Instance -> SDocSource
pprInstanceHdr :: Instance -> SDocSource
pprInstances :: [Instance] -> SDocSource
instanceHead :: Instance -> ([TyVar], [PredType], Class, [Type])Source
mkLocalInstance :: DFunId -> OverlapFlag -> InstanceSource
mkImportedInstance :: Name -> [Maybe Name] -> DFunId -> OverlapFlag -> InstanceSource
instanceDFunId :: Instance -> DFunIdSource
setInstanceDFunId :: Instance -> DFunId -> InstanceSource
instanceRoughTcs :: Instance -> [Maybe Name]Source
type InstEnv = UniqFM ClsInstEnvSource
emptyInstEnv :: InstEnvSource
extendInstEnv :: InstEnv -> Instance -> InstEnvSource
extendInstEnvList :: InstEnv -> [Instance] -> InstEnvSource
lookupInstEnv :: (InstEnv, InstEnv) -> Class -> [Type] -> ([InstMatch], [Instance])Source
instEnvElts :: InstEnv -> [Instance]Source
classInstances :: (InstEnv, InstEnv) -> Class -> [Instance]Source
instanceBindFun :: TyVar -> BindFlagSource
instanceCantMatch :: [Maybe Name] -> [Maybe Name] -> BoolSource
roughMatchTcs :: [Type] -> [Maybe Name]Source
Produced by Haddock version 2.6.1