Arithmetic a => SymbolicData a (Bool (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
(Field x, Eq x) => Show (Bool x) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Bool |
Eq x => Eq (Bool x) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Bool |
Ring x => BoolType (Bool x) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Bool |
SymbolicData a x => Conditional (Bool (ArithmeticCircuit a)) x Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
(Prime p, Field x, Eq x) => DiscreteField (Bool (Zp p)) x Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.DiscreteField |
(Prime p, Ord x) => Ord (Bool (Zp p)) x Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Ord |
(Finite a, Ord i) => Conditional (Bool (Sources a i)) (Bool (Sources a i)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
Arithmetic a => DiscreteField (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
Arithmetic a => Eq (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance |
SymbolicData a x => Eq (Bool (ArithmeticCircuit a)) (Structural x) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Eq.Structural |
Arithmetic a => Ord (Bool (ArithmeticCircuit a)) (ArithmeticCircuit a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Ord |
SymbolicData a x => Ord (Bool (ArithmeticCircuit a)) (Lexicographical x) Source # | Every SymbolicData type can be compared lexicographically. |
Instance detailsDefined in ZkFold.Symbolic.Data.Ord |
(Finite (Zp p), KnownNat n) => Eq (Bool (Zp p)) (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => Eq (Bool (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Ring a, Eq (Bool a) (BaseField (Ed25519 a))) => Eq (Bool a) (Point (Ed25519 a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Ed25519 |
(Finite (Zp p), KnownNat n) => Ord (Bool (Zp p)) (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => Ord (Bool (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite a, Ord i) => Conditional (Bool (Sources a i)) (Sources a i) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
Ord i => Eq (Bool (Sources a i)) (Sources a i) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint |
(Arithmetic a, KnownNat tokens) => Eq (Bool (ArithmeticCircuit a)) (Output tokens datum (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Cardano.Types |