Copyright | 2014 Edward Kmett Charles Durham [2015..2018] Trevor L. McDonell |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
1-D Vectors
Documentation
A 1-dimensional vector
>>>
pure 1 :: V1 Int
V1 1
>>>
V1 2 + V1 3
V1 5
>>>
V1 2 * V1 3
V1 6
>>>
sum (V1 2)
2
V1 a |
class R1 t => R1 t where Source #
A space that has at least 1 basis vector _x
.
Orphan instances
Functor V1 Source # | |
Additive V1 Source # | |
Metric V1 Source # | |
cst a => IsProduct cst (V1 a) Source # | |
(Lift Exp a, Elt (Plain a)) => Lift Exp (V1 a) Source # | |
Elt a => Unlift Exp (V1 (Exp a)) Source # | |
Bounded a => Bounded (Exp (V1 a)) Source # | |
Floating a => Floating (Exp (V1 a)) Source # | |
Floating a => Fractional (Exp (V1 a)) Source # | |
Num a => Num (Exp (V1 a)) Source # | |
Ord a => Ord (V1 a) Source # | |
Eq a => Eq (V1 a) Source # | |
Elt a => Elt (V1 a) Source # | |
Epsilon a => Epsilon (V1 a) Source # | |
(Elt a, Elt b) => Each (Exp (V1 a)) (Exp (V1 b)) (Exp a) (Exp b) Source # | |