GHC.Hs.Basic

Optional namespace specifier for:

• import/export items

• fixity signatures

• WARNING and DEPRECATED pragmas

Examples:

module M (data ..) where
       -- ↑ DataNamespaceSpecifier

import Data.Proxy as T (type ..)
                     -- ↑ TypeNamespaceSpecifier

{-# WARNING in "x-partial" data Head "don't use this pattern synonym" #-}
                         -- ↑ DataNamespaceSpecifier

{-# DEPRECATED type D "This type was deprecated" #-}
             -- ↑ TypeNamespaceSpecifier

infixr 6 data $
       -- ↑ DataNamespaceSpecifier

Check if namespace specifiers overlap, i.e. if they are equal or if at least one of them doesn't specify a namespace

Check if namespace is covered by a namespace specifier: * NoNamespaceSpecifier covers both namespaces * TypeNamespaceSpecifier covers the type namespace only * DataNamespaceSpecifier covers the data namespace only