Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
toMultiValue :: T n a -> MVVector n a Source #
fromMultiValue :: MVVector n a -> T n a Source #
liftMultiValueM2 :: Functor f => (T n a -> T m b -> f (T k c)) -> MVVector n a -> MVVector m b -> f (MVVector k c) Source #
liftMultiValueM3 :: Functor f => (T n a -> T m b -> T m c -> f (T k d)) -> MVVector n a -> MVVector m b -> MVVector m c -> f (MVVector k d) Source #
Orphan instances
(Positive n, BitShift a) => BitShift (Vector n a) Source # | |
(Positive n, Logic a) => Logic (Vector n a) Source # | |
and :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # or :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # xor :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # inv :: T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # | |
(Positive n, Fraction a) => Fraction (Vector n a) Source # | |
(Positive n, Real a) => Real (Vector n a) Source # | |
min :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # max :: T (Vector n a) -> T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # abs :: T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # signum :: T (Vector n a) -> CodeGenFunction r (T (Vector n a)) Source # | |
(Positive n, PseudoRing a) => PseudoRing (Vector n a) Source # | |
(Positive n, Additive a) => Additive (Vector n a) Source # | |
(Positive n, RationalConstant a) => RationalConstant (Vector n a) Source # | |
fromRational' :: Rational -> T (Vector n a) Source # | |
(Positive n, IntegerConstant a) => IntegerConstant (Vector n a) Source # | |
fromInteger' :: Integer -> T (Vector n a) Source # | |
(Positive n, C a) => C (Vector n a) Source # | |