| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.Plonkup.PlonkupConstraint
Documentation
data PlonkupConstraint i a Source #
Constructors
| ConsPlonk (PlonkConstraint i a) | |
| ConsLookup (LookupConstraint i a) | |
| ConsExtra |
getPlonkConstraint :: (Ord a, FiniteField a, Ord (Rep i)) => PlonkupConstraint i a -> PlonkConstraint i a Source #
isLookupConstraint :: FiniteField a => PlonkupConstraint i a -> a Source #
getA :: forall a i. (Ord a, FiniteField a, Ord (Rep i)) => PlonkupConstraint i a -> Var a i Source #
getB :: forall a i. (Ord a, FiniteField a, Ord (Rep i)) => PlonkupConstraint i a -> Var a i Source #
getC :: forall a i. (Ord a, FiniteField a, Ord (Rep i)) => PlonkupConstraint i a -> Var a i Source #