Searched refs:NiceOpen (Results 1 – 3 of 3) sorted by relevance
57 | NiceOpen Range QName ImportDirective190 getRange (NiceOpen r _ _) = r215 NiceOpen _ x _ -> text "open" <+> pretty x237 declName NiceOpen{} = "Open declarations" function
164 declKind NiceOpen{} = OtherDecl function473 Open r x is -> return ([NiceOpen r x is] , ds)1009 NiceOpen{} -> top1120 termCheck NiceOpen{} = TerminationCheck1144 covCheck NiceOpen{} = YesCoverageCheck1217 d@NiceOpen{} -> return d1289 d@(NiceOpen _ _ directives) -> do1350 d@(NiceOpen _ _ directives) -> do1390 NiceOpen r x dir -> [Open r x dir]1418 NiceOpen{} -> Nothing
207 C.NiceOpen r m dir -> do208 mkLet $ C.NiceOpen r m dir{ publicOpen = Nothing }1579 NiceOpen r x dirs -> do1932 NiceOpen r x dir -> do