Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
updateSharedTermF :: (MonadReader TCEnv m, Traversable f) => (Term -> m (f Term)) -> Term -> m (f Term) Source
updateSharedTermT :: (MonadTCM tcm, MonadTrans t, Monad (t tcm)) => (Term -> t tcm Term) -> Term -> t tcm Term Source
forceEqualTerms :: Term -> Term -> TCM () Source