ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Documentation

arbitrary' :: forall a p i. (Arithmetic a, Binary a, Binary (Rep p), Binary (Rep i), Ord (Rep i), NFData (Rep i)) => (Representable i, Foldable i) => FieldElement (ArithmeticCircuit a p i) -> Natural -> Gen (FieldElement (ArithmeticCircuit a p i))

createRangeConstraint :: Symbolic c => FieldElement c -> BaseField c -> FieldElement c

Orphan instances

(Arithmetic a, Arbitrary a, Binary a, Binary (Rep p), Arbitrary (Rep i), Binary (Rep i), Ord (Rep i), NFData (Rep i), Representable i, Foldable i) => Arbitrary (ArithmeticCircuit a p i Par1)

Methods

arbitrary :: Gen (ArithmeticCircuit a p i Par1)

shrink :: ArithmeticCircuit a p i Par1 -> [ArithmeticCircuit a p i Par1]

(Arithmetic a, Arbitrary a, Binary a, Binary (Rep p), Arbitrary (Rep i), Binary (Rep i), Ord (Rep i), NFData (Rep i), Representable i, Foldable i, KnownNat l) => Arbitrary (ArithmeticCircuit a p i (Vector l))

Methods

arbitrary :: Gen (ArithmeticCircuit a p i (Vector l))

shrink :: ArithmeticCircuit a p i (Vector l) -> [ArithmeticCircuit a p i (Vector l)]

(FromJSON a, FromJSON (o (Var a i)), ToJSONKey (Var a i), FromJSONKey a, Ord a, Ord (Rep i), FromJSON (Rep i)) => FromJSON (ArithmeticCircuit a p i o)

Methods

parseJSON :: Value -> Parser (ArithmeticCircuit a p i o)

parseJSONList :: Value -> Parser [ArithmeticCircuit a p i o]

(ToJSON a, ToJSON (o (Var a i)), ToJSONKey a, FromJSONKey (Var a i), ToJSON (Rep i)) => ToJSON (ArithmeticCircuit a p i o)

Methods

toJSON :: ArithmeticCircuit a p i o -> Value

toEncoding :: ArithmeticCircuit a p i o -> Encoding

toJSONList :: [ArithmeticCircuit a p i o] -> Value

toEncodingList :: [ArithmeticCircuit a p i o] -> Encoding

(Show a, Show (o (Var a i)), Show (Var a i), Show (Rep i), Ord (Rep i)) => Show (ArithmeticCircuit a p i o)

Methods

showsPrec :: Int -> ArithmeticCircuit a p i o -> ShowS

show :: ArithmeticCircuit a p i o -> String

showList :: [ArithmeticCircuit a p i o] -> ShowS