1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

Docs on remark function

This commit is contained in:
Timothy Clem 2018-08-20 10:37:33 -07:00
parent 58cf9925fa
commit ae20bf5477

View File

@ -20,6 +20,7 @@ data History
mark :: Functor f => (Range -> History) -> f (Record (Range ': fields)) -> f (Record (History ': fields))
mark f = fmap go where go (r :. a) = f r :. a
-- | Change the 'History' annotation on a 'Term'.
remark :: Functor f => (Range -> History) -> f (Record (History ': fields)) -> f (Record (History ': fields))
remark f = fmap go where
go (r :. a) = x :. a where