Safe Haskell | None |
---|---|
Language | Haskell2010 |
Definitions of the groups the pairing is defined on
Documentation
class Monoid g => CyclicGroup g where Source #
Instances
CyclicGroup GT Source # | |
CyclicGroup G2 Source # | |
CyclicGroup G1 Source # | |
isOnCurveG1 :: G1 -> Bool Source #
Test whether a value in G1 satisfies the corresponding curve equation
isOnCurveG2 :: G2 -> Bool Source #
Test whether a value in G2 satisfies the corresponding curve equation