mkName -package:BNFC

Generate a capturable name. Occurrences of such names will be resolved according to the Haskell scoping rules at the occurrence site. For example:

f = [| pi + $(varE (mkName "pi")) |]
...
g = let pi = 3 in $f

In this case, g is desugared to

g = Prelude.pi + 3

Note that mkName may be used with qualified names:

mkName "Prelude.pi"

See also dyn for a useful combinator. The above example could be rewritten using dyn as

f = [| pi + $(dyn "pi") |]

constructs a simple, namespace unaware name. If the name is in prefix:localpart form and the prefix is not empty the name is split internally into a prefix and a local part.

Smart constructor for Name

The Range sets the definition site of the name, not the use site.

Create a name from a string

Make a name FunPtr

O(1). Builds a reified Name instance from the given name function. (cf. reifyName, mkNameWith)

Make a Name from some kind of string.

Used for 'x etc, but not available to the programmer

Only used internally

Only used internally

Only used internally