cardano-crypto-tests-2.2.1.0: Tests for cardano-crypto-class and -praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Crypto.EllipticCurve

Documentation

testBLSCurve ∷ ∀ curve. BLS curve ⇒ String → Proxy curve → TestTree Source #

testAssoc ∷ (Show a, Eq a) ⇒ (a → a → a) → a → a → a → Property Source #

testCommut ∷ (Show a, Eq a) ⇒ (a → a → a) → a → a → Property Source #

prop_repeatedAddition ∷ ∀ curve. BLS curve ⇒ IntPoint curve → Property Source #

testAddNegYieldsInf ∷ ∀ curve. BLS curve ⇒ Point curve → Bool Source #

testRoundTripEither ∷ ∀ p a err. (Show p, Show err, Eq p, Eq err) ⇒ (p → a) → (a → Either err p) → p → Property Source #

newtype BigInteger Source #

Constructors

BigInteger Integer 

Instances

Instances details
Arbitrary BigInteger Source # 
Instance details

Defined in Test.Crypto.EllipticCurve

Show BigInteger Source # 
Instance details

Defined in Test.Crypto.EllipticCurve

Eq BigInteger Source # 
Instance details

Defined in Test.Crypto.EllipticCurve

Methods

(==)BigIntegerBigIntegerBool #

(/=)BigIntegerBigIntegerBool #

Orphan instances

Arbitrary PT Source # 
Instance details

Methods

arbitraryGen PT Source #

shrinkPT → [PT] Source #

Arbitrary Scalar Source # 
Instance details

Show PT Source # 
Instance details

Methods

showsPrecIntPTShowS #

showPTString #

showList ∷ [PT] → ShowS #

Show Scalar Source # 
Instance details

Methods

showsPrecIntScalarShowS #

showScalarString #

showList ∷ [Scalar] → ShowS #

BLS curve ⇒ Arbitrary (Affine curve) Source # 
Instance details

Methods

arbitraryGen (Affine curve) Source #

shrinkAffine curve → [Affine curve] Source #

BLS curve ⇒ Arbitrary (Point curve) Source # 
Instance details

Methods

arbitraryGen (Point curve) Source #

shrinkPoint curve → [Point curve] Source #

BLS curve ⇒ Show (Affine curve) Source # 
Instance details

Methods

showsPrecIntAffine curve → ShowS #

showAffine curve → String #

showList ∷ [Affine curve] → ShowS #

BLS curve ⇒ Show (Point curve) Source # 
Instance details

Methods

showsPrecIntPoint curve → ShowS #

showPoint curve → String #

showList ∷ [Point curve] → ShowS #