Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Fq = Fq Integer
- new :: Integer -> Fq
- norm :: Fq -> Fq
- fqAdd :: Fq -> Fq -> Fq
- fqMul :: Fq -> Fq -> Fq
- fqNeg :: Fq -> Fq
- fqDiv :: Fq -> Fq -> Fq
- fqInv :: Fq -> Fq
- fqZero :: Fq
- fqOne :: Fq
- fqSquare :: Fq -> Fq
- fqCube :: Fq -> Fq
- inv :: Fq -> Fq
- asInteger :: Fq -> Integer
- euclidean :: Integral a => a -> a -> a
- inv' :: Integral a => a -> a -> (a, a)
- random :: MonadRandom m => Integer -> m Fq
- fqAddV :: [Fq] -> [Fq] -> [Fq]
- fqSubV :: [Fq] -> [Fq] -> [Fq]
- fqMulV :: [Fq] -> [Fq] -> [Fq]
Documentation
Prime field with characteristic _q
Instances
Eq Fq Source # | |
Fractional Fq Source # | |
Num Fq Source # | |
Ord Fq Source # | |
Show Fq Source # | |
Bits Fq Source # | |
Defined in Bulletproofs.Fq |
Turn an integer into an Fq
number, should be used instead of
the Fq
constructor.