SymbolicData (Bool c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Bool |
SymbolicData (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
SymbolicData a => SymbolicData (Lexicographical a) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Ord |
SymbolicData (UTCTime c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UTCTime |
SymbolicData (c f) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class |
HApplicative c => SymbolicData (Proxy c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class |
(Symbolic c, BaseField c ~ a) => SymbolicData (Point (Ed25519 c)) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Ed25519 |
(SymbolicData x, Package (Context x), KnownNat n) => SymbolicData (Vector n x) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class |
SymbolicData (ByteString n c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
SymbolicData (FFA p c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FFA |
(HApplicative c, SymbolicData x, Context x ~ c, Support x ~ Proxy c) => SymbolicData (Maybe c x) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Maybe |
(SymbolicData x, SymbolicData y, HApplicative (Context x), Context x ~ Context y, Support x ~ Support y) => SymbolicData (x, y) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class |
SymbolicData f => SymbolicData (x -> f) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class |
SymbolicData (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(SymbolicData x, SymbolicData y, SymbolicData z, HApplicative (Context x), Context x ~ Context y, Context y ~ Context z, Support x ~ Support y, Support y ~ Support z) => SymbolicData (x, y, z) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class Methods pieces :: (x, y, z) -> Support (x, y, z) -> Context (x, y, z) (Layout (x, y, z)) Source # restore :: (Support (x, y, z) -> Context (x, y, z) (Layout (x, y, z))) -> (x, y, z) Source # |
(SymbolicData w, SymbolicData x, SymbolicData y, SymbolicData z, HApplicative (Context x), Context w ~ Context x, Context x ~ Context y, Context y ~ Context z, Support w ~ Support x, Support x ~ Support y, Support y ~ Support z) => SymbolicData (w, x, y, z) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class Methods pieces :: (w, x, y, z) -> Support (w, x, y, z) -> Context (w, x, y, z) (Layout (w, x, y, z)) Source # restore :: (Support (w, x, y, z) -> Context (w, x, y, z) (Layout (w, x, y, z))) -> (w, x, y, z) Source # |
(SymbolicData v, SymbolicData w, SymbolicData x, SymbolicData y, SymbolicData z, HApplicative (Context x), Context v ~ Context w, Context w ~ Context x, Context x ~ Context y, Context y ~ Context z, Support v ~ Support w, Support w ~ Support x, Support x ~ Support y, Support y ~ Support z) => SymbolicData (v, w, x, y, z) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Class Associated Types type Context (v, w, x, y, z) :: (Type -> Type) -> Type Source # type Support (v, w, x, y, z) Source # type Layout (v, w, x, y, z) :: Type -> Type Source # Methods pieces :: (v, w, x, y, z) -> Support (v, w, x, y, z) -> Context (v, w, x, y, z) (Layout (v, w, x, y, z)) Source # restore :: (Support (v, w, x, y, z) -> Context (v, w, x, y, z) (Layout (v, w, x, y, z))) -> (v, w, x, y, z) Source # |