Math.LinearMap.Category.Derivatives

Warning: These lenses will probably change their domain in the future.

Documentation

(/∂) :: forall s x y v q. (Num' s, LinearSpace x, LinearSpace y, LinearSpace v, LinearSpace q, s ~ Scalar x, s ~ Scalar y, s ~ Scalar v, s ~ Scalar q) => Lens' y v -> Lens' x q -> Lens' (LinearMap s x y) (LinearMap s q v) infixr 7

(*∂) :: forall s a q v. (Num' s, OneDimensional q, LinearSpace q, LinearSpace v, s ~ Scalar a, s ~ Scalar q, s ~ Scalar v) => q -> Lens' a (LinearMap s q v) -> Lens' a v infixr 7

(.∂) :: forall s x z. (Fractional' s, LinearSpace x, s ~ Scalar x, LinearSpace z, s ~ Scalar z) => (forall w. (LinearSpace w, Scalar w ~ s) => Lens' (TensorProduct x w) w) -> Lens' x z -> Lens' (SymmetricTensor s x) z infixr 7