(Symbolic c, KnownNat n, KnownRegisterSize r) => FromConstant Integer (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => FromConstant Natural (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Scale Integer (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Scale Natural (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize rs) => StrictConv Natural (UInt n rs c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownRegisterSize r, NumberOfBits (BaseField c) ~ n) => Iso (FieldElement c) (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat (NumberOfRegisters (BaseField c) n rs)) => Eq (Bool c) (UInt n rs c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r, KnownNat (NumberOfRegisters (BaseField c) n r)) => Ord (Bool c) (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => StrictConv (Zp p) (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => StrictConv (c Par1) (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Iso (ByteString n c) (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Arbitrary (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => FromJSON (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic (Interpreter (Zp p)), KnownNat n, KnownRegisterSize r) => ToJSON (UInt n r (Interpreter (Zp p))) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
Generic (UInt n r context) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Show (BaseField context), Show (context (Vector (NumberOfRegisters (BaseField context) n r)))) => Show (UInt n r context) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
NFData (context (Vector (NumberOfRegisters (BaseField context) n r))) => NFData (UInt n r context) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
Eq (context (Vector (NumberOfRegisters (BaseField context) n r))) => Eq (UInt n r context) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => AdditiveGroup (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => AdditiveMonoid (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => AdditiveSemigroup (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => MultiplicativeMonoid (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize rs) => MultiplicativeSemigroup (UInt n rs c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Ring (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownNat r, KnownRegisterSize rs, r ~ NumberOfRegisters (BaseField c) n rs, NFData (c (Vector r))) => SemiEuclidean (UInt n rs c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Semiring (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic (Interpreter (Zp p)), KnownNat n, KnownRegisterSize r) => ToConstant (UInt n r (Interpreter (Zp p))) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
SymbolicData (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r, KnownNat (NumberOfRegisters (BaseField c) n r)) => SymbolicInput (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => StrictNum (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
MultiplicativeMonoid (UInt n r c) => Exponent (UInt n r c) Natural Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownRegisterSize r, NumberOfBits (BaseField c) ~ n) => Iso (UInt n r c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownRegisterSize r) => Iso (UInt n r c) (ByteString n c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownNat k, KnownRegisterSize r, n <= k) => Extend (UInt n r c) (UInt k r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, KnownNat n, KnownNat k, KnownRegisterSize r, k <= n, from ~ NumberOfRegisters (BaseField c) n r, to ~ NumberOfRegisters (BaseField c) k r) => Shrink (UInt n r c) (UInt k r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Rep (UInt n r context) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Const (UInt n r (Interpreter (Zp p))) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Context (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Layout (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Support (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |