Documentation with Verso

Index🔗

A

  1. Arg­Parse
    1. Verso.Arg­Parse
  2. ad­Hoc­Templates
    1. Verso.Genre.Blog.Theme.ad­Hoc­Templates (structure field)
  3. append
    1. Lean.Html.append
  4. archive­Entry­Template
    1. Verso.Genre.Blog.Theme.archive­Entry­Template (structure field)
  5. as­String
    1. Verso.Output.TeX.as­String
  6. assigned­Number
    1. Verso.Genre.Manual.PartMetadata.assigned­Number (structure field)
  7. authors
    1. Verso.Genre.Blog.Post.Meta.authors (structure field)
  8. authors
    1. Verso.Genre.Manual.PartMetadata.authors (structure field)
  9. authorship­Note
    1. Verso.Genre.Manual.PartMetadata.authorship­Note (structure field)

B

  1. Block
    1. Verso.Doc.Block
  2. Block
    1. Verso.Doc.Genre.Block (structure field)
  3. Block
    1. Verso.Genre.Manual.Block
  4. Block­Descr
    1. Verso.Genre.Manual.Block­Descr
  5. Block­Ext
    1. Verso.Genre.Blog.Block­Ext
  6. block
    1. Verso.Doc.Traverse.block (class method)
  7. blog­Main
    1. Verso.Genre.Blog.blog­Main
  8. builtin­Header
    1. Verso.Genre.Blog.Template.builtin­Header

C

  1. categories
    1. Verso.Genre.Blog.Post.Meta.categories (structure field)
  2. category­Template
    1. Verso.Genre.Blog.Theme.category­Template (structure field)
  3. combine
    1. Verso.Genre.Manual.HtmlAssets.combine
  4. css
    1. Verso.Output.Html.katex.css
  5. css­Files
    1. Verso.Genre.Blog.Theme.css­Files (structure field)

D

  1. Dir
    1. Verso.Genre.Blog.Dir
  2. data
    1. Verso.Genre.Manual.Block.data (structure field)
  3. data
    1. Verso.Genre.Manual.Inline.data (structure field)
  4. date
    1. Verso.Genre.Blog.Post.Meta.date (structure field)
  5. date
    1. Verso.Genre.Manual.PartMetadata.date (structure field)
  6. deftech
    1. Verso.Genre.Manual.deftech
  7. dependency
    1. Verso.Genre.Manual.LicenseInfo.dependency (structure field)
  8. description
    1. Verso.ArgParse.ValDesc.description (structure field)
  9. draft
    1. Verso.Genre.Blog.Post.Meta.draft (structure field)
  10. draft
    1. Verso.Genre.Manual.PartMetadata.draft (structure field)

E

  1. empty
    1. Lean.Html.empty
  2. empty
    1. Verso.Output.TeX.empty
  3. extra­Css
    1. Verso.Genre.Manual.HtmlAssets.extra­Css (structure field)
  4. extra­Css­Files
    1. Verso.Genre.Manual.HtmlAssets.extra­Css­Files (structure field)
  5. extra­Data­Files
    1. Verso.Genre.Manual.HtmlAssets.extra­Data­Files (structure field)
  6. extra­Js
    1. Verso.Genre.Manual.HtmlAssets.extra­Js (structure field)
  7. extra­Js­Files
    1. Verso.Genre.Manual.HtmlAssets.extra­Js­Files (structure field)

F

  1. From­Arg­Val
    1. Verso.ArgParse.From­Arg­Val
  2. From­Args
    1. Verso.ArgParse.From­Args
  3. features
    1. Verso.Genre.Manual.HtmlAssets.features (structure field)
  4. fetch­Docs­Json
    1. Verso.Code.fetch­Docs­Json
  5. file
    1. Verso.Genre.Manual.PartMetadata.file (structure field)
  6. for­M
    1. List.for­M
  7. from­Arg­Val
    1. Verso.ArgParse.From­ArgVal.from­Arg­Val (class method)
  8. from­Args
    1. Verso.ArgParse.FromArgs.from­Args (class method)

G

  1. Genre
    1. Verso.Doc.Genre
  2. genre­Block
    1. Verso.Doc.Traverse.genre­Block (class method)
  3. genre­Inline
    1. Verso.Doc.Traverse.genre­Inline (class method)
  4. genre­Part
    1. Verso.Doc.Traverse.genre­Part (class method)
  5. get
    1. Verso.ArgParse.ValDesc.get (structure field)

