Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness

Documentation

type IsWitness a w = (Scale a w, FromConstant a w, ResidueField w) Source #

newtype WitnessF a v Source #

Constructors

WitnessF
Fields runWitnessF :: forall w. IsWitness a w => (v -> w) -> w

Instances

Instances details

FromConstant Integer (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods fromConstant :: Integer -> WitnessF a v Source #
FromConstant Natural (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods fromConstant :: Natural -> WitnessF a v Source #
FromConstant a (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods fromConstant :: a -> WitnessF a v Source #
Scale Integer (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods scale :: Integer -> WitnessF a v -> WitnessF a v Source #
Scale Natural (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods scale :: Natural -> WitnessF a v -> WitnessF a v Source #
Scale a (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods scale :: a -> WitnessF a v -> WitnessF a v Source #
Applicative (WitnessF a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods pure :: a0 -> WitnessF a a0 # (<>) :: WitnessF a (a0 -> b) -> WitnessF a a0 -> WitnessF a b # liftA2 :: (a0 -> b -> c) -> WitnessF a a0 -> WitnessF a b -> WitnessF a c # (>) :: WitnessF a a0 -> WitnessF a b -> WitnessF a b # (<*) :: WitnessF a a0 -> WitnessF a b -> WitnessF a a0 #
Functor (WitnessF a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods fmap :: (a0 -> b) -> WitnessF a a0 -> WitnessF a b # (<$) :: a0 -> WitnessF a b -> WitnessF a a0 #
Monad (WitnessF a) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (>>=) :: WitnessF a a0 -> (a0 -> WitnessF a b) -> WitnessF a b # (>>) :: WitnessF a a0 -> WitnessF a b -> WitnessF a b # return :: a0 -> WitnessF a a0 #
NFData (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods rnf :: WitnessF a v -> () #
AdditiveGroup (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (-) :: WitnessF a v -> WitnessF a v -> WitnessF a v Source # negate :: WitnessF a v -> WitnessF a v Source #
AdditiveMonoid (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods zero :: WitnessF a v Source #
AdditiveSemigroup (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (+) :: WitnessF a v -> WitnessF a v -> WitnessF a v Source #
Field (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (//) :: WitnessF a v -> WitnessF a v -> WitnessF a v Source # finv :: WitnessF a v -> WitnessF a v Source # rootOfUnity :: Natural -> Maybe (WitnessF a v) Source #
Finite a => Finite (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Associated Types type Order (WitnessF a v) :: Natural Source #
MultiplicativeMonoid (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods one :: WitnessF a v Source #
MultiplicativeSemigroup (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (*) :: WitnessF a v -> WitnessF a v -> WitnessF a v Source #
Ring (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness
Semiring (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness
Finite a => ResidueField (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Associated Types type IntegralOf (WitnessF a v) Source # Methods fromIntegral :: IntegralOf (WitnessF a v) -> WitnessF a v Source # toIntegral :: WitnessF a v -> IntegralOf (WitnessF a v) Source #
Exponent (WitnessF a v) Integer Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (^) :: WitnessF a v -> Integer -> WitnessF a v Source #
Exponent (WitnessF a v) Natural Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (^) :: WitnessF a v -> Natural -> WitnessF a v Source #
type Order (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness type Order (WitnessF a v) = Order a
type IntegralOf (WitnessF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness type IntegralOf (WitnessF a v) = EuclideanF a v

newtype EuclideanF a v Source #

Constructors

EuclideanF
Fields euclideanF :: forall w. IsWitness a w => (v -> w) -> IntegralOf w

Instances

Instances details

FromConstant Integer (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods fromConstant :: Integer -> EuclideanF a v Source #
FromConstant Natural (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods fromConstant :: Natural -> EuclideanF a v Source #
Scale Integer (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods scale :: Integer -> EuclideanF a v -> EuclideanF a v Source #
Scale Natural (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods scale :: Natural -> EuclideanF a v -> EuclideanF a v Source #
AdditiveGroup (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (-) :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source # negate :: EuclideanF a v -> EuclideanF a v Source #
AdditiveMonoid (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods zero :: EuclideanF a v Source #
AdditiveSemigroup (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (+) :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source #
Euclidean (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods eea :: EuclideanF a v -> EuclideanF a v -> (EuclideanF a v, EuclideanF a v, EuclideanF a v) Source # gcd :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source # bezoutL :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source # bezoutR :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source #
MultiplicativeMonoid (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods one :: EuclideanF a v Source #
MultiplicativeSemigroup (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (*) :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source #
Ring (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness
SemiEuclidean (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods divMod :: EuclideanF a v -> EuclideanF a v -> (EuclideanF a v, EuclideanF a v) Source # div :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source # mod :: EuclideanF a v -> EuclideanF a v -> EuclideanF a v Source #
Semiring (EuclideanF a v) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness
Exponent (EuclideanF a v) Natural Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness Methods (^) :: EuclideanF a v -> Natural -> EuclideanF a v Source #