Anchors

module Anchors


Assembly	`Nacara.Plugin.Rocq`

Page routes and the anchors on a module page.

Functions and values

forFile (file: RocqFile) : Map<int,string>

The anchor of each declaration in a file, by its index in Model.Declarations. All anchors are unique.

A notation's .glob name is an encoded key rather than a name, so a notation gets the same d<index> as an unnamed declaration.

routeOf (root: string) (locale: Locale) (moduleName: string) : Route

The route of a module's page, <root>/<Module>.html.

Parameter
`root`	The route prefix. Empty places the page at the site root.
`locale`	The page's locale.
`moduleName`	The module's full name.

slug (heading: string) : string

The anchor of a heading: h- and its lowercased words joined by dashes.