cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe
LanguageHaskell2010

Math.Matrix.Points

Documentation

data OneD Source #

Constructors

OneD0 

Instances

Instances details
Enum OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

succ :: OneD -> OneD #

pred :: OneD -> OneD #

toEnum :: Int -> OneD #

fromEnum :: OneD -> Int #

enumFrom :: OneD -> [OneD] #

enumFromThen :: OneD -> OneD -> [OneD] #

enumFromTo :: OneD -> OneD -> [OneD] #

enumFromThenTo :: OneD -> OneD -> OneD -> [OneD] #

Num OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(+) :: OneD -> OneD -> OneD #

(-) :: OneD -> OneD -> OneD #

(*) :: OneD -> OneD -> OneD #

negate :: OneD -> OneD #

abs :: OneD -> OneD #

signum :: OneD -> OneD #

fromInteger :: Integer -> OneD #

Integral OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

quot :: OneD -> OneD -> OneD #

rem :: OneD -> OneD -> OneD #

div :: OneD -> OneD -> OneD #

mod :: OneD -> OneD -> OneD #

quotRem :: OneD -> OneD -> (OneD, OneD) #

divMod :: OneD -> OneD -> (OneD, OneD) #

toInteger :: OneD -> Integer #

Real OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

toRational :: OneD -> Rational #

Show OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> OneD -> ShowS #

show :: OneD -> String #

showList :: [OneD] -> ShowS #

PpShow OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: OneD -> Doc Source #

Universe OneD Source # 
Instance details

Defined in Math.Matrix.Points

Eq OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: OneD -> OneD -> Bool #

(/=) :: OneD -> OneD -> Bool #

Ord OneD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

compare :: OneD -> OneD -> Ordering #

(<) :: OneD -> OneD -> Bool #

(<=) :: OneD -> OneD -> Bool #

(>) :: OneD -> OneD -> Bool #

(>=) :: OneD -> OneD -> Bool #

max :: OneD -> OneD -> OneD #

min :: OneD -> OneD -> OneD #

