Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
reduceExpressions :: MonadSafe m => ExpressionList -> m SymbolList #
reduceForTE :: MonadSafe m => Expression -> m Symbol #
reduceForTerm :: MonadSafe m => Term -> m Symbol #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
reduceExpressions :: MonadSafe m => ExpressionList -> m SymbolList #
reduceForTE :: MonadSafe m => Expression -> m Symbol #
reduceForTerm :: MonadSafe m => Term -> m Symbol #