Searched refs:pp_role (Results 1 – 11 of 11) sorted by relevance
44 pp_role = "webserver"83 …n_vars.html#trusted-facts). Friendly names for common extensions such as pp_role and pp_environmen…
1148 hsep (map (pp_role . unLoc) roles)1150 pp_role Nothing = underscore function1151 pp_role (Just r) = ppr r function
2607 hsep (map (pp_role . unLoc) roles)2609 pp_role Nothing = underscore function2610 pp_role (Just r) = ppr r function
2456 hsep (map (pp_role . unLoc) roles)2458 pp_role Nothing = underscore function2459 pp_role (Just r) = ppr r function
2985 , text "~_" <> pp_role ax_role2988 pp_role Nominal = text "N" function2989 pp_role Representational = text "R" function2990 pp_role Phantom = text "P" function
3017 , text "~_" <> pp_role ax_role3020 pp_role Nominal = text "N" function3021 pp_role Representational = text "R" function3022 pp_role Phantom = text "P" function
1597 ppr_role r = underscore <> pp_role1598 where pp_role = case r of function
1673 ppr_role r = underscore <> pp_role1674 where pp_role = case r of function
1744 ppr_role r = underscore <> pp_role1745 where pp_role = case r of function