Safe Haskell	None
Language	Haskell2010

Bulletproofs.Fq

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

newtype Fq Source #

Prime field with characteristic _q

Constructors

Fq Integer

Use new instead of this constructor

Instances

Eq Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (==) :: Fq -> Fq -> Bool # (/=) :: Fq -> Fq -> Bool #
Fractional Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (/) :: Fq -> Fq -> Fq # recip :: Fq -> Fq # fromRational :: Rational -> Fq #
Num Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (+) :: Fq -> Fq -> Fq # (-) :: Fq -> Fq -> Fq # (*) :: Fq -> Fq -> Fq # negate :: Fq -> Fq # abs :: Fq -> Fq # signum :: Fq -> Fq # fromInteger :: Integer -> Fq #
Ord Fq Source #
Instance details Defined in Bulletproofs.Fq Methods compare :: Fq -> Fq -> Ordering # (<) :: Fq -> Fq -> Bool # (<=) :: Fq -> Fq -> Bool # (>) :: Fq -> Fq -> Bool # (>=) :: Fq -> Fq -> Bool # max :: Fq -> Fq -> Fq # min :: Fq -> Fq -> Fq #
Show Fq Source #
Instance details Defined in Bulletproofs.Fq Methods showsPrec :: Int -> Fq -> ShowS # show :: Fq -> String # showList :: [Fq] -> ShowS #
Bits Fq Source #
Instance details Defined in Bulletproofs.Fq Methods (.&.) :: Fq -> Fq -> Fq # (.\|.) :: Fq -> Fq -> Fq # xor :: Fq -> Fq -> Fq # complement :: Fq -> Fq # shift :: Fq -> Int -> Fq # rotate :: Fq -> Int -> Fq # zeroBits :: Fq # bit :: Int -> Fq # setBit :: Fq -> Int -> Fq # clearBit :: Fq -> Int -> Fq # complementBit :: Fq -> Int -> Fq # testBit :: Fq -> Int -> Bool # bitSizeMaybe :: Fq -> Maybe Int # bitSize :: Fq -> Int # isSigned :: Fq -> Bool # shiftL :: Fq -> Int -> Fq # unsafeShiftL :: Fq -> Int -> Fq # shiftR :: Fq -> Int -> Fq # unsafeShiftR :: Fq -> Int -> Fq # rotateL :: Fq -> Int -> Fq # rotateR :: Fq -> Int -> Fq # popCount :: Fq -> Int #