Language.PureScript.Linter.Imports

Documentation

lintImports :: forall m. MonadWriter MultipleErrors m => Module -> Env -> UsedImports -> m ()

Find and warn on:

• Unused import statements (qualified or unqualified)
• Unused references in an explicit import list
• Implicit imports of modules
• Implicit imports into a virtual module (unless the virtual module only has members from one module imported)
• Imports using hiding (this is another form of implicit importing)

data Name

A sum of the possible name types, useful for error and lint messages.

Constructors

IdentName Ident

ValOpName (OpName ValueOpName)

TyName (ProperName TypeName)

TyOpName (OpName TypeOpName)

DctorName (ProperName ConstructorName)

TyClassName (ProperName ClassName)

ModName ModuleName

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

type UsedImports = Map ModuleName [Qualified Name]

Map of module name to list of imported names from that module which have been used.