Copyright	(c) Justus Sagemüller 2022
License	GPL v3
Maintainer	(@) jsag $ hvl.no
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.LinearMap.Coercion

Description

Synopsis

data VSCCoercion a b where
- VSCCoercion :: Coercible a b => VSCCoercion a b

Documentation

data VSCCoercion a b where Source #

A coercion that is compatible with the vector space structure of the types. Intended to be used for lossless conversion between newtype wrappers around vector spaces, under the requirement that they internally use the same basis (if any). Note that this does not mean they also need to have the same inner product / dual space.

Constructors

VSCCoercion :: Coercible a b => VSCCoercion a b

Instances

Instances details

Category VSCCoercion Source #
Instance details Defined in Math.LinearMap.Category.Class Associated Types type Object VSCCoercion o # Methods id :: forall (a :: κ). Object VSCCoercion a => VSCCoercion a a # (.) :: forall (a :: κ) (b :: κ) (c :: κ). (Object VSCCoercion a, Object VSCCoercion b, Object VSCCoercion c) => VSCCoercion b c -> VSCCoercion a b -> VSCCoercion a c #
EnhancedCat (Coercion :: Type -> Type -> Type) VSCCoercion Source #
Instance details Defined in Math.LinearMap.Category.Class Methods arr :: (Object VSCCoercion b, Object VSCCoercion c, Object Coercion b, Object Coercion c) => VSCCoercion b c -> Coercion b c #
EnhancedCat (LinearFunction s) VSCCoercion Source #
Instance details Defined in Math.LinearMap.Category.Class Methods arr :: (Object VSCCoercion b, Object VSCCoercion c, Object (LinearFunction s) b, Object (LinearFunction s) c) => VSCCoercion b c -> LinearFunction s b c #
EnhancedCat (->) VSCCoercion Source #
Instance details Defined in Math.LinearMap.Category.Class Methods arr :: (Object VSCCoercion b, Object VSCCoercion c, Object (->) b, Object (->) c) => VSCCoercion b c -> b -> c #
(LinearSpace v, Scalar v ~ s) => Functor (LinearMap s v) VSCCoercion VSCCoercion Source #
Instance details Defined in Math.LinearMap.Category.Class Methods fmap :: (Object VSCCoercion a, Object VSCCoercion (LinearMap s v a), Object VSCCoercion b, Object VSCCoercion (LinearMap s v b)) => VSCCoercion a b -> VSCCoercion (LinearMap s v a) (LinearMap s v b) #
(TensorSpace v, Scalar v ~ s) => Functor (Tensor s v) VSCCoercion VSCCoercion Source #
Instance details Defined in Math.LinearMap.Category.Class Methods fmap :: (Object VSCCoercion a, Object VSCCoercion (Tensor s v a), Object VSCCoercion b, Object VSCCoercion (Tensor s v b)) => VSCCoercion a b -> VSCCoercion (Tensor s v a) (Tensor s v b) #
type Object VSCCoercion (o :: Type) Source #
Instance details Defined in Math.LinearMap.Category.Class type Object VSCCoercion (o :: Type) = ()