Documentation

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

makeSpecDictionaries :: Env -> SigEnv -> (ModName, BareSpec) -> [(ModName, BareSpec)] -> ([RInstance LocBareType], DEnv Var LocSpecType) Source #

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

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