Searched refs:extendTypeEnv (Results 1 – 4 of 4) sorted by relevance
8 , extendTypeEnv84 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv85 extendTypeEnv env thing = extendNameEnv env (getName thing) thing function88 extendTypeEnvList env things = foldl' extendTypeEnv env things
108 extendTypeEnv, extendTypeEnvList,2227 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv2228 extendTypeEnv env thing = extendNameEnv env (getName thing) thing function2231 extendTypeEnvList env things = foldl' extendTypeEnv env things
107 extendTypeEnv, extendTypeEnvList,2273 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv2274 extendTypeEnv env thing = extendNameEnv env (getName thing) thing function2277 extendTypeEnvList env things = foldl' extendTypeEnv env things