Cabal-Version: 2.2 Name: numeric-prelude Version: 0.4.3.3 License: BSD-3-Clause 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.4, GHC==8.6.5, GHC==9.0.1 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.3 Type: darcs Location: https://hub.darcs.net/thielema/numeric-prelude/ Source-Repository head Type: darcs Location: https://hub.darcs.net/thielema/numeric-prelude/ Library Build-Depends: parsec >=1 && <4, QuickCheck >=2.10 && <3, storable-record >=0.0.1 && <0.1, non-negative >=0.0.5 && <0.2, semigroups >=0.1 && <1.0, utility-ht >=0.0.13 && <0.1, deepseq >=1.1 && <1.5 Build-Depends: array >=0.1 && <0.6, containers >=0.1 && <0.7, random >=1.0 && <1.3, base >=4.5 && <5 Default-Language: Haskell98 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 Default-Language: Haskell98 Main-Is: Demo.hs If flag(buildExamples) Build-Depends: numeric-prelude, base Else Buildable: False Test-Suite numeric-prelude-test Type: exitcode-stdio-1.0 GHC-Options: -Wall Default-Language: Haskell98 Hs-Source-Dirs: test Other-modules: Test.NumericPrelude.Utility Test.Number.GaloisField2p32m5 Test.Number.ComplexSquareRoot Test.Algebra.IntegralDomain Test.Algebra.PrincipalIdealDomain Test.Algebra.RealRing Test.Algebra.Additive Test.MathObj.RefinementMask2 Test.MathObj.PartialFraction Test.MathObj.Matrix Test.MathObj.Polynomial Test.MathObj.Polynomial.Core Test.MathObj.PowerSeries Test.MathObj.PowerSeries.Core Test.MathObj.PowerSeries.Example Test.MathObj.Gaussian.ExponentTuple Test.MathObj.Gaussian.Variance Test.MathObj.Gaussian.Bell Test.MathObj.Gaussian.Polynomial Hs-Source-Dirs: playground Other-modules: Number.ComplexSquareRoot Hs-Source-Dirs: gaussian Other-Modules: MathObj.Gaussian.Bell MathObj.Gaussian.Polynomial MathObj.Gaussian.Variance MathObj.Gaussian.ExponentTuple Main-Is: Test/Run.hs Build-Depends: doctest-exitcode-stdio >=0.0 && <0.1, doctest-lib >=0.1 && <0.1.1, numeric-prelude, QuickCheck, utility-ht, random, base Executable numeric-prelude-gaussian Hs-Source-Dirs: gaussian Main-Is: Gaussian.hs Default-Language: Haskell98 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.2, numeric-prelude, QuickCheck, utility-ht, base Else Buildable: False