Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
vector1_to_vec1 :: Vector1 a -> OneD -> a Source #
vector2_to_vec2 :: Vector2 a -> TwoD -> a Source #
vector4_to_vec4 :: Vector4 a -> FourD -> a Source #
toSimple21 :: (ConjugateSymmetric a, Num a) => (Vector2 :*: Vector1) a -> (TwoD :&: OneD) a Source #
toSimple22 :: (ConjugateSymmetric a, Num a) => (Vector2 :*: Vector2) a -> (TwoD :&: TwoD) a Source #
toSimple12 :: (ConjugateSymmetric a, Num a) => (Vector1 :*: Vector2) a -> (OneD :&: TwoD) a Source #