|
| Language.Java.TypeInference | | Portability | portable | | Stability | experimental | | Maintainer | patrickmachado@gmail.com |
|
|
|
|
|
| Description |
|
|
| Synopsis |
|
|
|
| Documentation |
|
| findTypeOfArgs :: (Term a, MonadPlus m) => Declarations -> ClassName -> [a] -> [m TypeName] |
| Find out the types of a parameters in an invocation |
|
| findTypeOf :: (Term a, MonadPlus m) => Declarations -> ClassName -> a -> m TypeName |
| Generic function to infere the type of a term.
It dows it's best effort. Sometimes, wrong results may be expected
because many cases are not considered.
May be extended, adding more patterns to new cases |
|
| findType :: MonadPlus m => [String] -> ClassName -> Declarations -> m TypeName |
|
| Produced by Haddock version 0.6 |
