| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Trustworthy |
Linear.V0
Description
0-D Vectors
Documentation
A 0-dimensional vector
>>>pure 1 :: V0 IntV0
>>>V0 + V0V0
Constructors
| V0 |
Instances
| Monad V0 | |
| Functor V0 | |
| Typeable1 V0 | |
| MonadFix V0 | |
| Applicative V0 | |
| Foldable V0 | |
| Traversable V0 | |
| Generic1 V0 | |
| Distributive V0 | |
| Representable V0 | |
| Apply V0 | |
| Bind V0 | |
| MonadZip 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) | |
| 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) | |
| Hashable (V0 a) | |
| Storable a => Storable (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 |