ZkFold.Symbolic.Data.Payloaded

Documentation

newtype Payloaded f c

Constructors

Payloaded

Fields

• runPayloaded :: f (WitnessField c)

Instances

(Symbolic c, Representable f) => SymbolicData (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

Associated Types

type Context (Payloaded f c) :: (Type -> Type) -> Type

type Support (Payloaded f c)

type Layout (Payloaded f c) :: Type -> Type

type Payload (Payloaded f c) :: Type -> Type

Methods

arithmetize :: Payloaded f c -> Support (Payloaded f c) -> Context (Payloaded f c) (Layout (Payloaded f c))

payload :: Payloaded f c -> Support (Payloaded f c) -> Payload (Payloaded f c) (WitnessField (Context (Payloaded f c)))

restore :: Context (Payloaded f c) ~ c0 => (Support (Payloaded f c) -> (c0 (Layout (Payloaded f c)), Payload (Payloaded f c) (WitnessField c0))) -> Payloaded f c

(Symbolic c, Representable f, Binary (Rep f)) => SymbolicInput (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

Methods

isValid :: Payloaded f c -> Bool (Context (Payloaded f c))

type Context (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

type Context (Payloaded f c) = c

type Layout (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

type Layout (Payloaded f c) = U1 :: Type -> Type

type Payload (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

type Payload (Payloaded f c) = f

type Support (Payloaded f c)

Defined in ZkFold.Symbolic.Data.Payloaded

type Support (Payloaded f c) = Proxy c