Safe Haskell | None |
---|---|
Language | Haskell98 |
Algebra.RingUtils
Documentation
module Prelude
class AbelianGroup a where
Instances
AbelianGroup Bool | |
AbelianGroup Int | |
AbelianGroup a => AbelianGroup (Pair a) | |
AbelianGroup a => AbelianGroup (Vec x a) | |
AbelianGroup (f (g a)) => AbelianGroup (O f g a) | |
AbelianGroupZ a => AbelianGroup (Mat x y a) |
class AbelianGroup a => AbelianGroupZ a where
Instances
AbelianGroupZ Int | |
AbelianGroupZ a => AbelianGroupZ (Pair a) | |
AbelianGroupZ (f (g a)) => AbelianGroupZ (O f g a) |
class AbelianGroupZ a => RingP a where
data Pair a
Instances
Functor Pair | |
Applicative Pair | |
Show a => Show (Pair a) | |
AbelianGroupZ a => AbelianGroupZ (Pair a) | |
AbelianGroup a => AbelianGroup (Pair a) | |
Matrix m => Matrix (O Pair m) |
newtype O f g a
Instances
(Functor f, Functor g) => Functor (O f g) | |
Matrix m => Matrix (O Pair m) | |
Show (f (g a)) => Show (O f g a) | |
AbelianGroupZ (f (g a)) => AbelianGroupZ (O f g a) | |
AbelianGroup (f (g a)) => AbelianGroup (O f g a) |
sum :: AbelianGroup a => [a] -> a
mulDefault :: RingP a => a -> a -> a
module Data.Pair