importify-1.0: Tool for haskell imports refactoring

Safe HaskellNone
LanguageHaskell2010

Importify.Syntax.Scoped

Description

Utility functions to work with Scoped data type from haskell-names library.

Synopsis

Documentation

type InScoped t = t (Scoped SrcSpanInfo) Source #

Short wrapper for types annotated by Scoped SrcSpanInfo. For example, use InScoped ImportDecl instead of ImportDecl (Scoped SrcSpanInfo).

anyAnnotation :: (NameInfo l -> Bool) -> [Scoped l] -> Bool Source #

pullScopedInfo :: Annotated ast => ast (Scoped l) -> NameInfo l Source #

Retrive NameInfo from something annotated by Scoped.

scopedNameInfo :: Scoped l -> NameInfo l Source #

Retrive NameInfo from Scoped.

unscope :: Functor f => f (Scoped l) -> f l Source #

Drop Scoped annotation from Functor type.