Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data InnerProductProof f 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 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 # |