numeric-prelude-0.4.3.1: An experimental alternative hierarchy of numeric type classes

Safe HaskellNone
LanguageHaskell98

Algebra.VectorSpace

Contents

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

Documentation

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

Instances
C Double Double # 
Instance details

Defined in Algebra.VectorSpace

C Float Float # 
Instance details

Defined in Algebra.VectorSpace

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

Defined in Algebra.VectorSpace

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

Defined in Algebra.VectorSpace

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

Defined in MathObj.PowerSeries

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

Defined in MathObj.Polynomial

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

Defined in MathObj.PowerSum

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

Defined in Number.Complex

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

Defined in Number.Quaternion

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

Defined in MathObj.LaurentPolynomial

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

Defined in Algebra.VectorSpace

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

Defined in Algebra.VectorSpace

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

Defined in MathObj.DiscreteMap

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

Defined in Number.Physical

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

Defined in Number.SI

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

Defined in Algebra.VectorSpace

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

Defined in Algebra.VectorSpace

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

Defined in MathObj.Wrapper.NumericPrelude

Instances for atomic types

Instances for composed types