| ||||||||||||||||||||
| ||||||||||||||||||||
| 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.7.2 | ||||||||||||||||||||