halg-core-test-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Algebra.Ring.Ideal.Test

Orphan instances

CoSerial m r => CoSerial m (Ideal r) Source # 
Instance details

Methods

coseries :: Series m b -> Series m (Ideal r -> b)

(DecidableZero r, Serial m r) => Serial m (Ideal r) Source # 
Instance details

Methods

series :: Series m (Ideal r)

(DecidableZero r, Arbitrary r) => Arbitrary (Ideal r) Source # 
Instance details

Methods

arbitrary :: Gen (Ideal r)

shrink :: Ideal r -> [Ideal r]