Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
data InnerProductProof f p Source #
InnerProductProof | |
|
Instances
data InnerProductWitness f Source #
Instances
Eq f => Eq (InnerProductWitness f) Source # | |
Defined in Bulletproofs.InnerProductProof.Internal (==) :: InnerProductWitness f -> InnerProductWitness f -> Bool # (/=) :: InnerProductWitness f -> InnerProductWitness f -> Bool # | |
Show f => Show (InnerProductWitness f) Source # | |
Defined in Bulletproofs.InnerProductProof.Internal showsPrec :: Int -> InnerProductWitness f -> ShowS # show :: InnerProductWitness f -> String # showList :: [InnerProductWitness f] -> ShowS # |
data InnerProductBase p Source #
Instances
Eq p => Eq (InnerProductBase p) Source # | |
Defined in Bulletproofs.InnerProductProof.Internal (==) :: InnerProductBase p -> InnerProductBase p -> Bool # (/=) :: InnerProductBase p -> InnerProductBase p -> Bool # | |
Show p => Show (InnerProductBase p) Source # | |
Defined in Bulletproofs.InnerProductProof.Internal showsPrec :: Int -> InnerProductBase p -> ShowS # show :: InnerProductBase p -> String # showList :: [InnerProductBase p] -> ShowS # |