yap-0.1: yet another prelude - a simplistic refactoring with algebraic classes

Portability	portable
Stability	provisional
Maintainer	ross@soi.city.ac.uk

Data.YAP.Vector

Description

An example instance of the new classes: vectors.

Synopsis

Documentation

newtype Vector a Source

Simple vector type.

Constructors

Instances

Functor Vector
Eq a => Eq (Vector a)
Show a => Show (Vector a)
AbelianGroup a => AbelianGroup (Vector a)

dot :: Ring a => Vector a -> Vector a -> aSource

Dot product of two vectors.

norm :: Ring a => Vector a -> aSource

Norm of a vector.