H

  1. Html
    1. Lean.Html
  2. Html­Assets
    1. Verso.Genre.Manual.Html­Assets
  3. Html­Split­Mode
    1. Verso.Genre.Manual.Html­Split­Mode
  4. highlighting­Js
    1. Verso.Code.highlighting­Js
  5. highlighting­Style
    1. Verso.Code.highlighting­Style
  6. how­Used
    1. Verso.Genre.Manual.LicenseInfo.how­Used (structure field)
  7. html­Id
    1. Verso.Genre.Blog.Page.Meta.html­Id (structure field)
  8. html­Id
    1. Verso.Genre.Blog.Post.Meta.html­Id (structure field)
  9. html­Split
    1. Verso.Genre.Manual.PartMetadata.html­Split (structure field)
  10. html­Toc
    1. Verso.Genre.Manual.PartMetadata.html­Toc (structure field)

I

  1. Inline
    1. Verso.Doc.Genre.Inline (structure field)
  2. Inline
    1. Verso.Doc.Inline
  3. Inline
    1. Verso.Genre.Manual.Inline
  4. Inline­Descr
    1. Verso.Genre.Manual.Inline­Descr
  5. Inline­Ext
    1. Verso.Genre.Blog.Inline­Ext
  6. id
    1. Verso.Genre.Manual.Block.id (structure field)
  7. id
    1. Verso.Genre.Manual.Inline.id (structure field)
  8. id
    1. Verso.Genre.Manual.PartMetadata.id (structure field)
  9. identifier
    1. Verso.Genre.Manual.LicenseInfo.identifier (structure field)
  10. in­Block
    1. Verso.Doc.TraverseBlock.in­Block (class method)
  11. in­Part
    1. Verso.Doc.TraversePart.in­Part (class method)
  12. induction
  13. init
    1. [anonymous] (structure field) (0) (1)
  14. inline
    1. Verso.Doc.Traverse.inline (class method)

J

  1. js
    1. Verso.Output.Html.katex.js
  2. js
    1. Verso.Output.Html.math.js
  3. js­Files
    1. Verso.Genre.Blog.Theme.js­Files (structure field)

K

  1. katex­Fonts
    1. Verso.Output.Html.katex­Fonts

L

  1. Lean.Html
  2. Lean.Html.append
  3. Lean.Html.element
    1. Constructor of Lean.Html
  4. Lean.Html.empty
  5. Lean.Html.of­Array
  6. Lean.Html.of­List
  7. Lean.Html.raw
    1. Constructor of Lean.Html
  8. Lean.Html.render
  9. Lean.Html.rewrite­Post­M
  10. Lean.Html.seq
    1. Constructor of Lean.Html
  11. Lean.Html.text
    1. Constructor of Lean.Html
  12. License­Info
    1. Verso.Genre.Manual.License­Info
  13. List.for­M
  14. license­Info
    1. Verso.Genre.Manual.HtmlAssets.license­Info (structure field)
  15. license­Info
    1. Verso.Genre.Manual.license­Info
  16. link
    1. Verso.Genre.Manual.LicenseInfo.link (structure field)
  17. local­Content­Item
    1. [anonymous] (structure field) (0) (1)

M

  1. Manual
    1. Verso.Genre.Manual
  2. Meta
    1. Verso.Genre.Blog.Page.Meta
  3. Meta
    1. Verso.Genre.Blog.Post.Meta

N

  1. name
    1. Verso.Genre.Manual.Block.name (structure field)
  2. name
    1. Verso.Genre.Manual.Inline.name (structure field)
  3. named'
    1. Verso.ArgParse.named'
  4. named­D'
    1. Verso.ArgParse.named­D'
  5. named­D
    1. Verso.ArgParse.named­D
  6. number
    1. Verso.Genre.Manual.PartMetadata.number (structure field)

O

  1. of­Array
    1. Lean.Html.of­Array
  2. of­List
    1. Lean.Html.of­List

