GHC.SourceGen.Name

This module defines custom types for defining names of various syntax terms.

These types are all instances of IsString. For easier use, we recommend enabling the OverloadedStrings extension.

Documentation

data RdrNameStr

A string identifier which may be qualified to a particular module.

For example:

fromString "A.b.c" == RawQual (fromString "A.b") (fromString "c")
fromString "c" == RawUnqual (fromString "c")

This definition is simililar to RdrName, but independent of whether it's in the type or value namespace. Functions in this package that take a RdrName as input will internally convert it to the proper namespace.

Constructors

RawUnqual OccNameStr

RawQual ModuleNameStr OccNameStr

Instances

IsString RdrNameStr

Defined in GHC.SourceGen.Name.Internal

Methods

fromString :: String -> RdrNameStr

data OccNameStr

A string identifier. This definition is simililar to RdrName, but independent of whether it's in the type or value namespace.

Instances

IsString OccNameStr

Defined in GHC.SourceGen.Name.Internal

Methods

fromString :: String -> OccNameStr

newtype ModuleNameStr

A newtype wrapper around ModuleName which is an instance of IsString.

Constructors

ModuleNameStr

Fields

• unModuleNameStr :: ModuleName

Instances

IsString ModuleNameStr

Defined in GHC.SourceGen.Name.Internal

Methods

fromString :: String -> ModuleNameStr

qual :: ModuleNameStr -> OccNameStr -> RdrNameStr

unqual :: OccNameStr -> RdrNameStr