| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.Plonkup.LookupConstraint
Documentation
newtype LookupConstraint i a Source #
Constructors
| LookupConstraint | |
Instances
| (Arbitrary a, Binary a) => Arbitrary (LookupConstraint i a) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.LookupConstraint Methods arbitrary :: Gen (LookupConstraint i a) # shrink :: LookupConstraint i a -> [LookupConstraint i a] # | |
| Show (LookupConstraint i a) Source # | |
Defined in ZkFold.Base.Protocol.Plonkup.LookupConstraint Methods showsPrec :: Int -> LookupConstraint i a -> ShowS # show :: LookupConstraint i a -> String # showList :: [LookupConstraint i a] -> ShowS # | |
| KnownNat i => Eq (LookupConstraint i a) Source # | |
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 Source #