Safe Haskell | None |
---|---|
Language | Haskell2010 |
Algebra.TestUtils
Documentation
checkForTypeNat :: [Natural] -> (forall n. KnownNat (n :: Nat) => SNat n -> Property) -> Property Source #
module Algebra.Ring.Polynomial.Test
module Algebra.Field.Fraction.Test
module Algebra.Field.Finite.Test