[Home] Module Microsoft.FSharp.Math.Types

The concrete definitions of the various types in this namespace.

Module	Description
Microsoft.FSharp.Math.Types.Associations	Associations are a systematic method of associating dictionaries of operations with given types at runtime. The logic and rules of association are similar in spirit to Haskell's type classes, except that everything happens at runtime, and thus the existence of appropriate associations (instances) is not checked at compile-time, and the association requirements of various functions are not recorded in their signatures. Runtime associations have some benefits over Haskell type classes (runtime resolutions can be performed to resolve potential ambiguities). In this release the system of associations is weak and simply limited to a registry of types that support dictionaries of numeric operations. Functional dependencies, overlapping instances etc. are not reported.
Microsoft.FSharp.Math.Types.Instances
Microsoft.FSharp.Math.Types.RawMatrixOps	For internal and testing use only

Type	Description
type BigInt	The type of arbitrary-sized integers
type BigNum	The type of arbitrary-sized rational numbers, with more efficient representations for integers
type BigRational	The type of arbitrary-sized rational numbers
type Complex	The type of complex numbers stored as pairs of 64-bit floating point numbers in rectangular coordinates
type IFloating
type IFractional
type IIEEE
type IIntegral
type INumeric
type Matrix	The type of matrices. The arithmetic operations on the element type are determined by inspection on the element type itself
type opsData	Deprecated: This type will be made private in a future release and thus should not be accessed directly Note: an abbreviation for `INumeric<'a> option`
type RowVector	The type of row vectors. This type is included mostly only for completeness and is used relatively rarely.
type Vector	The type of column vectors. The arithmetic operations on the element type are determined by inspection on the element type itself