Crypto.Lol.Tests.ZqTests

Tests for modular arithmetic.

Documentation

zqTests :: _ => Proxy r -> Test

Tests for ZqBasic

prop_add :: forall r. (Ring r, Eq r) => LiftedMod r -> LiftedMod r -> Test r

prop_mul :: forall r. (Ring r, Eq r) => LiftedInvertible r -> LiftedInvertible r -> Test r

prop_recip :: (Field r, Eq r) => Invertible r -> Test r

prop_mul_ext :: (CRTEmbed r, Eq r) => Invertible r -> Invertible r -> Test r

data LiftedMod r where

Constructors

LMod :: ToInteger (ModRep r) => ModRep r -> LiftedMod r

Instances

(Mod r, Random (ModRep r), ToInteger (ModRep r)) => Random (LiftedMod r)

Methods

randomR :: RandomGen g => (LiftedMod r, LiftedMod r) -> g -> (LiftedMod r, g)

random :: RandomGen g => g -> (LiftedMod r, g)

randomRs :: RandomGen g => (LiftedMod r, LiftedMod r) -> g -> [LiftedMod r]

randoms :: RandomGen g => g -> [LiftedMod r]

randomRIO :: (LiftedMod r, LiftedMod r) -> IO (LiftedMod r)

randomIO :: IO (LiftedMod r)

data LiftedInvertible r where

Constructors

LInv :: ToInteger (ModRep r) => ModRep r -> LiftedInvertible r

Instances

(Mod r, Random (ModRep r), PID (ModRep r), ToInteger (ModRep r)) => Random (LiftedInvertible r)

Methods

randomR :: RandomGen g => (LiftedInvertible r, LiftedInvertible r) -> g -> (LiftedInvertible r, g)

random :: RandomGen g => g -> (LiftedInvertible r, g)

randomRs :: RandomGen g => (LiftedInvertible r, LiftedInvertible r) -> g -> [LiftedInvertible r]

randoms :: RandomGen g => g -> [LiftedInvertible r]

randomRIO :: (LiftedInvertible r, LiftedInvertible r) -> IO (LiftedInvertible r)

randomIO :: IO (LiftedInvertible r)

newtype Invertible r

Constructors

Invertible r

Instances

(Random (LiftedInvertible r), Ring r, ToInteger (ModRep r)) => Random (Invertible r)

Methods

randomR :: RandomGen g => (Invertible r, Invertible r) -> g -> (Invertible r, g)

random :: RandomGen g => g -> (Invertible r, g)

randomRs :: RandomGen g => (Invertible r, Invertible r) -> g -> [Invertible r]

randoms :: RandomGen g => g -> [Invertible r]

randomRIO :: (Invertible r, Invertible r) -> IO (Invertible r)

randomIO :: IO (Invertible r)