BNFC-2.7.0.0: A compiler front-end generator.

Safe Haskell	None
Language	Haskell98

Algebra.RingUtils

Documentation

module Prelude

class AbelianGroup a where Source

Methods

zero :: a Source

(+) :: a -> a -> a infixl 6 Source

Instances

AbelianGroup Bool Source
AbelianGroup Int Source
AbelianGroup a => AbelianGroup (Pair a) Source
AbelianGroup a => AbelianGroup (Vec x a) Source
AbelianGroup (f (g a)) => AbelianGroup (O f g a) Source
AbelianGroupZ a => AbelianGroup (Mat x y a) Source

class AbelianGroup a => AbelianGroupZ a where Source

Methods

isZero :: a -> Bool Source

Instances

AbelianGroupZ Int Source
AbelianGroupZ a => AbelianGroupZ (Pair a) Source
AbelianGroupZ (f (g a)) => AbelianGroupZ (O f g a) Source

class AbelianGroupZ a => Ring a where Source

Methods

(*) :: a -> a -> a infixl 7 Source

Instances

Ring Int Source

class AbelianGroupZ a => RingP a where Source

Methods

mul :: Bool -> a -> a -> Pair a Source

data Pair a Source

Constructors

(:/:) infixl 2
Fields leftOf :: a rightOf :: a

Instances

Functor Pair Source
Applicative Pair Source
Show a => Show (Pair a) Source
AbelianGroupZ a => AbelianGroupZ (Pair a) Source
AbelianGroup a => AbelianGroup (Pair a) Source
Matrix m => Matrix (O Pair m) Source

select :: Bool -> [t] -> Pair [t] Source

onlyLeft :: [t] -> Pair [t] Source

onlyRight :: [t] -> Pair [t] Source

newtype O f g a Source

Constructors

O
Fields fromO :: f (g a)

Instances

(Functor f, Functor g) => Functor (O f g) Source
Matrix m => Matrix (O Pair m) Source
Show (f (g a)) => Show (O f g a) Source
AbelianGroupZ (f (g a)) => AbelianGroupZ (O f g a) Source
AbelianGroup (f (g a)) => AbelianGroup (O f g a) Source

sum :: AbelianGroup a => [a] -> a Source

mulDefault :: RingP a => a -> a -> a Source

module Data.Pair