Safe Haskell	None
Language	Haskell2010

Pairing.CyclicGroup

Synopsis

class AsInteger a where
- asInteger :: a -> Integer
class Monoid g => CyclicGroup g where
- generator :: g
- order :: Proxy g -> Integer
- expn :: AsInteger e => g -> e -> g
- inverse :: g -> g
- random :: MonadRandom m => g -> m g
sumG :: (Foldable t, CyclicGroup g) => t g -> g
class FromX a where
- yFromX :: a -> LargestY -> Maybe a
- isLargestY :: a -> Bool
class Validate a where
- isValidElement :: a -> Bool

Documentation

Methods

Instances

AsInteger Int Source #
Instance details Defined in Pairing.CyclicGroup Methods asInteger :: Int -> Integer Source #
AsInteger Integer Source #
Instance details Defined in Pairing.CyclicGroup Methods asInteger :: Integer -> Integer Source #
AsInteger Fr Source #
Instance details Defined in Pairing.Fr Methods asInteger :: Fr -> Integer Source #
AsInteger Fq Source #
Instance details Defined in Pairing.Fq Methods asInteger :: Fq -> Integer Source #

Methods

expn :: AsInteger e => g -> e -> g Source #

Instances

CyclicGroup GT Source #
Instance details Defined in Pairing.Group Methods generator :: GT Source # order :: Proxy GT -> Integer Source # expn :: AsInteger e => GT -> e -> GT Source # inverse :: GT -> GT Source # random :: MonadRandom m => GT -> m GT Source #
CyclicGroup G2 Source #
Instance details Defined in Pairing.Group Methods generator :: G2 Source # order :: Proxy G2 -> Integer Source # expn :: AsInteger e => G2 -> e -> G2 Source # inverse :: G2 -> G2 Source # random :: MonadRandom m => G2 -> m G2 Source #
CyclicGroup G1 Source #
Instance details Defined in Pairing.Group Methods generator :: G1 Source # order :: Proxy G1 -> Integer Source # expn :: AsInteger e => G1 -> e -> G1 Source # inverse :: G1 -> G1 Source # random :: MonadRandom m => G1 -> m G1 Source #

Sum all the elements of some container according to its group structure.

class FromX a where Source #

Methods

yFromX :: a -> LargestY -> Maybe a Source #

Instances

FromX Fq Source #
Instance details Defined in Pairing.Fq Methods yFromX :: Fq -> LargestY -> Maybe Fq Source # isLargestY :: Fq -> Bool Source #
FromX Fq2 Source #
Instance details Defined in Pairing.Fq2 Methods yFromX :: Fq2 -> LargestY -> Maybe Fq2 Source # isLargestY :: Fq2 -> Bool Source #

class Validate a where Source #

Methods

Instances

Validate GT Source #
Instance details Defined in Pairing.Group Methods isValidElement :: GT -> Bool Source #
Validate G2 Source #
Instance details Defined in Pairing.Group Methods isValidElement :: G2 -> Bool Source #
Validate G1 Source #
Instance details Defined in Pairing.Group Methods isValidElement :: G1 -> Bool Source #