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.1.0.1
LTS Haskell 22.18:0.5.12
Stackage Nightly 2024-04-24:0.5.12
Latest on Hackage:0.5.12

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.1.0.1@sha256:affcfa55469067dcbfa2968003b36a17f15f83754ddd30c89191d000f5384a40,2174

Module documentation for 0.1.0.1

  • Numeric
    • Numeric.MixedTypes
      • Numeric.MixedTypes.AddSub
      • Numeric.MixedTypes.Bool
      • Numeric.MixedTypes.Elementary
      • Numeric.MixedTypes.Eq
      • Numeric.MixedTypes.Field
      • Numeric.MixedTypes.Literals
      • Numeric.MixedTypes.MinMaxAbs
      • Numeric.MixedTypes.Ord
      • Numeric.MixedTypes.PreludeHiding
      • Numeric.MixedTypes.Ring
      • Numeric.MixedTypes.Round

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).

See module Numeric.MixedTypes for further documentation.