Searched refs:withTParam (Results 1 – 1 of 1) sorted by relevance
765 withTParam :: TParam -> InferM a -> InferM a766 withTParam p (IM m) = function773 withTParams ps m = foldr withTParam m ps