Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.Payloaded

Documentation

newtype Payloaded f c Source #

Constructors

Payloaded
Fields runPayloaded :: f (WitnessField c)

Instances

Instances details

(Symbolic c, PayloadFunctor f) => Conditional (Bool c) (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded Methods bool :: Payloaded f c -> Payloaded f c -> Bool c -> Payloaded f c Source #
(Symbolic c, PayloadFunctor f) => SymbolicData (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded Associated Types type Context (Payloaded f c) :: (Type -> Type) -> Type Source # type Support (Payloaded f c) Source # type Layout (Payloaded f c) :: Type -> Type Source # type Payload (Payloaded f c) :: Type -> Type Source # Methods arithmetize :: Payloaded f c -> Support (Payloaded f c) -> Context (Payloaded f c) (Layout (Payloaded f c)) Source # payload :: Payloaded f c -> Support (Payloaded f c) -> Payload (Payloaded f c) (WitnessField (Context (Payloaded f c))) Source # restore :: Context (Payloaded f c) ~ c0 => (Support (Payloaded f c) -> (c0 (Layout (Payloaded f c)), Payload (Payloaded f c) (WitnessField c0))) -> Payloaded f c Source #
(Symbolic c, PayloadFunctor f) => Eq (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded Associated Types type BooleanOf (Payloaded f c) Source # Methods (==) :: Payloaded f c -> Payloaded f c -> BooleanOf (Payloaded f c) Source # (/=) :: Payloaded f c -> Payloaded f c -> BooleanOf (Payloaded f c) Source #
(Symbolic c, PayloadFunctor f) => SymbolicInput (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded Methods isValid :: Payloaded f c -> Bool (Context (Payloaded f c)) Source #
type Context (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded type Context (Payloaded f c) = c
type Layout (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded type Layout (Payloaded f c) = U1 :: Type -> Type
type Payload (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded type Payload (Payloaded f c) = f
type Support (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded type Support (Payloaded f c) = Proxy c
type BooleanOf (Payloaded f c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Payloaded type BooleanOf (Payloaded f c) = Bool c