Documentation

class Monoid r g => Group r g where Source #

class Group r v => Vector r v where Source #

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

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

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

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

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

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

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

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

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

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