Searched refs:NiceImport (Results 1 – 3 of 3) sorted by relevance
58 | NiceImport Range QName (Maybe AsName) OpenShortHand ImportDirective191 getRange (NiceImport r _ _ _ _) = r216 NiceImport _ x _ _ _ -> text "import" <+> pretty x238 declName NiceImport{} = "Import statements" function
165 declKind NiceImport{} = OtherDecl function474 Import r x as op is -> return ([NiceImport r x as op is] , ds)1010 NiceImport{} -> top1121 termCheck NiceImport{} = TerminationCheck1145 covCheck NiceImport{} = YesCoverageCheck1218 d@NiceImport{} -> return d1292 d@NiceImport{} -> return d1353 d@NiceImport{} -> return d1391 NiceImport r x as o dir -> [Import r x as o dir]1419 NiceImport{} -> Nothing
227 C.NiceImport{} -> failure1940 NiceImport r x as open dir -> setCurrentRange r $ do