| ||||||||||||||||||
| ||||||||||||||||||
Documentation | ||||||||||||||||||
type DFunId = Id | ||||||||||||||||||
data OverlapFlag | ||||||||||||||||||
| ||||||||||||||||||
data Instance | ||||||||||||||||||
| ||||||||||||||||||
pprInstance :: Instance -> SDoc | ||||||||||||||||||
pprInstanceHdr :: Instance -> SDoc | ||||||||||||||||||
pprInstances :: [Instance] -> SDoc | ||||||||||||||||||
instanceHead :: Instance -> ([TyVar], [PredType], Class, [Type]) | ||||||||||||||||||
mkLocalInstance :: DFunId -> OverlapFlag -> Instance | ||||||||||||||||||
mkImportedInstance :: Name -> [Maybe Name] -> DFunId -> OverlapFlag -> Instance | ||||||||||||||||||
instanceDFunId :: Instance -> DFunId | ||||||||||||||||||
setInstanceDFunId :: Instance -> DFunId -> Instance | ||||||||||||||||||
instanceRoughTcs :: Instance -> [Maybe Name] | ||||||||||||||||||
type InstEnv = UniqFM ClsInstEnv | ||||||||||||||||||
emptyInstEnv :: InstEnv | ||||||||||||||||||
extendInstEnv :: InstEnv -> Instance -> InstEnv | ||||||||||||||||||
extendInstEnvList :: InstEnv -> [Instance] -> InstEnv | ||||||||||||||||||
lookupInstEnv :: (InstEnv, InstEnv) -> Class -> [Type] -> ([InstMatch], [Instance]) | ||||||||||||||||||
instEnvElts :: InstEnv -> [Instance] | ||||||||||||||||||
classInstances :: (InstEnv, InstEnv) -> Class -> [Instance] | ||||||||||||||||||
instanceBindFun :: TyVar -> BindFlag | ||||||||||||||||||
instanceCantMatch :: [Maybe Name] -> [Maybe Name] -> Bool | ||||||||||||||||||
roughMatchTcs :: [Type] -> [Maybe Name] | ||||||||||||||||||
Produced by Haddock version 2.6.0 |