Searched defs:HsForAllVis (Results 1 – 3 of 3) sorted by relevance
311 = HsForAllVis -- ^ A visible @forall@ (e.g., @forall a -> {...}@). constructor
347 = HsForAllVis -- ^ A visible @forall@ (e.g., @forall a -> {...}@). constructor391 HsForAllVis { hsf_xvis = noExtField, hsf_vis_bndrs = vis_bndrs } function1838 HsForAllVis { hsf_vis_bndrs = qtvs } -> pp_forall (space <> arrow) qtvs function
173 HsForAllVis { hsf_xvis = an, hsf_vis_bndrs = vis_bndrs } function969 HsForAllVis { hsf_vis_bndrs = qtvs } -> pp_forall (space <> arrow) qtvs function