github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity

Update Context eval instance to use yield

Browse Source
This commit is contained in:
Timothy Clem 2017-11-28 11:13:34 -08:00
parent b821c4009c
commit e65686463a
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Syntax.hs
View File

@ -206,7 +206,9 @@ instance Diffable Context where
instance Eq1 Context where liftEq = genericLiftEq instance Eq1 Context where liftEq = genericLiftEq
instance Ord1 Context where liftCompare = genericLiftCompare instance Ord1 Context where liftCompare = genericLiftCompare
instance Show1 Context where liftShowsPrec = genericLiftShowsPrec instance Show1 Context where liftShowsPrec = genericLiftShowsPrec
instance (Monad m) => Eval l (Value s a l) m s a Context where instance (Monad m) => Eval l (Value s a l) m s a Context where
eval ev Context{..} = ev contextSubject eval ev yield Context{..} = ev pure contextSubject >>= yield
instance (Monad m) => Eval l Type m s a Context where instance (Monad m) => Eval l Type m s a Context where
eval ev Context{..} = ev contextSubject eval ev yield Context{..} = ev pure contextSubject >>= yield