P

  1. Page
    1. Verso.Genre.Blog.Page
  2. Part
    1. Verso.Doc.Part
  3. Part­Metadata
    1. Verso.Doc.Genre.Part­Metadata (structure field)
  4. Part­Metadata
    1. Verso.Genre.Manual.Part­Metadata
  5. Post
    1. Verso.Genre.Blog.Post
  6. page­Template
    1. Verso.Genre.Blog.Theme.page­Template (structure field)
  7. param
    1. Verso.Genre.Blog.Template.param
  8. param?
    1. Verso.Genre.Blog.Template.param?
  9. part
    1. Verso.Doc.Traverse.part (class method)
  10. positional'
    1. Verso.ArgParse.positional'
  11. post­Template
    1. Verso.Genre.Blog.Theme.post­Template (structure field)
  12. pp.deepTerms.threshold
  13. preamble
    1. [anonymous] (structure field) (0) (1)
  14. primary­Template
    1. Verso.Genre.Blog.Theme.primary­Template (structure field)
  15. properties
    1. Verso.Genre.Manual.Block.properties (structure field)

R

  1. render
    1. Lean.Html.render
  2. rewrite­Post­M
    1. Lean.Html.rewrite­Post­M

S

  1. Site
    1. Verso.Genre.Blog.Site
  2. search­Priority
    1. Verso.Genre.Manual.PartMetadata.search­Priority (structure field)
  3. short­Context­Title
    1. Verso.Genre.Manual.PartMetadata.short­Context­Title (structure field)
  4. short­Title
    1. Verso.Genre.Manual.PartMetadata.short­Title (structure field)
  5. show­In­Nav
    1. Verso.Genre.Blog.Page.Meta.show­In­Nav (structure field)
  6. signature
    1. Verso.ArgParse.ValDesc.signature (structure field)

T

  1. Te­X
    1. Verso.Output.Te­X
  2. Template
    1. Verso.Genre.Blog.Template
  3. Template­M
    1. Verso.Genre.Blog.Template­M
  4. Theme
    1. Verso.Genre.Blog.Theme
  5. Traverse
    1. Verso.Doc.Traverse
  6. Traverse­Block
    1. Verso.Doc.Traverse­Block
  7. Traverse­Context
    1. Verso.Doc.Genre.Traverse­Context (structure field)
  8. Traverse­Part
    1. Verso.Doc.Traverse­Part
  9. Traverse­State
    1. Verso.Doc.Genre.Traverse­State (structure field)
  10. tag
    1. Verso.Genre.Manual.PartMetadata.tag (structure field)
  11. tech
    1. Verso.Genre.Manual.tech
  12. text
    1. Verso.Genre.Manual.LicenseInfo.text (structure field)
  13. threshold
    1. pp.deepTerms.threshold
  14. to­Html
    1. [anonymous] (structure field) (0) (1)
  15. to­Html­Assets
    1. Verso.Genre.Manual.BlockDescr.to­Html­Assets (structure field)
  16. to­Html­Assets
    1. Verso.Genre.Manual.InlineDescr.to­Html­Assets (structure field)
  17. to­Te­X
    1. [anonymous] (structure field) (0) (1)
  18. traverse
    1. [anonymous] (structure field) (0) (1)

U

  1. use­Packages
    1. [anonymous] (structure field) (0) (1)

