github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

Define an algebra using toDeclaration.

Browse Source
This commit is contained in:
Rob Rix 2017-10-05 12:25:36 -04:00
parent 7203134bc2
commit 4d810c347c
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Renderer/TOC.hs
View File

@ -10,6 +10,7 @@ module Renderer.TOC
, declaration
, declarationAlgebra
, markupSectionAlgebra
, toDeclarationAlgebra
, syntaxDeclarationAlgebra
, Entry(..)
, tableOfContentsBy
@ -95,6 +96,10 @@ data Declaration
class HasDeclaration whole part where
toDeclaration :: (HasField fields Range, HasField fields Span) => Blob -> Record fields -> RAlgebra part (Term whole (Record fields)) (Maybe Declaration)
toDeclarationAlgebra :: (HasField fields Range, HasField fields Span, HasDeclaration syntax syntax) => Blob -> RAlgebra (TermF syntax (Record fields)) (Term syntax (Record fields)) (Maybe Declaration)
toDeclarationAlgebra blob (In ann syntax) = toDeclaration blob ann syntax
instance (DeclarationStrategy part ~ strategy, HasDeclarationWithStrategy strategy whole part) => HasDeclaration whole part where
toDeclaration = toDeclarationWithStrategy (undefined :: proxy strategy)