Searched refs:bindTypeVar (Results 1 – 3 of 3) sorted by relevance
114 bindTypeVar :: TVar -> Either Nat' TValue -> TypeEnv -> TypeEnv115 bindTypeVar tv ty env = env{ envTypeMap = IntMap.insert (tvUnique tv) ty (envTypeMap env) } function176 loop env (p:ps) (a:as) = loop (bindTypeVar (TVBound p) a env) ps as
100 bindType p ty env = env{ envTypes = bindTypeVar p ty (envTypes env) }
43 > (TValue(..), isTBit, evalValType, evalNumType, TypeEnv, bindTypeVar)270 > bindType p ty env = env { envTypes = bindTypeVar p ty (envTypes env) }