Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Evaluate AST terms to types in the type representation.
Documentation
fromExpression :: forall m a. (MonadEval m, EvalTo m ~ FType) => Expression a -> m (Either String FType) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Evaluate AST terms to types in the type representation.
fromExpression :: forall m a. (MonadEval m, EvalTo m ~ FType) => Expression a -> m (Either String FType) Source #