V

  1. Val­Desc
    1. Verso.ArgParse.Val­Desc
  2. Verso.Arg­Parse
  3. Verso.ArgParse.From­Arg­Val
  4. Verso.ArgParse.From­ArgVal.mk
    1. Instance constructor of Verso.ArgParse.From­Arg­Val
  5. Verso.ArgParse.From­Args
  6. Verso.ArgParse.FromArgs.mk
    1. Instance constructor of Verso.ArgParse.From­Args
  7. Verso.ArgParse.Val­Desc
  8. Verso.ArgParse.ValDesc.mk
    1. Constructor of Verso.ArgParse.Val­Desc
  9. Verso.ArgParse.any­Named
    1. Constructor of Verso.Arg­Parse
  10. Verso.ArgParse.done
    1. Constructor of Verso.Arg­Parse
  11. Verso.ArgParse.fail
    1. Constructor of Verso.Arg­Parse
  12. Verso.ArgParse.flag
    1. Constructor of Verso.Arg­Parse
  13. Verso.ArgParse.flag­M
    1. Constructor of Verso.Arg­Parse
  14. Verso.ArgParse.lift
    1. Constructor of Verso.Arg­Parse
  15. Verso.ArgParse.many
    1. Constructor of Verso.Arg­Parse
  16. Verso.ArgParse.named'
  17. Verso.ArgParse.named
    1. Constructor of Verso.Arg­Parse
  18. Verso.ArgParse.named­D
  19. Verso.ArgParse.named­D'
  20. Verso.ArgParse.or­Else
    1. Constructor of Verso.Arg­Parse
  21. Verso.ArgParse.positional'
  22. Verso.ArgParse.positional
    1. Constructor of Verso.Arg­Parse
  23. Verso.ArgParse.pure
    1. Constructor of Verso.Arg­Parse
  24. Verso.ArgParse.remaining
    1. Constructor of Verso.Arg­Parse
  25. Verso.ArgParse.seq
    1. Constructor of Verso.Arg­Parse
  26. Verso.Code.fetch­Docs­Json
  27. Verso.Code.highlighting­Js
  28. Verso.Code.highlighting­Style
  29. Verso.Doc.Block
  30. Verso.Doc.Genre
  31. Verso.Doc.Genre.mk
    1. Constructor of Verso.Doc.Genre
  32. Verso.Doc.Inline
  33. Verso.Doc.Part
  34. Verso.Doc.Traverse
  35. Verso.Doc.Traverse.mk
    1. Instance constructor of Verso.Doc.Traverse
  36. Verso.Doc.Traverse­Block
  37. Verso.Doc.TraverseBlock.mk
    1. Instance constructor of Verso.Doc.Traverse­Block
  38. Verso.Doc.Traverse­Part
  39. Verso.Doc.TraversePart.mk
    1. Instance constructor of Verso.Doc.Traverse­Part
  40. Verso.Genre.Blog.Block­Ext
  41. Verso.Genre.Blog.BlockExt.blob
    1. Constructor of Verso.Genre.Blog.Block­Ext
  42. Verso.Genre.Blog.BlockExt.component
    1. Constructor of Verso.Genre.Blog.Block­Ext
  43. Verso.Genre.Blog.BlockExt.docstring
    1. Constructor of Verso.Genre.Blog.Block­Ext
  44. Verso.Genre.Blog.BlockExt.docstring­Section
    1. Constructor of Verso.Genre.Blog.Block­Ext
  45. Verso.Genre.Blog.BlockExt.highlighted­Code
    1. Constructor of Verso.Genre.Blog.Block­Ext
  46. Verso.Genre.Blog.BlockExt.html­Details
    1. Constructor of Verso.Genre.Blog.Block­Ext
  47. Verso.Genre.Blog.BlockExt.html­Div
    1. Constructor of Verso.Genre.Blog.Block­Ext
  48. Verso.Genre.Blog.BlockExt.html­Wrapper
    1. Constructor of Verso.Genre.Blog.Block­Ext
  49. Verso.Genre.Blog.BlockExt.lexed­Text
    1. Constructor of Verso.Genre.Blog.Block­Ext
  50. Verso.Genre.Blog.BlockExt.message
    1. Constructor of Verso.Genre.Blog.Block­Ext
  51. Verso.Genre.Blog.Dir
  52. Verso.Genre.Blog.Dir.blog
    1. Constructor of Verso.Genre.Blog.Dir
  53. Verso.Genre.Blog.Dir.page
    1. Constructor of Verso.Genre.Blog.Dir
  54. Verso.Genre.Blog.Dir.static
    1. Constructor of Verso.Genre.Blog.Dir
  55. Verso.Genre.Blog.Inline­Ext
  56. Verso.Genre.Blog.InlineExt.blob
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  57. Verso.Genre.Blog.InlineExt.component
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  58. Verso.Genre.Blog.InlineExt.custom­Highlight
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  59. Verso.Genre.Blog.InlineExt.highlighted­Code
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  60. Verso.Genre.Blog.InlineExt.html­Span
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  61. Verso.Genre.Blog.InlineExt.label
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  62. Verso.Genre.Blog.InlineExt.lexed­Text
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  63. Verso.Genre.Blog.InlineExt.message
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  64. Verso.Genre.Blog.InlineExt.pageref
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  65. Verso.Genre.Blog.InlineExt.ref
    1. Constructor of Verso.Genre.Blog.Inline­Ext
  66. Verso.Genre.Blog.Page
  67. Verso.Genre.Blog.Page.Meta
  68. Verso.Genre.Blog.Page.Meta.mk
    1. Constructor of Verso.Genre.Blog.Page.Meta
  69. Verso.Genre.Blog.Post
  70. Verso.Genre.Blog.Post.Meta
  71. Verso.Genre.Blog.Post.Meta.mk
    1. Constructor of Verso.Genre.Blog.Post.Meta
  72. Verso.Genre.Blog.Site
  73. Verso.Genre.Blog.Site.blog
    1. Constructor of Verso.Genre.Blog.Site
  74. Verso.Genre.Blog.Site.page
    1. Constructor of Verso.Genre.Blog.Site
  75. Verso.Genre.Blog.Template
  76. Verso.Genre.Blog.Template.builtin­Header
  77. Verso.Genre.Blog.Template.param
  78. Verso.Genre.Blog.Template.param?
  79. Verso.Genre.Blog.Template­M
  80. Verso.Genre.Blog.Theme
  81. Verso.Genre.Blog.Theme.mk
    1. Constructor of Verso.Genre.Blog.Theme
  82. Verso.Genre.Blog.blog­Main
  83. Verso.Genre.Manual
  84. Verso.Genre.Manual.Block
  85. Verso.Genre.Manual.Block.mk
    1. Constructor of Verso.Genre.Manual.Block
  86. Verso.Genre.Manual.Block­Descr
  87. Verso.Genre.Manual.BlockDescr.mk
    1. Constructor of Verso.Genre.Manual.Block­Descr
  88. Verso.Genre.Manual.Html­Assets
  89. Verso.Genre.Manual.HtmlAssets.combine
  90. Verso.Genre.Manual.HtmlAssets.mk
    1. Constructor of Verso.Genre.Manual.Html­Assets
  91. Verso.Genre.Manual.Html­Split­Mode
  92. Verso.Genre.Manual.Html­SplitMode.default
    1. Constructor of Verso.Genre.Manual.Html­Split­Mode
  93. Verso.Genre.Manual.Html­SplitMode.never
    1. Constructor of Verso.Genre.Manual.Html­Split­Mode
  94. Verso.Genre.Manual.Inline
  95. Verso.Genre.Manual.Inline.mk
    1. Constructor of Verso.Genre.Manual.Inline
  96. Verso.Genre.Manual.Inline­Descr
  97. Verso.Genre.Manual.InlineDescr.mk
    1. Constructor of Verso.Genre.Manual.Inline­Descr
  98. Verso.Genre.Manual.License­Info
  99. Verso.Genre.Manual.LicenseInfo.mk
    1. Constructor of Verso.Genre.Manual.License­Info
  100. Verso.Genre.Manual.Part­Metadata
  101. Verso.Genre.Manual.PartMetadata.mk
    1. Constructor of Verso.Genre.Manual.Part­Metadata
  102. Verso.Genre.Manual.deftech
  103. Verso.Genre.Manual.license­Info
  104. Verso.Genre.Manual.tech
  105. Verso.Output.Html.katex.css
  106. Verso.Output.Html.katex.js
  107. Verso.Output.Html.katex­Fonts
  108. Verso.Output.Html.math.js
  109. Verso.Output.Html.«verso-vars.css»
  110. Verso.Output.Te­X
  111. Verso.Output.TeX.as­String
  112. Verso.Output.TeX.command
    1. Constructor of Verso.Output.Te­X
  113. Verso.Output.TeX.empty
  114. Verso.Output.TeX.environment
    1. Constructor of Verso.Output.Te­X
  115. Verso.Output.TeX.paragraph­Break
    1. Constructor of Verso.Output.Te­X
  116. Verso.Output.TeX.raw
    1. Constructor of Verso.Output.Te­X
  117. Verso.Output.TeX.seq
    1. Constructor of Verso.Output.Te­X
  118. Verso.Output.TeX.text
    1. Constructor of Verso.Output.Te­X
  119. verso-vars.css
    1. Verso.Output.Html.«verso-vars.css»

X

  1. xref­Tag
    1. Verso.Genre.Manual.PartMetadata.xref­Tag (structure field)