| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.Plonkup.Witness
Documentation
data PlonkupWitnessInput p i g Source #
Constructors
| PlonkupWitnessInput | |
Fields
| |
Instances
| (Arbitrary1 p, Arbitrary1 i, Arbitrary (ScalarFieldOf g)) => Arbitrary (PlonkupWitnessInput p i g) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.Witness Methods arbitrary :: Gen (PlonkupWitnessInput p i g) # shrink :: PlonkupWitnessInput p i g -> [PlonkupWitnessInput p i g] # | |
| (Show1 p, Show1 i, Show (ScalarFieldOf g)) => Show (PlonkupWitnessInput p i g) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.Witness Methods showsPrec :: Int -> PlonkupWitnessInput p i g -> ShowS # show :: PlonkupWitnessInput p i g -> String # showList :: [PlonkupWitnessInput p i g] -> ShowS # | |