Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Linear maps
- type :-* u v = Basis u :->: v
- linear :: (HasBasis u, HasTrie (Basis u)) => (u -> v) -> u :-* v
- lapply :: (VectorSpace v, Scalar u ~ Scalar v, HasBasis u, HasTrie (Basis u)) => (u :-* v) -> u -> v
- idL :: (HasBasis u, HasTrie (Basis u)) => u :-* u
- compL :: (HasBasis u, HasTrie (Basis u), HasBasis v, HasTrie (Basis v), VectorSpace w, Scalar v ~ Scalar w) => (v :-* w) -> (u :-* v) -> u :-* w