1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

InUnion -> :<

This commit is contained in:
Rob Rix 2017-06-08 13:18:44 -04:00
parent cf1bded457
commit 15f7f81b54

View File

@ -114,7 +114,7 @@ declarationAlgebra proxy source r
where getSource = toText . flip Source.slice source . byteRange . extract where getSource = toText . flip Source.slice source . byteRange . extract
-- | Compute 'Declaration's with the headings of 'Markup.Section's. -- | Compute 'Declaration's with the headings of 'Markup.Section's.
markupSectionAlgebra :: (InUnion fs Markup.Section, InUnion fs (Syntax.Error error), HasField fields Range, Show error, Functor (Union fs)) markupSectionAlgebra :: (Markup.Section :< fs, Syntax.Error error :< fs, HasField fields Range, Show error, Functor (Union fs))
=> Proxy error => Proxy error
-> Source -> Source
-> RAlgebra (TermF (Union fs) (Record fields)) (Term (Union fs) (Record fields)) (Maybe Declaration) -> RAlgebra (TermF (Union fs) (Record fields)) (Term (Union fs) (Record fields)) (Maybe Declaration)