ZkFold.Base.Algebra.Basic.Sources
newtype Sources a i Source #
Constructors
Fields
Defined in ZkFold.Base.Algebra.Basic.Sources
Methods
fromConstant :: c -> Sources a i Source #
scale :: c -> Sources a i -> Sources a i Source #
Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
bool :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) Source #
gif :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) Source #
(?) :: Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) -> Bool (Sources a i) Source #
bool :: Sources a i -> Sources a i -> Bool (Sources a i) -> Sources a i Source #
gif :: Bool (Sources a i) -> Sources a i -> Sources a i -> Sources a i Source #
(?) :: Bool (Sources a i) -> Sources a i -> Sources a i -> Sources a i Source #
(==) :: Sources a i -> Sources a i -> Bool (Sources a i) Source #
(/=) :: Sources a i -> Sources a i -> Bool (Sources a i) Source #
mempty :: Sources a i #
mappend :: Sources a i -> Sources a i -> Sources a i #
mconcat :: [Sources a i] -> Sources a i #
(<>) :: 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 #
(-) :: Sources a i -> Sources a i -> Sources a i Source #
negate :: Sources a i -> Sources a i Source #
zero :: Sources a i Source #
(+) :: Sources a i -> Sources a i -> Sources a i Source #
binaryExpansion :: Sources a i -> [Sources a i] Source #
fromBinary :: [Sources a i] -> Sources a i Source #
(//) :: Sources a i -> Sources a i -> Sources a i Source #
finv :: Sources a i -> Sources a i Source #
rootOfUnity :: Natural -> Maybe (Sources a i) Source #
Associated Types
type Order (Sources a i) :: Natural Source #
(/) :: Sources a i -> Sources a i -> Sources a i Source #
invert :: Sources a i -> Sources a i Source #
one :: Sources a i Source #
(*) :: Sources a i -> Sources a i -> Sources a i Source #
(^) :: Sources a i -> c -> Sources a i Source #