(FromConstant Natural a, Finite a, AdditiveMonoid a, KnownNat n) => FromConstant Integer (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(FromConstant Natural a, Finite a, AdditiveMonoid a, KnownNat n) => FromConstant Natural (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(FromConstant Natural a, Finite a, AdditiveMonoid a, KnownNat n, MultiplicativeSemigroup (UInt n a)) => Scale Integer (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(FromConstant Natural a, Finite a, AdditiveMonoid a, KnownNat n, MultiplicativeSemigroup (UInt n a)) => Scale Natural (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => SymbolicData a (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(FromConstant Natural a, Finite a, AdditiveMonoid a, KnownNat n) => StrictConv Natural (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(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 |
(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 (Zp p), KnownNat n) => StrictConv (Zp p) (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n, KnownNat (NumberOfBits a), NumberOfBits a <= n) => StrictConv (ArithmeticCircuit a) (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => Arbitrary (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => Arbitrary (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
Generic (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
Show a => Show (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
NFData a => NFData (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
Eq a => Eq (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => AdditiveGroup (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => AdditiveGroup (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => AdditiveMonoid (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => AdditiveMonoid (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => AdditiveSemigroup (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => AdditiveSemigroup (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => EuclideanDomain (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => EuclideanDomain (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => MultiplicativeMonoid (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => MultiplicativeMonoid (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => MultiplicativeSemigroup (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => MultiplicativeSemigroup (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => Ring (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => Ring (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => Semiring (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => Semiring (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => StrictNum (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n) => StrictNum (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
MultiplicativeMonoid (UInt n a) => Exponent (UInt n a) Natural Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => ToConstant (UInt n (Zp p)) Integer Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => ToConstant (UInt n (Zp p)) Natural Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n, KnownNat m, n <= m) => Extend (UInt n (Zp p)) (UInt m (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n, KnownNat m, n <= m) => Extend (UInt n (ArithmeticCircuit a)) (UInt m (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Finite (Zp p), KnownNat n) => Iso (ByteString n (Zp p)) (UInt n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
(Arithmetic a, KnownNat n) => Iso (ByteString n (ArithmeticCircuit a)) (UInt n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
(Finite (Zp p), KnownNat n) => Iso (UInt n (Zp p)) (ByteString n (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
(Arithmetic a, KnownNat n) => Iso (UInt n (ArithmeticCircuit a)) (ByteString n (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
(Finite (Zp p), KnownNat n, KnownNat m, m <= n) => Shrink (UInt n (Zp p)) (UInt m (Zp p)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Arithmetic a, KnownNat n, KnownNat k, k <= n) => Shrink (UInt n (ArithmeticCircuit a)) (UInt k (ArithmeticCircuit a)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Rep (UInt n a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |