Documentation

liftSNat :: (forall n. KnownNat (n :: Nat) => SNat n -> Property) -> Natural -> Property Source #

checkForTypeNat :: [Natural] -> (forall n. KnownNat (n :: Nat) => SNat n -> Property) -> Property Source #

module Algebra.Ring.Polynomial.Test

module Algebra.Ring.Polynomial.Monomial.Test

module Algebra.Field.Fraction.Test

module Algebra.Field.Finite.Test