An identifier is a type used to uniquely identify a resource, target...
One can think of an identifier as something similar to a file path. An
identifier is a path as well, with the different elements in the path
/ characters. Examples of identifiers are:
The most important difference between an
Identifier and a file path is that
the identifier for an item is not necesserily the file path.
For example, we could have an
index identifier, generated by Hakyll. The
actual file path would be
index.html, but we identify it using
posts/foo.markdown could be an identifier of an item that is rendered to
posts/foo.html. In this case, the identifier is the name of the source
file of the page.
Identifier carries the type of the value it identifies. This basically
means that an
Identifier (Page String) refers to a page.
It is a phantom type parameter, meaning you can safely change this if you
know what you are doing. You can change the type using the
a type is not known, Hakyll traditionally uses
An identifier used to uniquely identify a value
Discard the phantom type parameter of an identifier