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