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

Algebra.VectorSpace

Contents

Synopsis

Documentation

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

Instances

C Double Double 
C Float Float 
C a b => C a [b] 
(C a, C a b) => C a (T b) 
(C a, C a b) => C a (T b) 
(C a v, C v) => C a (T v) 
C a b => C a (T b) 
(C a, C a b) => C a (T b) 
C a b => C a (T b) 
C a b => C a (c -> b) 
(C a b0, C a b1) => C a (b0, b1) 
(Ord i, Eq a, Eq v, C a v) => C a (Map i v) 
(Ord i, C a v) => C a (T i v) 
C a v => C a (T b v) 
(C a b0, C a b1, C a b2) => C a (b0, b1, b2) 
C a => C (T a) (T a) 
C a v => C (T a) (T v) 

Instances for atomic types

Instances for composed types