Importify.Syntax.Scoped

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

Documentation

type InScoped t = t (Scoped SrcSpanInfo)

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

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

Retrive NameInfo from something annotated by Scoped.

scopedNameInfo :: Scoped l -> NameInfo l

Retrive NameInfo from Scoped.

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

Drop Scoped annotation from Functor type.