linear-1.16.2: Linear Algebra

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