ZkFold.Base.Algebra.Basic.Sources

Documentation

newtype Sources a i

Constructors

Sources

Fields

• runSources :: Set i

Instances

Ord i => FromConstant c (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

fromConstant :: c -> Sources a i

MultiplicativeMonoid c => Scale c (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

scale :: c -> Sources a i -> Sources a i

(Finite a, Ord i) => Conditional (Bool (Sources a i)) (Bool (Sources a i))

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

bool :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i)

gif :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i)

(?) :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i)

(Finite a, Ord i) => Conditional (Bool (Sources a i)) (Sources a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

bool :: Sources a i -> Sources a i -> Bool (Sources a i) -> Sources a i

gif :: Bool (Sources a i) -> Sources a i -> Sources a i -> Sources a i

(?) :: Bool (Sources a i) -> Sources a i -> Sources a i -> Sources a i

Ord i => Eq (Bool (Sources a i)) (Sources a i)

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint

Methods

(==) :: Sources a i -> Sources a i -> Bool (Sources a i)

(/=) :: Sources a i -> Sources a i -> Bool (Sources a i)

Ord i => Monoid (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

mempty :: Sources a i

mappend :: Sources a i -> Sources a i -> Sources a i

mconcat :: [Sources a i] -> Sources a i

Ord i => Semigroup (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

(<>) :: Sources a i -> Sources a i -> Sources a i

sconcat :: NonEmpty (Sources a i) -> Sources a i

stimes :: Integral b => b -> Sources a i -> Sources a i

Ord i => AdditiveGroup (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

(-) :: Sources a i -> Sources a i -> Sources a i

negate :: Sources a i -> Sources a i

Ord i => AdditiveMonoid (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

zero :: Sources a i

Ord i => AdditiveSemigroup (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

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

(Finite a, Ord i) => BinaryExpansion (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

binaryExpansion :: Sources a i -> [Sources a i]

fromBinary :: [Sources a i] -> Sources a i

Ord i => Field (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

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

finv :: Sources a i -> Sources a i

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

Finite a => Finite (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Associated Types

type Order (Sources a i) :: Natural

Ord i => MultiplicativeGroup (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

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

invert :: Sources a i -> Sources a i

Ord i => MultiplicativeMonoid (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

one :: Sources a i

Ord i => MultiplicativeSemigroup (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

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

Ord i => Ring (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

Ord i => Semiring (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

MultiplicativeSemigroup c => Exponent (Sources a i) c

Defined in ZkFold.Base.Algebra.Basic.Sources

Methods

(^) :: Sources a i -> c -> Sources a i

type Order (Sources a i)

Defined in ZkFold.Base.Algebra.Basic.Sources

type Order (Sources a i) = Order a