Num a => DecomposableVectorSpace (Vector1 a) ((->) OneD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

decompose :: (Scalar (Vector1 a) -> res) -> Vector1 a -> OneD -> res Source #

project :: Vector1 a -> OneD -> Scalar (Vector1 a) Source #

Num a => Num (OneD -> a) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

(+) :: (OneD -> a) -> (OneD -> a) -> OneD -> a #

(-) :: (OneD -> a) -> (OneD -> a) -> OneD -> a #

(*) :: (OneD -> a) -> (OneD -> a) -> OneD -> a #

negate :: (OneD -> a) -> OneD -> a #

abs :: (OneD -> a) -> OneD -> a #

signum :: (OneD -> a) -> OneD -> a #

fromInteger :: Integer -> OneD -> a #

Show b => Show (OneD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (OneD -> b) -> ShowS #

show :: (OneD -> b) -> String #

showList :: [OneD -> b] -> ShowS #

data TwoD Source #

Constructors

TwoD0 
TwoD1 

Instances

Instances details
Enum TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

succ :: TwoD -> TwoD #

pred :: TwoD -> TwoD #

toEnum :: Int -> TwoD #

fromEnum :: TwoD -> Int #

enumFrom :: TwoD -> [TwoD] #

enumFromThen :: TwoD -> TwoD -> [TwoD] #

enumFromTo :: TwoD -> TwoD -> [TwoD] #

enumFromThenTo :: TwoD -> TwoD -> TwoD -> [TwoD] #

Num TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(+) :: TwoD -> TwoD -> TwoD #

(-) :: TwoD -> TwoD -> TwoD #

(*) :: TwoD -> TwoD -> TwoD #

negate :: TwoD -> TwoD #

abs :: TwoD -> TwoD #

signum :: TwoD -> TwoD #

fromInteger :: Integer -> TwoD #

Integral TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

quot :: TwoD -> TwoD -> TwoD #

rem :: TwoD -> TwoD -> TwoD #

div :: TwoD -> TwoD -> TwoD #

mod :: TwoD -> TwoD -> TwoD #

quotRem :: TwoD -> TwoD -> (TwoD, TwoD) #

divMod :: TwoD -> TwoD -> (TwoD, TwoD) #

toInteger :: TwoD -> Integer #

Real TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

toRational :: TwoD -> Rational #

Show TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> TwoD -> ShowS #

show :: TwoD -> String #

showList :: [TwoD] -> ShowS #

CoFactorDimension TwoD Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

cofactorDim :: (Num a, ConjugateSymmetric a) => TwoD -> (TwoD :&: TwoD) a -> a Source #

PpShow TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: TwoD -> Doc Source #

Universe TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Eq TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: TwoD -> TwoD -> Bool #

(/=) :: TwoD -> TwoD -> Bool #

Ord TwoD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

compare :: TwoD -> TwoD -> Ordering #

(<) :: TwoD -> TwoD -> Bool #

(<=) :: TwoD -> TwoD -> Bool #

(>) :: TwoD -> TwoD -> Bool #

(>=) :: TwoD -> TwoD -> Bool #

max :: TwoD -> TwoD -> TwoD #

min :: TwoD -> TwoD -> TwoD #

Num a => DecomposableVectorSpace (Vector2 a) ((->) TwoD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

decompose :: (Scalar (Vector2 a) -> res) -> Vector2 a -> TwoD -> res Source #

project :: Vector2 a -> TwoD -> Scalar (Vector2 a) Source #

Num a => Num (TwoD -> a) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

(+) :: (TwoD -> a) -> (TwoD -> a) -> TwoD -> a #

(-) :: (TwoD -> a) -> (TwoD -> a) -> TwoD -> a #

(*) :: (TwoD -> a) -> (TwoD -> a) -> TwoD -> a #

negate :: (TwoD -> a) -> TwoD -> a #

abs :: (TwoD -> a) -> TwoD -> a #

signum :: (TwoD -> a) -> TwoD -> a #

fromInteger :: Integer -> TwoD -> a #

Show b => Show (TwoD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (TwoD -> b) -> ShowS #

show :: (TwoD -> b) -> String #

showList :: [TwoD -> b] -> ShowS #

Comonad ((->) TwoD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

extract :: (TwoD -> a) -> a Source #

duplicate :: (TwoD -> a) -> TwoD -> (TwoD -> a) Source #

extend :: ((TwoD -> a) -> b) -> (TwoD -> a) -> TwoD -> b Source #

(=>>) :: (TwoD -> a) -> ((TwoD -> a) -> b) -> TwoD -> b Source #

(.>>) :: (TwoD -> a) -> b -> TwoD -> b Source #

data ThreeD Source #

Constructors

ThreeD0 
ThreeD1 
ThreeD2 

Instances

Instances details
Enum ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Num ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Integral ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Real ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Show ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

CoFactorDimension ThreeD Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

cofactorDim :: (Num a, ConjugateSymmetric a) => ThreeD -> (ThreeD :&: ThreeD) a -> a Source #

PpShow ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: ThreeD -> Doc Source #

Universe ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Eq ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: ThreeD -> ThreeD -> Bool #

(/=) :: ThreeD -> ThreeD -> Bool #

Ord ThreeD Source # 
Instance details

Defined in Math.Matrix.Points

Num a => DecomposableVectorSpace (Vector3 a) ((->) ThreeD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

decompose :: (Scalar (Vector3 a) -> res) -> Vector3 a -> ThreeD -> res Source #

project :: Vector3 a -> ThreeD -> Scalar (Vector3 a) Source #

Num a => Num (ThreeD -> a) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

(+) :: (ThreeD -> a) -> (ThreeD -> a) -> ThreeD -> a #

(-) :: (ThreeD -> a) -> (ThreeD -> a) -> ThreeD -> a #

(*) :: (ThreeD -> a) -> (ThreeD -> a) -> ThreeD -> a #

negate :: (ThreeD -> a) -> ThreeD -> a #

abs :: (ThreeD -> a) -> ThreeD -> a #

signum :: (ThreeD -> a) -> ThreeD -> a #

fromInteger :: Integer -> ThreeD -> a #

Show b => Show (ThreeD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (ThreeD -> b) -> ShowS #

show :: (ThreeD -> b) -> String #

showList :: [ThreeD -> b] -> ShowS #

Comonad ((->) ThreeD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

extract :: (ThreeD -> a) -> a Source #

duplicate :: (ThreeD -> a) -> ThreeD -> (ThreeD -> a) Source #

extend :: ((ThreeD -> a) -> b) -> (ThreeD -> a) -> ThreeD -> b Source #

(=>>) :: (ThreeD -> a) -> ((ThreeD -> a) -> b) -> ThreeD -> b Source #

(.>>) :: (ThreeD -> a) -> b -> ThreeD -> b Source #

data FourD Source #

Constructors

FourD0 
FourD1 
FourD2 
FourD3 

Instances

Instances details
Enum FourD Source # 
Instance details

Defined in Math.Matrix.Points

Num FourD Source # 
Instance details

Defined in Math.Matrix.Points

Integral FourD Source # 
Instance details

Defined in Math.Matrix.Points

Real FourD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

toRational :: FourD -> Rational #

Show FourD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> FourD -> ShowS #

show :: FourD -> String #

showList :: [FourD] -> ShowS #

CoFactorDimension FourD Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

cofactorDim :: (Num a, ConjugateSymmetric a) => FourD -> (FourD :&: FourD) a -> a Source #

PpShow FourD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: FourD -> Doc Source #

Universe FourD Source # 
Instance details

Defined in Math.Matrix.Points

Eq FourD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: FourD -> FourD -> Bool #

(/=) :: FourD -> FourD -> Bool #

Ord FourD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

compare :: FourD -> FourD -> Ordering #

(<) :: FourD -> FourD -> Bool #

(<=) :: FourD -> FourD -> Bool #

(>) :: FourD -> FourD -> Bool #

(>=) :: FourD -> FourD -> Bool #

max :: FourD -> FourD -> FourD #

min :: FourD -> FourD -> FourD #

Num a => DecomposableVectorSpace (Vector4 a) ((->) FourD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

decompose :: (Scalar (Vector4 a) -> res) -> Vector4 a -> FourD -> res Source #

project :: Vector4 a -> FourD -> Scalar (Vector4 a) Source #

Num a => Num (FourD -> a) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

(+) :: (FourD -> a) -> (FourD -> a) -> FourD -> a #

(-) :: (FourD -> a) -> (FourD -> a) -> FourD -> a #

(*) :: (FourD -> a) -> (FourD -> a) -> FourD -> a #

negate :: (FourD -> a) -> FourD -> a #

abs :: (FourD -> a) -> FourD -> a #

signum :: (FourD -> a) -> FourD -> a #

fromInteger :: Integer -> FourD -> a #

Show b => Show (FourD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (FourD -> b) -> ShowS #

show :: (FourD -> b) -> String #

showList :: [FourD -> b] -> ShowS #

Comonad ((->) FourD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

extract :: (FourD -> a) -> a Source #

duplicate :: (FourD -> a) -> FourD -> (FourD -> a) Source #

extend :: ((FourD -> a) -> b) -> (FourD -> a) -> FourD -> b Source #

(=>>) :: (FourD -> a) -> ((FourD -> a) -> b) -> FourD -> b Source #

(.>>) :: (FourD -> a) -> b -> FourD -> b Source #

data FiveD Source #

Constructors

FiveD0 
FiveD1 
FiveD2 
FiveD3 
FiveD4 

Instances

Instances details
Enum FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Num FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Integral FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Real FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

toRational :: FiveD -> Rational #

Show FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> FiveD -> ShowS #

show :: FiveD -> String #

showList :: [FiveD] -> ShowS #

PpShow FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: FiveD -> Doc Source #

Universe FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Eq FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: FiveD -> FiveD -> Bool #

(/=) :: FiveD -> FiveD -> Bool #

Ord FiveD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

compare :: FiveD -> FiveD -> Ordering #

(<) :: FiveD -> FiveD -> Bool #

(<=) :: FiveD -> FiveD -> Bool #

(>) :: FiveD -> FiveD -> Bool #

(>=) :: FiveD -> FiveD -> Bool #

max :: FiveD -> FiveD -> FiveD #

min :: FiveD -> FiveD -> FiveD #

Show b => Show (FiveD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (FiveD -> b) -> ShowS #

show :: (FiveD -> b) -> String #

showList :: [FiveD -> b] -> ShowS #

Comonad ((->) FiveD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

extract :: (FiveD -> a) -> a Source #

duplicate :: (FiveD -> a) -> FiveD -> (FiveD -> a) Source #

extend :: ((FiveD -> a) -> b) -> (FiveD -> a) -> FiveD -> b Source #

(=>>) :: (FiveD -> a) -> ((FiveD -> a) -> b) -> FiveD -> b Source #

(.>>) :: (FiveD -> a) -> b -> FiveD -> b Source #

data SixD Source #

Constructors

SixD0 
SixD1 
SixD2 
SixD3 
SixD4 
SixD5 

Instances

Instances details
Enum SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

succ :: SixD -> SixD #

pred :: SixD -> SixD #

toEnum :: Int -> SixD #

fromEnum :: SixD -> Int #

enumFrom :: SixD -> [SixD] #

enumFromThen :: SixD -> SixD -> [SixD] #

enumFromTo :: SixD -> SixD -> [SixD] #

enumFromThenTo :: SixD -> SixD -> SixD -> [SixD] #

Num SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(+) :: SixD -> SixD -> SixD #

(-) :: SixD -> SixD -> SixD #

(*) :: SixD -> SixD -> SixD #

negate :: SixD -> SixD #

abs :: SixD -> SixD #

signum :: SixD -> SixD #

fromInteger :: Integer -> SixD #

Integral SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

quot :: SixD -> SixD -> SixD #

rem :: SixD -> SixD -> SixD #

div :: SixD -> SixD -> SixD #

mod :: SixD -> SixD -> SixD #

quotRem :: SixD -> SixD -> (SixD, SixD) #

divMod :: SixD -> SixD -> (SixD, SixD) #

toInteger :: SixD -> Integer #

Real SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

toRational :: SixD -> Rational #

Show SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> SixD -> ShowS #

show :: SixD -> String #

showList :: [SixD] -> ShowS #

PpShow SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: SixD -> Doc Source #

Universe SixD Source # 
Instance details

Defined in Math.Matrix.Points

Eq SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: SixD -> SixD -> Bool #

(/=) :: SixD -> SixD -> Bool #

Ord SixD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

compare :: SixD -> SixD -> Ordering #

(<) :: SixD -> SixD -> Bool #

(<=) :: SixD -> SixD -> Bool #

(>) :: SixD -> SixD -> Bool #

(>=) :: SixD -> SixD -> Bool #

max :: SixD -> SixD -> SixD #

min :: SixD -> SixD -> SixD #

Show b => Show (SixD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (SixD -> b) -> ShowS #

show :: (SixD -> b) -> String #

showList :: [SixD -> b] -> ShowS #

Comonad ((->) SixD) Source # 
Instance details

Defined in Math.Matrix.Simple

Methods

extract :: (SixD -> a) -> a Source #

duplicate :: (SixD -> a) -> SixD -> (SixD -> a) Source #

extend :: ((SixD -> a) -> b) -> (SixD -> a) -> SixD -> b Source #

(=>>) :: (SixD -> a) -> ((SixD -> a) -> b) -> SixD -> b Source #

(.>>) :: (SixD -> a) -> b -> SixD -> b Source #

data SevenD Source #

Instances

Instances details
Enum SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Num SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Integral SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Real SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Show SevenD Source # 
Instance details

Defined in Math.Matrix.Points

PpShow SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

pp :: SevenD -> Doc Source #

Universe SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Eq SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Methods

(==) :: SevenD -> SevenD -> Bool #

(/=) :: SevenD -> SevenD -> Bool #

Ord SevenD Source # 
Instance details

Defined in Math.Matrix.Points

Show b => Show (SevenD -> b) Source # 
Instance details

Defined in Math.Matrix.Points

Methods

showsPrec :: Int -> (SevenD -> b) -> ShowS #

show :: (SevenD -> b) -> String #

showList :: [SevenD -> b] -> ShowS #

svec1 :: a -> OneD -> a Source #

svec2 :: a -> a -> TwoD -> a Source #

svec3 :: a -> a -> a -> ThreeD -> a Source #

svec4 :: a -> a -> a -> a -> FourD -> a Source #

svec5 :: a -> a -> a -> a -> a -> FiveD -> a Source #

svec6 :: a -> a -> a -> a -> a -> a -> SixD -> a Source #

svec7 :: a -> a -> a -> a -> a -> a -> a -> SevenD -> a Source #