linear-1.20.7: Linear Algebra

Linear.Covector

Description

Operations on affine spaces.

Synopsis

# Documentation

newtype Covector r a #

Linear functionals from elements of an (infinite) free module to a scalar

Constructors

 Covector FieldsrunCovector :: (a -> r) -> r

Instances

 # Methods(>>=) :: Covector r a -> (a -> Covector r b) -> Covector r b #(>>) :: Covector r a -> Covector r b -> Covector r b #return :: a -> Covector r a #fail :: String -> Covector r a # # Methodsfmap :: (a -> b) -> Covector r a -> Covector r b #(<$) :: a -> Covector r b -> Covector r a # # Methodspure :: a -> Covector r a #(<*>) :: Covector r (a -> b) -> Covector r a -> Covector r b #(*>) :: Covector r a -> Covector r b -> Covector r b #(<*) :: Covector r a -> Covector r b -> Covector r a # Num r => Alternative (Covector r) # Methodsempty :: Covector r a #(<|>) :: Covector r a -> Covector r a -> Covector r a #some :: Covector r a -> Covector r [a] #many :: Covector r a -> Covector r [a] # Num r => MonadPlus (Covector r) # Methodsmzero :: Covector r a #mplus :: Covector r a -> Covector r a -> Covector r a # Num r => Plus (Covector r) # Methodszero :: Covector r a # Num r => Alt (Covector r) # Methods() :: Covector r a -> Covector r a -> Covector r a #some :: Applicative (Covector r) => Covector r a -> Covector r [a] #many :: Applicative (Covector r) => Covector r a -> Covector r [a] # # Methods(<.>) :: Covector r (a -> b) -> Covector r a -> Covector r b #(.>) :: Covector r a -> Covector r b -> Covector r b #(<.) :: Covector r a -> Covector r b -> Covector r a # Bind (Covector r) # Methods(>>-) :: Covector r a -> (a -> Covector r b) -> Covector r b #join :: Covector r (Covector r a) -> Covector r a # Coalgebra r m => Num (Covector r m) # Methods(+) :: Covector r m -> Covector r m -> Covector r m #(-) :: Covector r m -> Covector r m -> Covector r m #(*) :: Covector r m -> Covector r m -> Covector r m #negate :: Covector r m -> Covector r m #abs :: Covector r m -> Covector r m #signum :: Covector r m -> Covector r m #fromInteger :: Integer -> Covector r m # ($*) :: Representable f => Covector r (Rep f) -> f r -> r infixr 0 #