Safe Haskell | None |
---|
Documentation
data LinearOperator' p q f g whereSource
LinearOperator' :: (Multivector p q f -> Multivector p q g) -> LinearOperator' p q f g | |
| |
LinearOperator :: (Multivector p q f -> Multivector p q f) -> LinearOperator' p q f f | |
|
type LinearOperator p q f = LinearOperator' p q f fSource
type LinearOperatorCreator p q f = (C f, Ord f, SingI p, SingI q) => Multivector p q f -> LinearOperator p q fSource
class LinearOperatorClass' p q f g Source
createFunctionalFromElements :: forall p q f. (C f, Ord f, SingI p, SingI q) => [[f]] -> Multivector p q f -> Multivector p q fSource
createLinearOperatorFromElements :: forall p q f. (C f, Ord f, SingI p, SingI q) => [[f]] -> LinearOperator p q fSource
rotate :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => Multivector t t1 t2 -> Multivector t t1 t2 -> Multivector t t1 t2Source
rotatePlaneAngle :: (Ord b, Show b, SingI Nat p, SingI Nat q, C b) => Multivector p q b -> Multivector p q b -> Multivector p q b -> Multivector p q bSource
makeRotationOperatorFromPlaneAngle :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f -> LinearOperator' p q f fSource
project :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => Multivector t t1 t2 -> Multivector t t1 t2 -> Multivector t t1 t2Source