mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

https://github.com/michalkonecny/mixed-types-num

Version on this page:0.3.1.4
LTS Haskell 23.1:0.6.2
Stackage Nightly 2024-12-22:0.6.2
Latest on Hackage:0.6.2

See all snapshots mixed-types-num appears in

BSD-3-Clause licensed by Michal Konecny
Maintained by Michal Konecny
This version can be pinned in stack with:mixed-types-num-0.3.1.4@sha256:a7d5508256f2644b5eacf7a7355bf45502897cd064cdcc18dc7633e3ba67b9cb,2833

Module documentation for 0.3.1.4

Used by 2 packages in nightly-2018-01-25(full list with versions):
aern2-mp, aern2-real

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.

Changes

  • v 0.3.1.4 2017-12-06

    • removed upper bounds for dependencies

  • v 0.3.1.3 2017-08-22

    • fixed bound on base in test suite

  • v 0.3.1.2 2017-08-15

    • provided compatible versions of take, drop, length, replicate, splitAt
    • added missing mixed-type subtraction combination to Ring etc.

  • v 0.3.0.1 2017-08-01

    • improve package documentation in module MixedTypesNumPrelude

  • v 0.3 2017-08-01

    • renamed the main module to MixedTypesNumPrelude
    • much faster compilation
    • Ring and Field are now classes, not synonyms for large sets of constraints
    • many fixes in collect-error framework and its use in division and power
    • Overloaded if-then-else via -XRebindableSyntax
    • compiling with ghc 8.2.1

  • v 0.2.0.1

    • fix compilation bug in test suite
    • minor doc improvements
    • fix Complex instances of error-throwing division (/!)

  • v 0.2

    • new CollectErrors wrapper
    • CN, specialisation of CollectErrors to NumErrors
    • numerical partial operators (eg division) return a CN type
    • instances for Data.Complex

  • v 0.1

    • first release