Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
getOpen :: (Subst Term a, MonadReader TCEnv m) => Open a -> m a Source #
Extract the value from an open term. The checkpoint at which it was created must be in scope.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
getOpen :: (Subst Term a, MonadReader TCEnv m) => Open a -> m a Source #
Extract the value from an open term. The checkpoint at which it was created must be in scope.