ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Documentation

data UVar a i

Constructors

ConstUVar a

LinUVar a (SysVar i) a

More

Instances

FromConstant Integer a => FromConstant Integer (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

fromConstant :: Integer -> UVar a i

FromConstant Natural a => FromConstant Natural (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

fromConstant :: Natural -> UVar a i

FromConstant a (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

fromConstant :: a -> UVar a i

(Semiring a, Eq a, FromConstant Integer a) => Scale Integer (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

scale :: Integer -> UVar a i -> UVar a i

(Semiring a, Eq a) => Scale Natural (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

scale :: Natural -> UVar a i -> UVar a i

(Semiring a, Eq a) => Scale a (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

scale :: a -> UVar a i -> UVar a i

FromConstant Natural a => FromConstant (Maybe Natural) (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

fromConstant :: Maybe Natural -> UVar a i

Generic (UVar a i)

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)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

(-) :: UVar a i -> UVar a i -> UVar a i

negate :: UVar a i -> UVar a i

(Semiring a, Eq a, Eq (Rep i)) => AdditiveMonoid (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

zero :: UVar a i

(AdditiveMonoid a, Eq a, Eq (Rep i)) => AdditiveSemigroup (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

(+) :: UVar a i -> UVar a i -> UVar a i

(Field a, Eq a, Eq (Rep i)) => Field (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

(//) :: UVar a i -> UVar a i -> UVar a i

finv :: UVar a i -> UVar a i

rootOfUnity :: Natural -> Maybe (UVar a i)

Finite a => Finite (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Associated Types

type Order (UVar a i) :: Natural

(Semiring a, Eq a) => MultiplicativeMonoid (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

one :: UVar a i

(Semiring a, Eq a) => MultiplicativeSemigroup (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

(*) :: UVar a i -> UVar a i -> UVar a i

(Ring a, Eq a, Eq (Rep i)) => Ring (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

(Semiring a, Eq a, Eq (Rep i)) => Semiring (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

ToConstant a => ToConstant (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Associated Types

type Const (UVar a i)

Methods

toConstant :: UVar a i -> Const (UVar a i)

(Exponent a Integer, MultiplicativeMonoid a) => Exponent (UVar a i) Integer

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

(^) :: UVar a i -> Integer -> UVar a i

MultiplicativeMonoid a => Exponent (UVar a i) Natural

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

Methods

(^) :: UVar a i -> Natural -> UVar a i

type Rep (UVar a i)

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 Const (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

type Const (UVar a i) = Maybe (Const a)

type Order (UVar a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.WitnessEstimation

type Order (UVar a i) = Order a

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