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