| Safe Haskell | Safe-Inferred |
|---|
Numeric.Covector
Contents
- newtype Covector r a = Covector {
- ($*) :: (a -> r) -> r
- counitM :: UnitalAlgebra r a => a -> Covector r ()
- unitM :: CounitalCoalgebra r c => Covector r c
- comultM :: Algebra r a => a -> Covector r (a, a)
- multM :: Coalgebra r c => c -> c -> Covector r c
- invM :: InvolutiveAlgebra r h => h -> Covector r h
- coinvM :: InvolutiveCoalgebra r h => h -> Covector r h
- antipodeM :: HopfAlgebra r h => h -> Covector r h
- convolveM :: (Algebra r c, Coalgebra r a) => (c -> Covector r a) -> (c -> Covector r a) -> c -> Covector r a
Documentation
Linear functionals from elements of an (infinite) free module to a scalar
Instances
Covectors as linear functionals
counitM :: UnitalAlgebra r a => a -> Covector r ()Source
unitM :: CounitalCoalgebra r c => Covector r cSource
invM :: InvolutiveAlgebra r h => h -> Covector r hSource
coinvM :: InvolutiveCoalgebra r h => h -> Covector r hSource
antipodeM :: HopfAlgebra r h => h -> Covector r hSource
convolveM antipodeM return = convolveM return antipodeM = comultM >=> uncurry joinM