Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Documentation

data UVar a i Source #

Constructors

ConstUVar a
LinUVar a (SysVar i) a
More

Instances

Instances details

FromConstant Integer a => FromConstant Integer (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods fromConstant :: Integer -> UVar a i Source #
FromConstant Natural a => FromConstant Natural (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods fromConstant :: Natural -> UVar a i Source #
FromConstant a (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods fromConstant :: a -> UVar a i Source #
(Semiring a, Eq a, FromConstant Integer a) => Scale Integer (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods scale :: Integer -> UVar a i -> UVar a i Source #
(Semiring a, Eq a) => Scale Natural (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods scale :: Natural -> UVar a i -> UVar a i Source #
(Semiring a, Eq a) => Scale a (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods scale :: a -> UVar a i -> UVar a i Source #
Generic (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Associated Types type Rep (UVar a i) :: Type -> Type # Methods from :: UVar a i -> Rep (UVar a i) x # to :: Rep (UVar a i) x -> UVar a i #
(Ring a, Eq a, Eq (Rep i)) => AdditiveGroup (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods (-) :: UVar a i -> UVar a i -> UVar a i Source # negate :: UVar a i -> UVar a i Source #
(Semiring a, Eq a, Eq (Rep i)) => AdditiveMonoid (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods zero :: UVar a i Source #
(AdditiveMonoid a, Eq a, Eq (Rep i)) => AdditiveSemigroup (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods (+) :: UVar a i -> UVar a i -> UVar a i Source #
(Field a, Eq a, Eq (Rep i)) => Field (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods (//) :: UVar a i -> UVar a i -> UVar a i Source # finv :: UVar a i -> UVar a i Source # rootOfUnity :: Natural -> Maybe (UVar a i) Source #
Finite a => Finite (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Associated Types type Order (UVar a i) :: Natural Source #
(Semiring a, Eq a) => MultiplicativeMonoid (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods one :: UVar a i Source #
(Semiring a, Eq a) => MultiplicativeSemigroup (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods (*) :: UVar a i -> UVar a i -> UVar a i Source #
(Ring a, Eq a, Eq (Rep i)) => Ring (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation
(Semiring a, Eq a, Eq (Rep i)) => Semiring (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation
(Arithmetic a, Eq (Rep i)) => ResidueField (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Associated Types type IntegralOf (UVar a i) Source # Methods fromIntegral :: IntegralOf (UVar a i) -> UVar a i Source # toIntegral :: UVar a i -> IntegralOf (UVar a i) Source #
(Exponent a Integer, MultiplicativeMonoid a) => Exponent (UVar a i) Integer Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods (^) :: UVar a i -> Integer -> UVar a i Source #
MultiplicativeMonoid a => Exponent (UVar a i) Natural Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation Methods (^) :: UVar a i -> Natural -> UVar a i Source #
type Rep (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation type Rep (UVar a i) = D1 ('MetaData "UVar" "ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ConstUVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "LinUVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SysVar i)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "More" 'PrefixI 'False) (U1 :: Type -> Type)))
type Order (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation type Order (UVar a i) = Order a
type IntegralOf (UVar a i) Source #
Instance details Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation type IntegralOf (UVar a i) = Maybe Integer

(.+) :: AdditiveSemigroup a => a -> UVar a i -> UVar a i Source #