Safe Haskell | Safe-Infered |
---|
Top.Implementation.TypeInference
Description
Additional state information that should be stored in order to perform type inference.
Documentation
Constructors
TIState | |
Top-1.7: Constraint solving framework employed by the Helium Compiler.
Safe Haskell | Safe-Infered |
---|
Top.Implementation.TypeInference
Description
Additional state information that should be stored in order to perform type inference.
Constructors
TIState | |