github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

Reformat some contexts.

Browse Source
This commit is contained in:
Rob Rix 2018-04-04 16:57:53 -04:00
parent ecb149a19e
commit d0a1bcabf9
1 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/Semantic/Util.hs
View File

@ -236,16 +236,15 @@ file :: MonadIO m => FilePath -> m Blob
file path = fromJust <$> IO.readFile path (languageForFilePath path) file path = fromJust <$> IO.readFile path (languageForFilePath path)
-- Diff helpers -- Diff helpers
diffWithParser :: diffWithParser :: ( HasField fields Data.Span.Span
( HasField fields Data.Span.Span , HasField fields Range
, HasField fields Range , Eq1 syntax
, Eq1 syntax , Show1 syntax
, Show1 syntax , Traversable syntax
, Traversable syntax , Diffable syntax
, Diffable syntax , GAlign syntax
, GAlign syntax , HasDeclaration syntax
, HasDeclaration syntax )
)
=> Parser (Term syntax (Record fields)) => Parser (Term syntax (Record fields))
-> BlobPair -> BlobPair
-> Task (Diff syntax (Record (Maybe Declaration ': fields)) (Record (Maybe Declaration ': fields))) -> Task (Diff syntax (Record (Maybe Declaration ': fields)) (Record (Maybe Declaration ': fields)))
@ -253,12 +252,11 @@ diffWithParser parser = run (\ blob -> parse parser blob >>= decorate (declarati
where where
run parse blobs = distributeFor blobs (WrapTask . parse) >>= diffTermPair diffTerms . runJoin run parse blobs = distributeFor blobs (WrapTask . parse) >>= diffTermPair diffTerms . runJoin
diffBlobWithParser :: diffBlobWithParser :: ( HasField fields Data.Span.Span
( HasField fields Data.Span.Span , HasField fields Range
, HasField fields Range , Traversable syntax
, Traversable syntax , HasDeclaration syntax
, HasDeclaration syntax )
)
=> Parser (Term syntax (Record fields)) => Parser (Term syntax (Record fields))
-> Blob -> Blob
-> Task (Term syntax (Record (Maybe Declaration : fields))) -> Task (Term syntax (Record (Maybe Declaration : fields)))