ZkFold.Symbolic.Data.Switch

Documentation

data Switch c x

A Switch of a SymbolicData x to context c is a separate Symbolic datatype which has the same layout and payload as x, but is defined in a context c which can differ from Context x.

In other words, it is a useful default Replica of x in context c when nothing else works.

Constructors

Switch

Fields

• sLayout :: c (Layout x)
• sPayload :: Payload x (WitnessField c)

Instances

(Symbolic c, SymbolicData x) => Conditional (Bool c) (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

Methods

bool :: Switch c x -> Switch c x -> Bool c -> Switch c x

(Symbolic c, SymbolicData x) => SymbolicData (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

Associated Types

type Context (Switch c x) :: (Type -> Type) -> Type

type Support (Switch c x)

type Layout (Switch c x) :: Type -> Type

type Payload (Switch c x) :: Type -> Type

Methods

arithmetize :: Switch c x -> Support (Switch c x) -> Context (Switch c x) (Layout (Switch c x))

payload :: Switch c x -> Support (Switch c x) -> Payload (Switch c x) (WitnessField (Context (Switch c x)))

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

type Context (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

type Context (Switch c x) = c

type Layout (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

type Layout (Switch c x) = Layout x

type Payload (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

type Payload (Switch c x) = Payload x

type Support (Switch c x)

Defined in ZkFold.Symbolic.Data.Switch

type Support (Switch c x) = Proxy c