github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Use raiseHandler to obviate the need for Monad constraints.

Browse Source
This commit is contained in:
Rob Rix 2018-07-05 14:09:46 -04:00
parent 4ffcd89076
commit 120483c323
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Data/Abstract/Type.hs
View File

@ -7,7 +7,8 @@ module Data.Abstract.Type
, unify
) where
import Control.Abstract
import Control.Abstract hiding (raiseHandler)
import Control.Monad.Effect.Internal (raiseHandler)
import Data.Abstract.Environment as Env
import Data.Semigroup.Foldable (foldMap1)
import qualified Data.Map as Map
@ -87,15 +88,13 @@ runTypeErrorWith = runResumableWith
runTypeMap :: ( Effectful m
, Effects effects
, Monad (m effects)
)
=> m (State TypeMap ': effects) a
-> m effects a
runTypeMap = runState emptyTypeMap >=> pure . snd
runTypeMap = raiseHandler (runState emptyTypeMap >=> pure . snd)
runTypes :: ( Effectful m
, Effects effects
, Monad (m effects)
)
=> m (Resumable TypeError ': State TypeMap ': effects) a
-> m effects (Either (SomeExc TypeError) a)
@ -103,7 +102,6 @@ runTypes = runTypeMap . runTypeError
runTypesWith :: ( Effectful m
, Effects effects
, Monad (m effects)
)
=> (forall resume . TypeError resume -> m (State TypeMap ': effects) resume)
-> m (Resumable TypeError ': State TypeMap ': effects) a