Searched refs:nameToRigid (Results 1 – 3 of 3) sorted by relevance
18 import Type.Type (Type(..), Constraint(..), (==>), mkFlexVar, nameToRigid, never)75 do vars <- Map.traverseWithKey (\k _ -> nameToRigid k) freeVars81 do vars <- Map.traverseWithKey (\k _ -> nameToRigid k) freeVars
557 newRigids <- Map.traverseWithKey (\n _ -> nameToRigid n) newNames647 newRigids <- Map.traverseWithKey (\n _ -> nameToRigid n) newNames
25 , nameToRigid309 nameToRigid :: Name.Name -> IO Variable310 nameToRigid name = function