Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family MatFromColRow a b where ...
- type family MatCol a where ...
- type family MatRow a where ...
- type family FromMatColRow ac ar at bc br bt where ...
- type family Multiply a b where ...
- (.*) :: forall a b. (Socketed a, Socketed b, Socketed (Multiply (ReadFrom a) (ReadFrom b))) => a -> b -> Multiply (ReadFrom a) (ReadFrom b)
Documentation
type family MatFromColRow a b where ... Source #
MatFromColRow 2 2 = Xmat2 | |
MatFromColRow 2 3 = Xmat2x3 | |
MatFromColRow 2 4 = Xmat2x4 | |
MatFromColRow 3 3 = Xmat3 | |
MatFromColRow 3 2 = Xmat3x2 | |
MatFromColRow 3 4 = Xmat3x4 | |
MatFromColRow 4 4 = Xmat4 | |
MatFromColRow 4 2 = Xmat4x2 | |
MatFromColRow 4 3 = Xmat4x3 |
type family FromMatColRow ac ar at bc br bt where ... Source #
FromMatColRow _ 1 a _ _ b = a | |
FromMatColRow _ _ a _ 1 b = b | |
FromMatColRow c _ _ _ r _ = MatFromColRow c r |
type family Multiply a b where ... Source #