Searched refs:TPPrimParam (Results 1 – 3 of 3) sorted by relevance
57 | TPPrimParam Name constructor95 TPPrimParam x -> Just x1057 TPPrimParam n -> declNm n
131 (as',cs') <- withTParams NoWildCards TPPrimParam as $
497 TPPrimParam _ -> starOrHash