DDF.Vector

Documentation

class Monoid r g => Group r g where

Minimal complete definition

invert | minus

Methods

invert :: r h (g -> g)

minus :: r h (g -> g -> g)

invert :: DBI r => r h (g -> g)

minus :: DBI r => r h (g -> g -> g)

class Group r v => Vector r v where

Minimal complete definition

(mult | divide), toFreeVector

Associated Types

type Basis v :: *

Methods

mult :: r h (Double -> v -> v)

divide :: r h (v -> Double -> v)

mult :: Double r => r h (Double -> v -> v)

divide :: Double r => r h (v -> Double -> v)

toFreeVector :: r h (v -> FreeVector (Basis v) Double)

Instances

Lang repr => ProdCon (Vector repr) l r

Methods

prodCon :: (Vector repr l, Vector repr r) :- Vector repr (l, r)

minus2 :: (Group r b, DBI r) => r h b -> r h b -> r h b

mult1 :: (Vector r v, DBI r) => r h Double -> r h (v -> v)

mult2 :: (Vector r b, DBI r) => r h Double -> r h b -> r h b

divide2 :: (Vector r b, DBI r) => r h b -> r h Double -> r h b

invert1 :: (Group r b, DBI r) => r h b -> r h b

minus1 :: (Group r a, DBI r) => r h a -> r h (a -> a)

divide1 :: (Vector r a, DBI r) => r h a -> r h (Double -> a)

recip :: (Double r, Vector r Double) => r h (Double -> Double)

recip1 :: (Vector r Double, Double r) => r h Double -> r h Double

toFreeVector1 :: (Vector r a, DBI r) => r h a -> r h (FreeVector (Basis a) Double)