| 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, Ord (Rep i), Semiring a) => 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 (Rep i)) => 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, Eq (Rep 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, Ord (Rep i)) => Poly a (Var a i) Natural -> PlonkConstraint i a Source #