Documentation
data OverlapFlag Source
pprInstance :: Instance -> SDocSource
pprInstanceHdr :: Instance -> SDocSource
pprInstances :: [Instance] -> SDocSource
mkLocalInstance :: DFunId -> OverlapFlag -> InstanceSource
mkImportedInstance :: Name -> [Maybe Name] -> DFunId -> OverlapFlag -> InstanceSource
setInstanceDFunId :: Instance -> DFunId -> InstanceSource
instanceRoughTcs :: Instance -> [Maybe Name]Source
extendInstEnv :: InstEnv -> Instance -> InstEnvSource
extendInstEnvList :: InstEnv -> [Instance] -> InstEnvSource
instEnvElts :: InstEnv -> [Instance]Source
roughMatchTcs :: [Type] -> [Maybe Name]Source