linear-1.16.2: Linear Algebra

Copyright(C) 2012-2013 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellTrustworthy
LanguageHaskell98

Linear.V0

Description

0-D Vectors

Synopsis

Documentation

data V0 a Source

A 0-dimensional vector

>>> pure 1 :: V0 Int
V0
>>> V0 + V0
V0

Constructors

V0 

Instances

Monad V0 
Functor V0 
MonadFix V0 
Applicative V0 
Foldable V0 
Traversable V0 
Generic1 V0 
Distributive V0 
Representable V0 
MonadZip V0 
Apply V0 
Bind V0 
Additive V0 
Metric V0 
Trace V0 
Affine V0 
Vector Vector (V0 a) 
MVector MVector (V0 a) 
Num r => Coalgebra r (E V0) 
Num r => Algebra r (E V0) 
Bounded (V0 a) 
Enum (V0 a) 
Eq (V0 a) 
Fractional (V0 a) 
Data a => Data (V0 a) 
Num (V0 a) 
Ord (V0 a) 
Read (V0 a) 
Show (V0 a) 
Ix (V0 a) 
Generic (V0 a) 
Storable a => Storable (V0 a) 
NFData (V0 a) 
Hashable (V0 a) 
Unbox (V0 a) 
Ixed (V0 a) 
Epsilon a => Epsilon (V0 a) 
FunctorWithIndex (E V0) V0 
FoldableWithIndex (E V0) V0 
TraversableWithIndex (E V0) V0 
Each (V0 a) (V0 b) a b 
Typeable (* -> *) V0 
type Rep1 V0 
type Rep V0 = E V0 
type Diff V0 = V0 
data MVector s (V0 a) = MV_V0 Int 
type Rep (V0 a) 
data Vector (V0 a) = V_V0 Int 
type Index (V0 a) = E V0 
type IxValue (V0 a) = a