Documentation

makeClasses :: Env -> SigEnv -> ModName -> ModSpecs -> ([DataConP], [(ModName, Var, LocSpecType)]) #

makeCLaws :: Env -> SigEnv -> ModName -> ModSpecs -> [(Class, [(ModName, Var, LocSpecType)])] #

makeSpecDictionaries :: Env -> SigEnv -> ModSpecs -> DEnv Var LocSpecType #

makeDefaultMethods :: Env -> [(ModName, Var, LocSpecType)] -> [(ModName, Var, LocSpecType)] #

makeMethodTypes :: DEnv Var LocSpecType -> [DataConP] -> [CoreBind] -> [(Var, MethodType LocSpecType)] #