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 => m g
class FromX a where
- yFromX :: a -> (a -> a -> a) -> Maybe a
- isOdd :: a -> Bool
class Validate a where
- isValidElement :: a -> Bool
sumG :: (Foldable t, CyclicGroup g) => t g -> g

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 (PrimeField p) Source #
Instance details Defined in Pairing.CyclicGroup Methods asInteger :: PrimeField p -> 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 => 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 => 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 => m G1 Source #

class FromX a where Source #

Methods

yFromX :: a -> (a -> a -> a) -> Maybe a Source #

Instances

FromX Fq2 Source #
Instance details Defined in Pairing.Fq Methods yFromX :: Fq2 -> (Fq2 -> Fq2 -> Fq2) -> Maybe Fq2 Source # isOdd :: Fq2 -> Bool Source #
FromX Fq Source #
Instance details Defined in Pairing.Fq Methods yFromX :: Fq -> (Fq -> Fq -> Fq) -> Maybe Fq Source # isOdd :: Fq -> 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 #

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