Name: numeric-prelude Version: 0.4.3.1 License: BSD3 License-File: LICENSE Author: Dylan Thurston , Henning Thielemann , Mikael Johansson Maintainer: Henning Thielemann Homepage: http://www.haskell.org/haskellwiki/Numeric_Prelude Category: Math Stability: Experimental Tested-With: GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3 Tested-With: GHC==8.4.1 Cabal-Version: >=1.8 Build-Type: Simple Synopsis: An experimental alternative hierarchy of numeric type classes Description: The package provides an experimental alternative hierarchy of numeric type classes. The type classes are more oriented at mathematical structures and their methods come with laws that the instances must fulfill. Extra-Source-Files: Makefile README.md docs/NOTES docs/README src/Algebra/GenerateRules.hs Flag buildExamples description: Build example executables default: False Source-Repository this Tag: 0.4.3.1 Type: darcs Location: http://hub.darcs.net/thielema/numeric-prelude/ Source-Repository head Type: darcs Location: http://hub.darcs.net/thielema/numeric-prelude/ Library Build-Depends: parsec >=1 && <4, QuickCheck >=1 && <3, storable-record >=0.0.1 && <0.1, non-negative >=0.0.5 && <0.2, semigroups >=0.1 && <1.0, utility-ht >=0.0.6 && <0.1, deepseq >=1.1 && <1.5 Build-Depends: array >=0.1 && <0.6, containers >=0.1 && <0.7, random >=1.0 && <1.2, base >=4.5 && <5 If impl(ghc>=7.0) CPP-Options: -DNoImplicitPrelude=RebindableSyntax Extensions: CPP GHC-Options: -Wall Hs-source-dirs: src Exposed-modules: Algebra.Absolute Algebra.Additive Algebra.Algebraic Algebra.Differential Algebra.DimensionTerm Algebra.DivisibleSpace Algebra.Field Algebra.FloatingPoint Algebra.Indexable Algebra.IntegralDomain Algebra.NonNegative Algebra.Lattice Algebra.Laws Algebra.Module Algebra.ModuleBasis Algebra.Monoid Algebra.NormedSpace.Euclidean Algebra.NormedSpace.Maximum Algebra.NormedSpace.Sum Algebra.OccasionallyScalar Algebra.PrincipalIdealDomain Algebra.RealField Algebra.RealIntegral Algebra.RealRing Algebra.RealTranscendental Algebra.RightModule Algebra.Ring Algebra.ToInteger Algebra.ToRational Algebra.Transcendental Algebra.Units Algebra.Vector Algebra.VectorSpace Algebra.ZeroTestable MathObj.Algebra MathObj.DiscreteMap MathObj.LaurentPolynomial MathObj.Matrix MathObj.Monoid MathObj.PartialFraction MathObj.Permutation MathObj.Permutation.CycleList MathObj.Permutation.CycleList.Check MathObj.Permutation.Table MathObj.Polynomial MathObj.Polynomial.Core MathObj.PowerSeries MathObj.PowerSeries.Core MathObj.PowerSeries.DifferentialEquation MathObj.PowerSeries.Example MathObj.PowerSeries.Mean MathObj.PowerSeries2 MathObj.PowerSeries2.Core MathObj.PowerSum MathObj.RefinementMask2 MathObj.RootSet MathObj.Wrapper.Haskell98 MathObj.Wrapper.NumericPrelude Number.Complex Number.DimensionTerm Number.DimensionTerm.SI Number.FixedPoint Number.FixedPoint.Check Number.GaloisField2p32m5 Number.NonNegative Number.NonNegativeChunky Number.PartiallyTranscendental Number.Peano Number.Positional Number.Positional.Check Number.Quaternion Number.Ratio Number.ResidueClass Number.ResidueClass.Check Number.ResidueClass.Maybe Number.ResidueClass.Func Number.ResidueClass.Reader Number.Root Number.OccasionallyScalarExpression Number.SI.Unit Number.SI Number.Physical.Unit Number.Physical.UnitDatabase Number.Physical Number.Physical.Read Number.Physical.Show NumericPrelude.List.Checked NumericPrelude.List.Generic NumericPrelude.Elementwise NumericPrelude.Numeric NumericPrelude.Base NumericPrelude Other-modules: NumericPrelude.List Algebra.AffineSpace Algebra.RealRing98 -- I think I won't add them this way. -- It is certainly better to split the class into comparison and selection. Algebra.EqualityDecision Algebra.OrderDecision Executable numeric-prelude-demo Hs-Source-Dirs: test GHC-Options: -Wall Main-Is: Demo.hs If flag(buildExamples) Build-Depends: numeric-prelude, base Else Buildable: False If impl(ghc>=7.0) CPP-Options: -DNoImplicitPrelude=RebindableSyntax Extensions: CPP Test-Suite numeric-prelude-test Type: exitcode-stdio-1.0 Hs-Source-Dirs: test, gaussian GHC-Options: -Wall Other-modules: Test.NumericPrelude.Utility Test.Number.GaloisField2p32m5 Test.Number.ComplexSquareRoot Test.Algebra.IntegralDomain Test.Algebra.RealRing Test.Algebra.Additive Test.MathObj.RefinementMask2 Test.MathObj.PartialFraction Test.MathObj.Matrix Test.MathObj.Polynomial Test.MathObj.PowerSeries Test.MathObj.Gaussian.Variance Test.MathObj.Gaussian.Bell Test.MathObj.Gaussian.Polynomial Number.ComplexSquareRoot Main-Is: Test/Run.hs If flag(buildExamples) Build-Depends: HUnit >=1 && <2, numeric-prelude, QuickCheck, utility-ht, random, base Else Buildable: False If impl(ghc>=7.0) CPP-Options: -DNoImplicitPrelude=RebindableSyntax Extensions: CPP Executable numeric-prelude-gaussian Hs-Source-Dirs: gaussian Main-Is: Gaussian.hs Other-Modules: MathObj.Gaussian.Example MathObj.Gaussian.Variance MathObj.Gaussian.Bell MathObj.Gaussian.Polynomial If flag(buildExamples) Build-Depends: gnuplot >=0.5 && <0.6, HTam >=0.0.2 && <0.1, numeric-prelude, QuickCheck, utility-ht, base Else Buildable: False If impl(ghc>=7.0) CPP-Options: -DNoImplicitPrelude=RebindableSyntax Extensions: CPP