| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.Plonkup.PlonkConstraint
Documentation
data PlonkConstraint i a Source #
Constructors
| PlonkConstraint | |
Instances
| (Ord a, Arbitrary a, Binary a, KnownNat i) => Arbitrary (PlonkConstraint i a) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.PlonkConstraint Methods arbitrary :: Gen (PlonkConstraint i a) # shrink :: PlonkConstraint i a -> [PlonkConstraint i a] # | |
| Show a => Show (PlonkConstraint i a) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.PlonkConstraint Methods showsPrec :: Int -> PlonkConstraint i a -> ShowS # show :: PlonkConstraint i a -> String # showList :: [PlonkConstraint i a] -> ShowS # | |
| (Eq a, KnownNat i) => Eq (PlonkConstraint i a) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.PlonkConstraint Methods (==) :: PlonkConstraint i a -> PlonkConstraint i a -> Bool # (/=) :: PlonkConstraint i a -> PlonkConstraint i a -> Bool # | |
toPlonkConstraint :: forall a i. (Ord a, FiniteField a, KnownNat i) => Poly a (Var a (Vector i)) Natural -> PlonkConstraint i a Source #