blagda-0.1.0.1: Shake frontend for Agda blogging
Contents
Index
Index
addIfNotPresent
Blagda.References
addLinkType
Blagda.Markdown
agdaHTML
Blagda
buildDiagrams
Blagda.Diagrams
buildLatexEqn
Blagda.Latex
builtinModules
Blagda.Agda
defaultWriterOptions
Blagda.Markdown
emplace
Blagda.Markdown
fakePath
Blagda.Agda
getBuildPath
Blagda.Utils
hideSteps
Blagda.Equations
htmlInl
Blagda.Markdown
killDomainNames
Blagda.Agda
killQual
Blagda.Agda
LatexEquation
1 (Type/Class)
Blagda.Latex
2 (Data Constructor)
Blagda.Latex
link
Blagda.References
linkDocument
Blagda.References
loadMarkdown
Blagda.Markdown
,
Blagda
makePi
Blagda.Agda
moduleName
Blagda.Agda
mStr
Blagda.Markdown
onHead
Blagda.Rename
parseAgdaLink
Blagda.Markdown
parseFileIdents
Blagda.Markdown
parseFileTypes
Blagda
parseMetaString
Blagda
parseSymbolRefs
Blagda.References
patchBlock
Blagda.Markdown
patchInline
Blagda.Markdown
patchInlines
Blagda.Markdown
patchMeta
Blagda.Markdown
Post
1 (Type/Class)
Blagda.Types
, Blagda
2 (Data Constructor)
Blagda.Types
, Blagda
p_contents
Blagda.Types
, Blagda
p_meta
Blagda.Types
, Blagda
p_path
Blagda.Types
, Blagda
refClass
Blagda.References
refClasses
Blagda.Markdown
Reference
1 (Type/Class)
Blagda.References
2 (Data Constructor)
Blagda.References
3 (Type/Class)
Blagda.Markdown
4 (Data Constructor)
Blagda.Markdown
refHref
1 (Function)
Blagda.References
2 (Function)
Blagda.Markdown
removeImpls
Blagda.Agda
rename
Blagda.Rename
,
Blagda
renderHTML5
Blagda.Markdown
renderPost
Blagda.Markdown
renderReference
Blagda.References
replaceAttr
Blagda.Rename
replaceBlock
Blagda.Rename
replaceHtml
Blagda.Rename
replaceInline
Blagda.Rename
runAgda
Blagda.Agda
setupTCM
Blagda.Agda
Strs
Blagda.Utils
tcAndLoadPublicNames
Blagda.Agda
writeTemplate
Blagda.Template
, Blagda