| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.Plonkup.Witness
Documentation
newtype PlonkupWitnessInput i c Source #
Constructors
| PlonkupWitnessInput (Vector i (ScalarField c)) |
Instances
| (KnownNat i, Arbitrary (ScalarField c)) => Arbitrary (PlonkupWitnessInput i c) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.Witness Methods arbitrary :: Gen (PlonkupWitnessInput i c) # shrink :: PlonkupWitnessInput i c -> [PlonkupWitnessInput i c] # | |
| Show (ScalarField c) => Show (PlonkupWitnessInput i c) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.Witness Methods showsPrec :: Int -> PlonkupWitnessInput i c -> ShowS # show :: PlonkupWitnessInput i c -> String # showList :: [PlonkupWitnessInput i c] -> ShowS # | |