numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Safe HaskellNone
LanguageHaskell98

Algebra.VectorSpace

Synopsis
  • class (C a, C a b) => C a b

Documentation

class (C a, C a b) => C a b Source #

Instances

Instances details
C Double Double Source # 
Instance details

Defined in Algebra.VectorSpace

C Float Float Source # 
Instance details

Defined in Algebra.VectorSpace

(C a b, RealFloat b) => C a (Complex b) Source # 
Instance details

Defined in Algebra.VectorSpace

C a b => C a [b] Source # 
Instance details

Defined in Algebra.VectorSpace

(C a, C a b) => C a (T b) Source # 
Instance details

Defined in MathObj.PowerSeries

(C a, C a b) => C a (T b) Source # 
Instance details

Defined in MathObj.Polynomial

(C a v, C v) => C a (T v) Source # 
Instance details

Defined in MathObj.PowerSum

C a b => C a (T b) Source # 
Instance details

Defined in Number.Complex

C a b => C a (T b) Source # 
Instance details

Defined in Number.Quaternion

(C a, C a b) => C a (T b) Source # 
Instance details

Defined in MathObj.LaurentPolynomial

C a b => C a (c -> b) Source # 
Instance details

Defined in Algebra.VectorSpace

(C a b0, C a b1) => C a (b0, b1) Source # 
Instance details

Defined in Algebra.VectorSpace

(Ord i, Eq a, Eq v, C a v) => C a (Map i v) Source # 
Instance details

Defined in MathObj.DiscreteMap

(Ord i, C a v) => C a (T i v) Source # 
Instance details

Defined in Number.Physical

C a v => C a (T b v) Source # 
Instance details

Defined in Number.SI

(C a b0, C a b1, C a b2) => C a (b0, b1, b2) Source # 
Instance details

Defined in Algebra.VectorSpace

C a => C (T a) (T a) Source # 
Instance details

Defined in Algebra.VectorSpace

C a v => C (T a) (T v) Source # 
Instance details

Defined in MathObj.Wrapper.NumericPrelude

Instances for atomic types

Instances for composed types