mixed-types-num-0.5.4.0: Alternative Prelude with numeric and logic expressions typed bottom-up
Copyright(c) Michal Konecny Pieter Collins
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

MixedTypesNumPrelude

Description

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.

Synopsis

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 #

clearPotentialErrors :: CanClearPotentialErrors cnt => cnt -> cnt #

If there is a value, remove any potential errors that are associated with it.

A part of package `convertible'

module Data.Convertible.Base

Modules with Prelude alternatives

module Numeric.MixedTypes.Literals

module Numeric.MixedTypes.Bool

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.