Safe Haskell | None |
---|---|
Language | Haskell2010 |
Affine point arithmetic defining the group operation on an elliptic curve E(F), for some field F. In our case the field F is given as some type t with Num and Fractional instances.
Documentation
Points on a curve over a field a
represented as either affine
coordinates or as a point at infinity.
Instances
Functor Point Source # | |
Semigroup G2 Source # | |
Semigroup G1 Source # | |
Monoid G2 Source # | |
Monoid G1 Source # | |
CyclicGroup G2 Source # | |
CyclicGroup G1 Source # | |
Eq a => Eq (Point a) Source # | |
Ord a => Ord (Point a) Source # | |
Show a => Show (Point a) Source # | |
Generic (Point a) Source # | |
Arbitrary (Point Fq) Source # | |
Arbitrary (Point Fq2) Source # | |
NFData a => NFData (Point a) Source # | |
Defined in Pairing.Point | |
type Rep (Point a) Source # | |
Defined in Pairing.Point type Rep (Point a) = D1 (MetaData "Point" "Pairing.Point" "pairing-0.1.3-47Ti4P44SDUAENHrlF2xgI" False) (C1 (MetaCons "Point" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Infinity" PrefixI False) (U1 :: Type -> Type)) |