github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 17:04:47 +03:00
Code Issues Projects Releases Wiki Activity

Generalize runUnspecialized/With to any Effectful context.

Browse Source
This commit is contained in:
Rob Rix 2018-05-15 12:40:12 -04:00
parent 0ad398c38b
commit ff61b62efe
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Abstract/Evaluatable.hs
View File

@ -135,10 +135,10 @@ deriving instance Show (Unspecialized a b)
instance Show1 (Unspecialized a) where instance Show1 (Unspecialized a) where
liftShowsPrec _ _ = showsPrec liftShowsPrec _ _ = showsPrec
runUnspecialized :: Evaluator location value (Resumable (Unspecialized value) ': effects) a -> Evaluator location value effects (Either (SomeExc (Unspecialized value)) a) runUnspecialized :: Effectful (m location value) => m location value (Resumable (Unspecialized value) ': effects) a -> m location value effects (Either (SomeExc (Unspecialized value)) a)
runUnspecialized = runResumable runUnspecialized = runResumable
runUnspecializedWith :: (forall resume . Unspecialized value resume -> Evaluator location value effects resume) -> Evaluator location value (Resumable (Unspecialized value) ': effects) a -> Evaluator location value effects a runUnspecializedWith :: Effectful (m location value) => (forall resume . Unspecialized value resume -> m location value effects resume) -> m location value (Resumable (Unspecialized value) ': effects) a -> m location value effects a
runUnspecializedWith = runResumableWith runUnspecializedWith = runResumableWith