ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Orphan instances

(Arithmetic a, FromConstant b a) => FromConstant b (ArithmeticCircuit a)

Methods

fromConstant :: b -> ArithmeticCircuit a

(Arithmetic a, Scale c a) => Scale c (ArithmeticCircuit a)

Methods

scale :: c -> ArithmeticCircuit a -> ArithmeticCircuit a

Arithmetic a => SymbolicData a (ArithmeticCircuit a)

Methods

pieces :: ArithmeticCircuit a -> [ArithmeticCircuit a]

restore :: [ArithmeticCircuit a] -> ArithmeticCircuit a

typeSize :: Natural

Arithmetic a => SymbolicData a (Bool (ArithmeticCircuit a))

Methods

pieces :: Bool (ArithmeticCircuit a) -> [ArithmeticCircuit a]

restore :: [ArithmeticCircuit a] -> Bool (ArithmeticCircuit a)

typeSize :: Natural

Arithmetic a => Arbitrary (ArithmeticCircuit a)

Methods

arbitrary :: Gen (ArithmeticCircuit a)

shrink :: ArithmeticCircuit a -> [ArithmeticCircuit a]

FromJSON a => FromJSON (ArithmeticCircuit a)

Methods

parseJSON :: Value -> Parser (ArithmeticCircuit a)

parseJSONList :: Value -> Parser [ArithmeticCircuit a]

omittedField :: Maybe (ArithmeticCircuit a)

ToJSON a => ToJSON (ArithmeticCircuit a)

Methods

toJSON :: ArithmeticCircuit a -> Value

toEncoding :: ArithmeticCircuit a -> Encoding

toJSONList :: [ArithmeticCircuit a] -> Value

toEncodingList :: [ArithmeticCircuit a] -> Encoding

omitField :: ArithmeticCircuit a -> Bool

(FiniteField a, Eq a, Show a) => Show (ArithmeticCircuit a)

Methods

showsPrec :: Int -> ArithmeticCircuit a -> ShowS

show :: ArithmeticCircuit a -> String

showList :: [ArithmeticCircuit a] -> ShowS

Arithmetic a => AdditiveGroup (ArithmeticCircuit a)

Methods

(-) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

negate :: ArithmeticCircuit a -> ArithmeticCircuit a

Arithmetic a => AdditiveMonoid (ArithmeticCircuit a)

Methods

zero :: ArithmeticCircuit a

Arithmetic a => AdditiveSemigroup (ArithmeticCircuit a)

Methods

(+) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

Arithmetic a => BinaryExpansion (ArithmeticCircuit a)

Methods

binaryExpansion :: ArithmeticCircuit a -> [ArithmeticCircuit a]

fromBinary :: [ArithmeticCircuit a] -> ArithmeticCircuit a

Arithmetic a => DiscreteField' (ArithmeticCircuit a)

Methods

equal :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

Arithmetic a => Field (ArithmeticCircuit a)

Methods

(//) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

finv :: ArithmeticCircuit a -> ArithmeticCircuit a

rootOfUnity :: Natural -> Maybe (ArithmeticCircuit a)

FiniteField a => Finite (ArithmeticCircuit a)

Associated Types

type Order (ArithmeticCircuit a) :: Natural

Arithmetic a => MultiplicativeMonoid (ArithmeticCircuit a)

Methods

one :: ArithmeticCircuit a

Arithmetic a => MultiplicativeSemigroup (ArithmeticCircuit a)

Methods

(*) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

Arithmetic a => Ring (ArithmeticCircuit a)

Arithmetic a => Semiring (ArithmeticCircuit a)

Arithmetic a => TrichotomyField (ArithmeticCircuit a)

Methods

trichotomy :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a

Arithmetic a => Exponent (ArithmeticCircuit a) Integer

Methods

(^) :: ArithmeticCircuit a -> Integer -> ArithmeticCircuit a

Arithmetic a => Exponent (ArithmeticCircuit a) Natural

Methods

(^) :: ArithmeticCircuit a -> Natural -> ArithmeticCircuit a

SymbolicData a x => Conditional (Bool (ArithmeticCircuit a)) x

Methods

bool :: x -> x -> Bool (ArithmeticCircuit a) -> x

gif :: Bool (ArithmeticCircuit a) -> x -> x -> x

(?) :: Bool (ArithmeticCircuit a) -> x -> x -> x

Arithmetic a => DiscreteField (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a)

Methods

isZero :: ArithmeticCircuit a -> Bool (ArithmeticCircuit a)

Arithmetic a => Eq (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a)

Methods

(==) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a)

(/=) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a)