ZkFold.Base.Protocol.Plonkup.LookupConstraint

Documentation

newtype LookupConstraint i a

Constructors

LookupConstraint

Fields

• lkVar :: SysVar i

Instances

(Arbitrary a, Binary a) => Arbitrary (LookupConstraint i a)

Defined in ZkFold.Base.Protocol.Plonkup.LookupConstraint

Methods

arbitrary :: Gen (LookupConstraint i a)

shrink :: LookupConstraint i a -> [LookupConstraint i a]

Show (Rep i) => Show (LookupConstraint i a)

Defined in ZkFold.Base.Protocol.Plonkup.LookupConstraint

Methods

showsPrec :: Int -> LookupConstraint i a -> ShowS

show :: LookupConstraint i a -> String

showList :: [LookupConstraint i a] -> ShowS

Eq (Rep i) => Eq (LookupConstraint i a)

Defined in ZkFold.Base.Protocol.Plonkup.LookupConstraint

Methods

(==) :: LookupConstraint i a -> LookupConstraint i a -> Bool

(/=) :: LookupConstraint i a -> LookupConstraint i a -> Bool

toLookupConstraint :: forall a i. ByteString -> LookupConstraint i a