mixed-types-num-0.3.1.3: Alternative Prelude with numeric and logic expressions typed bottom-up

This package provides a version of Prelude where unary and binary operations such as not, +, == have their result type derived from the parameter type(s) and thus supports mixed-type arithmetic and comparisons.

See module MixedTypesNumPrelude for further documentation.

Ghci 8.0.* fails when loading this package due to ghc bug 13385. This bug does not affect ghci 7.10.3 and ghci 8.2.1.

Modules

Control
- Control.CollectErrors
MixedTypesNumPrelude Bottom-up typed numeric expressions
Numeric
- Numeric.CollectErrors A type of numeric errors to be collected
- MixedTypes
  - Numeric.MixedTypes.AddSub Bottom-up typed addition and subtraction
  - Numeric.MixedTypes.Bool Bottom-up typed Boolean operations
  - Numeric.MixedTypes.Complex Instances for Data.Complex
  - Numeric.MixedTypes.Elementary Bottom-up typed pi, sqrt, cos, etc
  - Numeric.MixedTypes.Eq Bottom-up typed equality comparisons
  - Numeric.MixedTypes.Field Bottom-up typed division
  - Numeric.MixedTypes.Literals Fixed-type numeric literals, conversions
  - Numeric.MixedTypes.MinMaxAbs Bottom-up typed min, max and abs
  - Numeric.MixedTypes.Ord Bottom-up typed order comparisons
  - Numeric.MixedTypes.PreludeHiding Prelude without operations that clash with MixedTypes
  - Numeric.MixedTypes.Ring Bottom-up typed multiplication and exponent
  - Numeric.MixedTypes.Round Bottom-up typed round, floor, etc.
Utils
- TH
  - Utils.TH.DeclForTypes Repeat declaration for multiple types