cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Matrix.Bilinear

Documentation

data BilinearMap v w where Source #

Constructors

BilinearMap :: (v1 a -> v2 a :-> w a) -> (v2 a -> v1 a :-> w a) -> BilinearMap (v1 a, v2 a) (w a) 

Instances

Instances details
Bilinear f g h a => VectorSpace (BilinearMap (f a, g a) (h a)) Source # 
Instance details

Defined in Math.Matrix.Bilinear

Associated Types

type Scalar (BilinearMap (f a, g a) (h a)) Source #

Methods

vzero :: BilinearMap (f a, g a) (h a) Source #

vnegate :: BilinearMap (f a, g a) (h a) -> BilinearMap (f a, g a) (h a) Source #

(%+) :: BilinearMap (f a, g a) (h a) -> BilinearMap (f a, g a) (h a) -> BilinearMap (f a, g a) (h a) Source #

(%*) :: Scalar (BilinearMap (f a, g a) (h a)) -> BilinearMap (f a, g a) (h a) -> BilinearMap (f a, g a) (h a) Source #

type Scalar (BilinearMap (f a, g a) (h a)) Source # 
Instance details

Defined in Math.Matrix.Bilinear

type Scalar (BilinearMap (f a, g a) (h a)) = a

data Tensor a b where Source #

Constructors

Tensor :: (f :*: g) (a, b) -> Tensor (f a) (g b) 

type (:=>) v w = BilinearMap v w Source #

type Bilinear f g h a = (Diagonalizable h a, Applicative f, Applicative g, VectorSpace (h a), VectorSpace (g a), VectorSpace (f a), Linearizable LinearMap (:*:) g h a, Linearizable LinearMap (:*:) h h a, Linearizable LinearMap (:*:) f h a) Source #