| Copyright | (C) 2012-2013 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Trustworthy |
| Language | Haskell98 |
Linear.V0
Description
0-D Vectors
Documentation
A 0-dimensional vector
>>>pure 1 :: V0 IntV0
>>>V0 + V0V0
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 |