Safe Haskell | None |
---|
- arithmeticConversion :: TypeName -> TypeName -> Maybe TypeName
- floatConversion :: FloatType -> FloatType -> FloatType
- intConversion :: IntType -> IntType -> IntType
Documentation
arithmeticConversion :: TypeName -> TypeName -> Maybe TypeNameSource
For an arithmetic operator, if the arguments are of the given types, return the type of the full expression.
floatConversion :: FloatType -> FloatType -> FloatTypeSource
intConversion :: IntType -> IntType -> IntTypeSource