ZkFold.Symbolic.Interpreter

Documentation

newtype Interpreter a f

Constructors

Interpreter

Fields

• runInterpreter :: f a

Instances

HApplicative (Interpreter a :: (k -> Type) -> Type)

Defined in ZkFold.Symbolic.Interpreter

Methods

hpure :: (forall (a0 :: k0). f a0) -> Interpreter a f

hunit :: Interpreter a U1

hap :: forall (f :: k0 -> Type) (g :: k0 -> Type). Interpreter a (Transform f g) -> Interpreter a f -> Interpreter a g

hliftA2 :: (forall (a0 :: k0). f a0 -> g a0 -> h a0) -> Interpreter a f -> Interpreter a g -> Interpreter a h

hpair :: forall (f :: k0 -> Type) (g :: k0 -> Type). Interpreter a f -> Interpreter a g -> Interpreter a (f :*: g)

HFunctor (Interpreter a :: (k -> Type) -> Type)

Defined in ZkFold.Symbolic.Interpreter

Methods

hmap :: (forall (a0 :: k0). f a0 -> g a0) -> Interpreter a f -> Interpreter a g

Package (Interpreter a :: (k1 -> Type) -> Type)

Defined in ZkFold.Symbolic.Interpreter

Methods

unpack :: forall f (g :: k10 -> Type). Functor f => Interpreter a (f :.: g) -> f (Interpreter a g)

unpackWith :: Functor f => (forall (a0 :: k10). h a0 -> f (g a0)) -> Interpreter a h -> f (Interpreter a g)

pack :: forall f (g :: k10 -> Type). (Foldable f, Functor f) => f (Interpreter a g) -> Interpreter a (f :.: g)

packWith :: (Foldable f, Functor f) => (forall (a0 :: k10). f (g a0) -> h a0) -> f (Interpreter a g) -> Interpreter a h

(Eq a, MultiplicativeMonoid a) => Show (Bool (Interpreter a))

Defined in ZkFold.Symbolic.Data.Bool

Methods

showsPrec :: Int -> Bool (Interpreter a) -> ShowS

show :: Bool (Interpreter a) -> String

showList :: [Bool (Interpreter a)] -> ShowS

ToConstant (FieldElement (Interpreter a))

Defined in ZkFold.Symbolic.Data.FieldElement

Associated Types

type Const (FieldElement (Interpreter a))

Methods

toConstant :: FieldElement (Interpreter a) -> Const (FieldElement (Interpreter a))

(Arithmetic a, Field x, Eq x) => DiscreteField (Bool (Interpreter a)) x

Defined in ZkFold.Symbolic.Data.DiscreteField

Methods

isZero :: x -> Bool (Interpreter a)

Arithmetic a => ToJSON (ByteString n (Interpreter a))

Defined in ZkFold.Symbolic.Data.ByteString

Methods

toJSON :: ByteString n (Interpreter a) -> Value

toEncoding :: ByteString n (Interpreter a) -> Encoding

toJSONList :: [ByteString n (Interpreter a)] -> Value

toEncodingList :: [ByteString n (Interpreter a)] -> Encoding

Arithmetic a => ToConstant (ByteString n (Interpreter a))

Defined in ZkFold.Symbolic.Data.ByteString

Associated Types

type Const (ByteString n (Interpreter a))

Methods

toConstant :: ByteString n (Interpreter a) -> Const (ByteString n (Interpreter a))

Arithmetic a => Symbolic (Interpreter a)

Defined in ZkFold.Symbolic.Interpreter

Associated Types

type BaseField (Interpreter a)

type WitnessField (Interpreter a)

Methods

witnessF :: Functor f => Interpreter a f -> f (WitnessField (Interpreter a))

fromCircuitF :: forall (f :: Type -> Type) (g :: Type -> Type). Interpreter a f -> CircuitFun '[f] g (Interpreter a) -> Interpreter a g

sanityF :: BaseField (Interpreter a) ~ a0 => Interpreter a f -> (f a0 -> g a0) -> (Interpreter a f -> Interpreter a g) -> Interpreter a g

Arithmetic a => SymbolicFold (Interpreter a)

Defined in ZkFold.Symbolic.Interpreter

Methods

