MixedTypesNumPrelude

MixedTypesNumPrelude provides a version of Prelude where unary and binary operations such as not, +, == have their result type derived from the parameter type(s).

This module facilitates a single-line import for the package mixed-types-num. See the re-exported modules for further details.

Re-exporting Prelude, hiding the operators we are changing

module Numeric.MixedTypes.PreludeHiding

Error-collecting wrapper type

type CN = CollectErrors NumErrors

cn :: v -> CN v

unCN :: CN p -> p

(~!) :: Show es => CollectErrors es p -> p

Unsafe way to get a value out of the CollectErrors wrapper.

A part of package `convertible'

module Data.Convertible.Base

Modules with Prelude alternatives

module Numeric.MixedTypes.Literals

module Numeric.MixedTypes.Bool

module Numeric.MixedTypes.Kleenean

module Numeric.MixedTypes.Eq

module Numeric.MixedTypes.Ord

module Numeric.MixedTypes.MinMaxAbs

module Numeric.MixedTypes.AddSub

module Numeric.MixedTypes.Round

module Numeric.MixedTypes.Reduce

module Numeric.MixedTypes.Ring

module Numeric.MixedTypes.Div

module Numeric.MixedTypes.Power

module Numeric.MixedTypes.Field

module Numeric.MixedTypes.Elementary

module Numeric.MixedTypes.Complex

module Utils.TH.DeclForTypes

module Utils.Test.EnforceRange

Re-export for convenient Rational literals

(%) :: Integral a => a -> a -> Ratio a infixl 7

Forms the ratio of two integral numbers.