@@ -966,11 +966,14 @@ process h fn (Apropos a) =
966966 let aproposInfo = [ (n,
967967 delabTy ist n,
968968 fmap (overview . fst) (lookupCtxtExact n (idris_docstrings ist)))
969− | n <- names ]
969+ | n <- sort names, isUN n ]
970970 ihRenderResult h $ vsep (map (renderApropos impl) aproposInfo)
971971 where renderApropos impl (name, ty, docs) =
972− prettyName impl [] name <+> colon <+> align (prettyImp impl ty) <$>
972+ prettyName True [] name <+> colon <+> align (prettyImp impl ty) <$>
973973 fromMaybe empty (fmap (\d -> renderDocstring d <> line) docs)
974+ isUN (UN _) = True
975+ isUN (NS n _) = isUN n
976+ isUN _ = False
974977
975978classInfo :: ClassInfo -> Idris ()
976979classInfo ci = do iputStrLn "Methods:\n"