Everything-I-Know-About-Types
/
unifyt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Return the unification state from runUnifyT.

This commit is contained in:
Danila Fedorin 2023-03-04 14:52:00 -08:00
parent 1f93dc1745
commit e45201ba45
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Control/Monad/Unify/Trans.purs
View File

@ -18,7 +18,7 @@ import Data.Foldable (any, foldr)
import Data.Map (Map, lookup, insert) import Data.Map (Map, lookup, insert)
import Data.Map as Map import Data.Map as Map
import Data.Set (Set, singleton, union) import Data.Set (Set, singleton, union)
import Data.Tuple (Tuple(..), fst) import Data.Tuple (Tuple(..))
import Data.Tuple.Nested ((/\)) import Data.Tuple.Nested ((/\))
import Data.Newtype (class Newtype, un) import Data.Newtype (class Newtype, un)
import Data.Maybe (Maybe(..), fromMaybe, isJust) import Data.Maybe (Maybe(..), fromMaybe, isJust)
@ -79,5 +79,5 @@ instance (Unifiable k f, MonadPlus m) => MonadUnify k f (UnifyT k f m) where
process k = fromMaybe (variable k) (reify' <$> (lookup k boundVariables >>= _.boundTo)) process k = fromMaybe (variable k) (reify' <$> (lookup k boundVariables >>= _.boundTo))
pure $ reify' f pure $ reify' f
runUnifyT :: forall k f m a. Monad m => UnificationVariable k => UnifyT k f m a -> m a runUnifyT :: forall k f m a. Monad m => UnificationVariable k => UnifyT k f m a -> m (Tuple a (UnificationState k f))
runUnifyT m = fst <$> runStateT (un MkUnifyT m) { boundVariables: Map.empty, currentVariables: variables } runUnifyT m = runStateT (un MkUnifyT m) { boundVariables: Map.empty, currentVariables: variables }