sfoldl :: forall (f :: Type -> Type) p g (h :: Type -> Type) wc. (Binary (Rep f), NFData (Rep f), Ord (Rep f), forall a0. Binary a0 => Binary (f a0), Representable f, NFData1 f, Traversable f, Binary (Rep p), Representable p, Binary (Rep g), NFData (Rep g), Ord (Rep g), Representable g, forall a1. Binary a1 => Binary (h a1), WitnessField (Interpreter a) ~ wc) => (forall (s :: (Type -> Type) -> Type). (SymbolicFold s, BaseField s ~ BaseField (Interpreter a)) => s f -> p (WitnessField s) -> s g -> (s f, p (WitnessField s))) -> Interpreter a f -> p wc -> Interpreter a h -> Infinite (g wc) -> Interpreter a Par1 -> (Interpreter a f, p wc)

FromJSON (f a) => FromJSON (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

Methods

parseJSON :: Value -> Parser (Interpreter a f)

parseJSONList :: Value -> Parser [Interpreter a f]

(Symbolic (Interpreter (Zp p)), KnownNat n, KnownRegisterSize r) => ToJSON (UInt n r (Interpreter (Zp p)))

Defined in ZkFold.Symbolic.Data.UInt

Methods

toJSON :: UInt n r (Interpreter (Zp p)) -> Value

toEncoding :: UInt n r (Interpreter (Zp p)) -> Encoding

toJSONList :: [UInt n r (Interpreter (Zp p))] -> Value

toEncodingList :: [UInt n r (Interpreter (Zp p))] -> Encoding

ToJSON (f a) => ToJSON (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

Methods

toJSON :: Interpreter a f -> Value

toEncoding :: Interpreter a f -> Encoding

toJSONList :: [Interpreter a f] -> Value

toEncodingList :: [Interpreter a f] -> Encoding

Generic (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

Associated Types

type Rep (Interpreter a f) :: Type -> Type

Methods

from :: Interpreter a f -> Rep (Interpreter a f) x

to :: Rep (Interpreter a f) x -> Interpreter a f

Show (f a) => Show (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

Methods

showsPrec :: Int -> Interpreter a f -> ShowS

show :: Interpreter a f -> String

showList :: [Interpreter a f] -> ShowS

NFData (f a) => NFData (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

Methods

rnf :: Interpreter a f -> ()

Eq (f a) => Eq (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

Methods

(==) :: Interpreter a f -> Interpreter a f -> Bool

(/=) :: Interpreter a f -> Interpreter a f -> Bool

(Arithmetic a, KnownFFA p r (Interpreter a)) => ToConstant (FFA p r (Interpreter a))

Defined in ZkFold.Symbolic.Data.FFA

Associated Types

type Const (FFA p r (Interpreter a))

Methods

toConstant :: FFA p r (Interpreter a) -> Const (FFA p r (Interpreter a))

(Symbolic (Interpreter a), KnownNat n, KnownRegisterSize r) => ToConstant (UInt n r (Interpreter a))

Defined in ZkFold.Symbolic.Data.UInt

Associated Types

type Const (UInt n r (Interpreter a))

Methods

toConstant :: UInt n r (Interpreter a) -> Const (UInt n r (Interpreter a))

type Const (FieldElement (Interpreter a))

Defined in ZkFold.Symbolic.Data.FieldElement

type Const (FieldElement (Interpreter a)) = a

type Const (ByteString n (Interpreter a))

Defined in ZkFold.Symbolic.Data.ByteString

type Const (ByteString n (Interpreter a)) = Natural

type BaseField (Interpreter a)

Defined in ZkFold.Symbolic.Interpreter

type BaseField (Interpreter a) = a

type WitnessField (Interpreter a)

Defined in ZkFold.Symbolic.Interpreter

type WitnessField (Interpreter a) = a

type Rep (Interpreter a f)

Defined in ZkFold.Symbolic.Interpreter

type Rep (Interpreter a f) = D1 ('MetaData "Interpreter" "ZkFold.Symbolic.Interpreter" "symbolic-base-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Interpreter" 'PrefixI 'True) (S1 ('MetaSel ('Just "runInterpreter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))

type Const (FFA p r (Interpreter a))

Defined in ZkFold.Symbolic.Data.FFA

type Const (FFA p r (Interpreter a)) = Zp p

type Const (UInt n r (Interpreter a))

Defined in ZkFold.Symbolic.Data.UInt

type Const (UInt n r (Interpreter a)) = Natural

Orphan instances

Arithmetic a => Witness a a

Methods

at :: a -> a