ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance
Contents
Methods
fromConstant :: b -> ArithmeticCircuit a Source #
scale :: c -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
pieces :: ArithmeticCircuit a -> [ArithmeticCircuit a] Source #
restore :: [ArithmeticCircuit a] -> ArithmeticCircuit a Source #
typeSize :: Natural Source #
pieces :: Bool (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source #
restore :: [ArithmeticCircuit a] -> Bool (ArithmeticCircuit a) Source #
arbitrary :: Gen (ArithmeticCircuit a) #
shrink :: ArithmeticCircuit a -> [ArithmeticCircuit a] #
parseJSON :: Value -> Parser (ArithmeticCircuit a) #
parseJSONList :: Value -> Parser [ArithmeticCircuit a] #
omittedField :: Maybe (ArithmeticCircuit a) #
toJSON :: ArithmeticCircuit a -> Value #
toEncoding :: ArithmeticCircuit a -> Encoding #
toJSONList :: [ArithmeticCircuit a] -> Value #
toEncodingList :: [ArithmeticCircuit a] -> Encoding #
omitField :: ArithmeticCircuit a -> Bool #
showsPrec :: Int -> ArithmeticCircuit a -> ShowS #
show :: ArithmeticCircuit a -> String #
showList :: [ArithmeticCircuit a] -> ShowS #
(-) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
negate :: ArithmeticCircuit a -> ArithmeticCircuit a Source #
zero :: ArithmeticCircuit a Source #
(+) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
binaryExpansion :: ArithmeticCircuit a -> [ArithmeticCircuit a] Source #
fromBinary :: [ArithmeticCircuit a] -> ArithmeticCircuit a Source #
equal :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
(//) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
finv :: ArithmeticCircuit a -> ArithmeticCircuit a Source #
rootOfUnity :: Natural -> Maybe (ArithmeticCircuit a) Source #
Associated Types
type Order (ArithmeticCircuit a) :: Natural Source #
one :: ArithmeticCircuit a Source #
(*) :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
trichotomy :: ArithmeticCircuit a -> ArithmeticCircuit a -> ArithmeticCircuit a Source #
(^) :: ArithmeticCircuit a -> Integer -> ArithmeticCircuit a Source #
(^) :: ArithmeticCircuit a -> Natural -> ArithmeticCircuit a Source #
bool :: x -> x -> Bool (ArithmeticCircuit a) -> x Source #
gif :: Bool (ArithmeticCircuit a) -> x -> x -> x Source #
(?) :: Bool (ArithmeticCircuit a) -> x -> x -> x Source #
isZero :: ArithmeticCircuit a -> Bool (ArithmeticCircuit a) Source #
(==) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a) Source #
(/=) :: ArithmeticCircuit a -> ArithmeticCircuit a -> Bool (ArithmeticCircuit a) Source #