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

📝 parse, decorate, diff, & render.

Browse Source
This commit is contained in:
Rob Rix 2017-05-30 11:59:25 -04:00
parent b9ee1564f4
commit ab91184f94
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Task.hs
View File

@ -41,15 +41,19 @@ type Differ f a = Both (Term f a) -> Diff f a
type Renderer i o = i -> o
-- | A 'Task' which parses 'Source' with the given 'Parser'.
parse :: Parser term -> Source -> Task term
parse parser source = Parse parser source `Then` return
-- | A 'Task' which decorates a 'Term' with values computed using the supplied 'RAlgebra' function.
decorate :: Functor f => RAlgebra (TermF f (Record fields)) (Term f (Record fields)) field -> Term f (Record fields) -> Task (Term f (Record (field ': fields)))
decorate algebra term = Decorate algebra term `Then` return
-- | A 'Task' which diffs a pair of terms using the supplied 'Differ' function.
diff :: Differ f a -> Both (Term f a) -> Task (Diff f a)
diff differ terms = Diff differ terms `Then` return
-- | A 'Task' which renders some input using the supplied 'Renderer' function.
render :: Renderer input output -> input -> Task output
render renderer input = Render renderer input `Then` return